SYMBOLIC LOGICII (PREDİCATELOGİC)

SOCI410

Ders Kodu: SOCI410
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)ı

Öğrenme Kazanımları

Bu dersin sonunda öğrenciler;

Temel Sembolik Mantığı tanır ve önemini kavrar.
Niceleme mantığı çerçevesindeki çeşitli konuları öğrenir ve gerekli alıştırmaları çö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

Var( SOCI408)

Önerilen Dersler

Yok

Ders Tanımı

Bu derste öğrenciler öncelikle yüklem mantığını tanır ve önemini kavrarlar. Buna ek olarak ilgili çerçevede çeşitli konuları öğrenir ve gerekli alıştırmaları çözerler.

Ders İçeriği

HAFTA	KONULAR
1. Hafta	Niceleme. Niceleme mantığının biçimsel dili. Terimler ve nicelenmiş önermeler.
2. Hafta	Serbest ve bağlı değişkenler. Yerine koyma.
3. Hafta	Sembolleştirme ve günlük dile çevirme
4. Hafta	Sembolleştirme ve günlük dile çevirme
5. Hafta	Niceleme mantığında doğal türetim yöntemi
6. Hafta	Niceleme mantığında doğal türetim yöntemi
7. Hafta	Ara Sınav
8. Hafta	Niceleme mantığında doğal türetim yöntemi
9. Hafta	Niceleme mantığında doğal türetim yöntemi
10. Hafta	Birinci derece yapılar. Terimlerin birinci derece yapılarda değerleri. Birinci derece yapılarda doğruluk. Geçerlilik geçersizlik
11. Hafta	Birinci derece yapılarda doğruluk. Geçerlilik geçersizlik
12. Hafta	Birinci derece yapılarda doğruluk. Geçerlilik geçersizlik. Model-Karşı model bulma
13. Hafta	Prenex normal form
14. Hafta	Genel Değerlendirme

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) Sembolik Mantı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

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

İngilizce

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