| 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 |
