SOS4022 / Sembolik Mantık

DERSİN HAFTALIK İÇERİĞİ

 
KONULAR 
KAYNAKLAR 
1Çıkarımlar, önermeler , eklemler(1), s. 57-70
2Sembolleştirme ve Yorumlama(1), s. 70-77
3Tutarlılık ve geçerlilik(1), s. 77-81
4Önerme eklemleri mantığında tutarlılık ve geçerlilik(1), s. 81-106
5Yüklemler mantığı(1), s. 106-112
6Sembolleştirme, yorumlama, tutarlılık ve geçerlilik(1), s. 112-114
7Niceleyici değilleme kuralları(1), s. 114-124
8Kümeler ve küme terimleri(1), s. 124-132
9Kesişimli, Birleşenli, Tümleyenli önermeler(1), s. 132-134
10Devreler(1), s. 137-139
11Devrelerin çözümlenmesi(1), s. 139-141
12Devrelerin kurulması(1), s. 141-144
13Türkçe uygulama(1), s.144-149
14Klasik mantığın sembolleştirilmesi(1), s. 154-156