DERS AKIŞI
HaftaKonularÖn Hazırlık Yöntem
1 Doğruluk fonksiyonun yetersiziliği ve niceleme mantığı Konuyla ilgili kuramsal kısım okunacak Anlatım
Soru-Cevap
2 Niceleyiciler niceleyicilerin sembolleştirilmesi Konuyla ilgili kuramsal kısım okunacak Anlatım
Soru-Cevap
Alıştırma ve Uygulama
3 Sembolleştirilmiş niceleyicileri çözümleme kuralları Konuyla ilgili kuramsal kısım okunacak Anlatım
Soru-Cevap
Alıştırma ve Uygulama
4 Açık ve kapalı önerme; özelleme ve gerçekleme Konuyla ilgili kuramsal kısım okunacak Anlatım
Soru-Cevap
Alıştırma ve Uygulama
5 Sembolleştirme ve günlük dile çevirme Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
6 Serbest ve bağlı değişkenler: yerine koyma Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
7 Örnek soru çözümleri Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
8 Ara Sınav Sınava hazırlanma Yazılı Sınav
9 Niceleme mantığını çözümleyici çizelge ile denetlenmesi Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
10 Niceleme mantığında bir önermenin tutarlılığı, birden fazla önermenin birbiriyle tutarlılığı Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
11 Niceleme mantığında bir önermenin geçerliliği ve eşdeğerliliği Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
12 Niceleme mantığında doğal türetim yöntemi Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
13 Niceleme mantığında doğal türetim yöntemi Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
14 Sadeleştirme Kanunları Quine metodu Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
15 Örnek soru çözümleri Konuyla ilgili kuramsal kısım okunacak Anlatım
Alıştırma ve Uygulama
16-17 Yarıyıl Sonu Sınavları Sınava hazırlama Yazılı Sınav

KAYNAKLAR
Ders Notu
Diğer Kaynaklar