DERS AKIŞI | |||
---|---|---|---|
Hafta | Konular | Ö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 |