SEMBOLİK MANTIK I (DOĞRULUK FONKSİYONU MANTIĞI)

SOSY408

Ders Kodu: SOSY408
Yarıyıl: -
Teori+Uygulama: 3 + 0
AKTS: 5

Dersin Türü

Seçmeli

Dersin Düzeyi

Lisans

Dersin Yılı

Dersin Yarıyılı

AKTS

Öğretim Eleman(lar)ı

Doçent Doktor Çiğdem Sema Sırma

Öğrenme Kazanımları

Bu dersin sonunda öğrenciler;

Temel Sembolik Mantığı tanır ve önemini kavrar.
Sembolik Mantık çerçevesindeki çeşitli konuları öğrenir ve alakalı problemleri çözer.
Mantık, dil ve anlam üzerine değerlendirmelerde bulunur.
Felsefe alanındaki bilgisini derinleştirir.
Akıl yürütmeler hakkında değerlendirme yapar.

Veriliş Biçimi

Yüz Yüze

Önkoşullar

Yok

Önerilen Dersler

Yok

Ders Tanımı

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 İçeriği

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

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

Öğretim Yöntemleri

Anlatım
Tartışma
Soru-Cevap
Sorun/Problem Çözme

Değerlendirme

	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üre (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

Dil

Türkçe

Staj / Uygulama

Yok

Program Yeterlilikleri / Öğrenme Kazanımları

	Ö1	Ö2	Ö3	Ö4	Ö5
P1
P2
P3
P4	X	X	X	X	X
P5
P6
P7
P8	X	X	X	X	X
P9
P10
P11
P12