DERSİN TÜRÜ	Seçmeli
DERSİN DÜZEYİ	Lisans
DERSİN YILI	-
YARIYIL	-
AKTS	5
ÖĞRETİM ELEMAN(LAR)I	Doktor Öğretim Üyesi Çiğdem Sema Sırma
DERSİN ÖĞRENME KAZANIMLARI	Bu dersin sonunda öğrenciler; 1) Temel Sembolik Mantığı tanır ve önemini kavrar. 2) Sembolik Mantık çerçevesindeki çeşitli konuları öğrenir ve alakalı problemleri çözer. 3) Mantık, dil ve anlam üzerine değerlendirmelerde bulunur. 4) Felsefe alanındaki bilgisini derinleştirir. 5) Akıl yürütmeler hakkında değerlendirme yapar.
DERSİN VERİLİŞ BİÇİMİ	Yüz Yüze
DERSİN ÖNKOŞULLARI	Yok
ÖNERİLEN DERSLER	Yok
DERS TANIMI	Bu derste öğrenciler öncelikle temel sembolik mantığı tanır ve önemini kavrarlar. Buna ek olarak doğruluk fonksiyonu mantığı çerçevesindeki çeşitli konuları öğrenir ve gerekli alıştırmaları çözerler.
DERS İÇERİĞİ	HAFTA KONULAR 1. Hafta Önerme ve Çıkarım Kavramları, Önerme Eklemleri Mantığının Sembolik Dili 2. Hafta Sembolleştirme, Günlük dile çeviri 3. Hafta Sembolleştirme, Günlük dile çeviri 4. Hafta Doğruluk Tabloları, Doğruluk Tablolarıyla Tutarlılık ve Geçerlilik Denetlemesi 5. Hafta Doğal Türetim Yöntemine Giriş. Koşullu Kanıtlamalar 6. Hafta Koşullu ve Çürütmeli Kanıtlamalar 7. Hafta Ara Sınav 8. Hafta Karşılıklı Koşul Önermelerinin Türetimi 9. Hafta Karşılıklı Koşul Önermelerinin Türetimi 10. Hafta Tikel Evetlemeli ve Tümel Evetlemeli Önermelerin Türetilmesi 11. Hafta Tikel Evetlemeli ve Tümel Evetlemeli Önermelerin Türetilmesi 12. Hafta Tikel evetlemeli, Tümel Evetlemeli Önermelerin Türetilmesi, Kısaltılmış Türetimler 13. Hafta Yanlışlayıcı Yorumlama Bulma 14. Hafta DNF-CNF, İkililik
ZORUNLU YA DA ÖNERİLEN KAYNAKLAR	*Kutlusoy, Z. (2003) Temel Sembolik Mantık, Ankara: Art basın yayın Kültür Hizmetleri *Grunberg, T, (2000) Sembolik Mantık El Kitabı 1. Cilt. Temel Mantık, Ankara: METU Press *Grunberg ,T, (2000) SembolikMantık El Kitabı 2. Cilt. Özel Mantık Sistemleri, Ankara: METU Press *Grunberg, T, (2000) Sembolik Mantık El Kitabı 3. Cilt. Sembolik Mantığın Uygulamaları, Ankara: METU Press
ÖĞRETİM YÖNTEM VE TEKNİKLERİ	Anlatım,Tartışma,Soru-Cevap,Sorun/Problem Çözme
DEĞERLENDİRME YÖNTEMİ VE GEÇME KRİTERLERİ	Sayısı Toplam Katkısı(%) Ara Sınav 1 40 Toplam(%) 40 Yıl İçinin Başarıya Oranı(%) 40 Finalin Başarıya Oranı(%) 60 Toplam(%) 100
AKTS İŞ YÜKÜ	Aktivite Sayı Süresi(Saat) İş Yükü Ara Sınav 1 2 2 Kısa Sınavlara hazırlık 0 0 0 Sınıf Dışı Ders Çalışma Süresi 14 7 98 Final Sınavına Hazırlık 1 20 20 Ders Saati 14 3 42 Ara Sınava Hazırlık 1 3 3 Laboratuvar 0 0 0 Final Sınavı 1 2 2 Ödevler 0 0 0 Toplam İş Yükü 167 Toplam İş Yükü / 30 5,56 Dersin AKTS Kredisi 5
DİL	Türkçe
STAJ / UYGULAMA	Yok