MODERN MANTIK

İzlence Konu Başlık

Hafta Teori Konu Başlıkları
1 Önerme ve Doğruluk Değeri Nedir?
2 ÖNERMELERİN GEÇERLİLİK, TUTARLILIK VE ÖZDEŞLİKLERİNİN DOĞRULUK TABLOSU YÖNTEMİYLE DENETLENMESİ
3 SAÇMAYA İNDİRGEME YÖNTEMİ
4 QUINE YÖNTEMİ
5 TAM NORMAL BİÇİME İNDİRGEME YÖNTEMİ
6 TAM NORMAL BİÇİME İNDİRGEME YÖNTEMİ
7 Arasınav
8 LUKASIEWICZ - TARSKI NOTASYONU VE BU NOTASYONLA YAZILMIŞ İFADELERİN DOĞRULUK DEĞERİNİN TESPİTİ
9 ÇOK DEĞERLİ MANTIK
10 ÇOK DEĞERLİ MANTIK
11 MODAL MANTIK
12 NİCELEME MANTIĞI: TEMEL GÖSTERİMLER VE UYGULAMALAR
13 AÇILIM: GİRİŞ VE TEMEL UYGULAMALAR
14 Final

Bilgi İşlem Daire Başkanlığı © 2024