MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN.

Slides:



Advertisements
Benzer bir sunumlar
ÜNİTE I MANTIK 1. ÖNERMELER a. Mantık
Advertisements

Prof.Dr.Şaban EREN Yasar Üniversitesi Fen-Edebiyat Fakültesi
KÜMELER BİRLEŞİM KESİŞİM FARK.
KÜME DÜNYASINA GİDELİM
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
Hazırlayan: Hakan Bozkurt.
KÜMELER.
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
BAS-BIRAK OTOMATLARI (YIĞITLI ÖZDEVİNİRLER)
SONLU DURUM OTOMATLARI
SONLU DURUM OTOMATLARI
C++’A GİRİŞ Yılmaz Kılıçaslan.
TURING MAKİNELERİ Yılmaz Kılıçaslan.
BAĞINTI T ANIM: Boş olmayan A ve B kümeleri için, A×B nin her alt kümesine, Adan B ye bir bağıntı denir.A×B nin her alt kümesine de A dan A ya bir bağıntı.
SONLU DURUM OTOMATLARI
Sonlu Durum Makinesi M=(S, I, O, f, g, s0) S:durumlar kümesi
ÇİZGELERİN GÖSTERİMİ Yılmaz KILIÇASLAN. Sunu Planı Bu derste, çizgelerin bilgisayarda gösterimine ilişkin iki standart yaklaşımı inceleyeceğiz.
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
SEMANTİK VE DİZİMSEL ÇIKARIM
GRAF TEORİSİ Ders 1 TEMEL KAVRAMLAR.
KÜMELER GEZEGENİNE HOŞ GELDİNİZ.
ÖNERMELER MANTIĞI VE WUMPUS DÜNYASI Yılmaz KILIÇASLAN.
ÇİZGELERİN GÖSTERİMİ Yılmaz KILIÇASLAN.
Bağlama Duyarlı Diller
SONLU OTOMATLARIN PROGRAMLANMASI
PROLOG PROGRAMLAMA DİLİNDE
FONKSİYONLAR f : A B.
İŞLEM ve MODÜLER ARİTMETİK.
NESNEYE-YÖNELİK PROGRAMLAMA
SONLU ELEMANLAR YÖNTEMİ
MANTIK BİLİMİNE GİRİŞ Yılmaz KILIÇASLAN.
ÇİZGE KURAMI Yılmaz KILIÇASLAN.
C++’a Giriş Yılmaz Kılıçaslan.
DÜZENLİ GRAMERLER Yılmaz Kılıçaslan.
MANTIK PROGRAMLARININ TEMEL YAPILARI VE BİLGİSAYIM MODELİ Yılmaz KILIÇASLAN.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
BAĞLAMDAN BAĞIMSIZ GRAMERLER ÖZYİNELEMELİ GEÇİŞ AĞLARI (Chomsky Hiyerarşisi: Tip 2) Yılmaz Kılıçaslan.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
Oyun Kuramına Giriş.
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
Bilgisayar Bilimlerinin Kuramsal Temelleri
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
SONLU DURUM OTOMATLARININ PROGRAMLANMASI
MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN.
KÜMELER GEZEGENİNE HOŞ GELDİNİZ
Bilgisayar Bilimlerinin Kuramsal Temelleri
ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN. Önermeler Mantığı - Bağlaçlar Yalnızca doğruluk değerleri üzerinden fonksiyonel olarak tanımlanabilen bağlaçlar ve.
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
KÜME ÇEŞİTLERİ 2. Sonlu ve Sonsuz Küme 1.Boş Küme 3. Evrensel Küme
BOŞ KÜME DENK KÜME EVRENSEL KÜME EŞİT KÜME İÇİNDEKİLER.
MUSTAFA GÜLTEKİN Matematik A Şubesi.
KÜMELER.
Dr. Mehmet Dikmen BİL551 – YAPAY ZEKA MANTIK Dr. Mehmet Dikmen
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
Biçimsel Diller ve Soyut Makineler
Bilgisayar Bilimlerinin Kuramsal Temelleri
SONLU OTOMATLAR Yılmaz Kılıçaslan.
Bulanık Mantık Bulanık Mantığın Temel Kavramları
NFA-, NFA, DFA dönüşümü 1.
İÇİNDEKİLER 2.1 Örneklem Uzayı ve Olaylar Sonucu önceden bilinmeyen bir deney göz önünde bulundurulsun. Deneyin örneklem uzayı olarak bilinen tüm olası.
ÖRNEK Tank Sıvı Seviye Bulanık Kontrolü
MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN. Sunu Planı Bir bilgisayım yöntemi olarak mantıksal çıkarım Prolog programlama dilinin temel yapıları Prolog.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Sayılabilirlik - Yılmaz Kılıçaslan.
Prolog ile Mantık Programlamaya Giriş
Mantık Sistemleri ve Mantık Programlama
Özel Çakabey Anadolu Lisesi
Kümeler.
Sunum transkripti:

MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN

Tanım - 1 Bir yer değiştirme (substitution), X i = t i formundaki çiftlerin, X i bir değişken, t i bir terim, her i ≠ j için X i ≠ X j olduğu ve X i ’nin t j içinde yer almadığı durumlarda sonlu bir kümedir (boş olabilir).

Tanım - 2 Eğer A = Bθ olan bir θ yer değiştirmesi varsa A, B’nin bir örneğidir.

Tanım – 3 C hem A’nın hem B’nin bir örneği ise A ve B’nin ortak örneğidir (common instance) denir. Diğer bir deyişle, C=Aθ 1 olan θ 1 ve θ 2 yer değiştirmeleri varsa sözdizimsel olarak Bθ 2 ’ye eştir.

Tanım – 4 Evrensel modus ponens yasası, R=(A←B 1,B 2, …, B n ) kuralından ve B’ 1. B’ 2.. B’ n. gerçeklerinden (facts) eğer, A’ ← B’ 1,B’ 2, …, B’ n R’nin bir örneği ise A’ sonucu çıkarılabilir.

Tanım – 5 ve 6 Bir mantık programı sonlu kurallar kümesidir. Varoluş niceleyicisiyle nicelenmiş G hedefi (goal), eğer B 1,…, B n mantıksal sonuçlar ve A, G’nin örneği olduğu durumda A←B 1,B 2, …, B n, n ≥ 0 değişkensiz örneği (ground instance) P içinde bir cümlecik (clause) ise bir P programının mantıksal sonucudur.