Bilgi Paketi / Ders Kataloğu
| Ders Kodu | : CSE104 |
| Ders Türü | : Zorunlu |
| Ders Grubu | : Lisans |
| Eğitim Dili | : İngilizce |
| Staj Durumu | : Yok |
| Teori | : 3 |
| Uyg. | : 0 |
| Kredi | : 3 |
| Laboratuvar | : 0 |
| AKTS | : 5 |
Bu dersin temel amacı, öğrencilerin; - mantığın kapsamını, - mantıksal uslamlamanın nasıl ayrıklaştırılabileceğini ve formalize edilebileceğini, - önermeler mantığını, - yüklemler mantığını ve - kasıtlı mantığı, - neden formel mantığın mantıklı olan her şeyi işleyemeyeceğini anlamalarıdır.
Kapsanan konular: - Mantığın temel kavramları - İspat ve ispat şemaları - Mantıksal sabitler - Mantıksal dizgeler -Önermeler mantığı - Yüklemler mantığı - Yüklem ispat önermelerinin çözümlemesi - Formel diller - Formel bir dilin sözdizimi - Backur-Naur biçimi - Formel bir dilin anlamsallığı - Sözdizimsel geçerlik - Anlambilimsel geçerlik - Birinci derece yüklem mantığı - Tümdengelim dizgeleri
| Prof. Dr. İnci ERHAN |
| 1. | Formel mantığın kavramları hakkında temel bilgilere sahip olmak; |
| 2. | Önermeler ve birinci derece yüklemler mantığında karmaşık yönermeler ifade edebilmek; |
| 3. | Doğal dil deyimlerini formel mantıksal formüllere dönüştürebilmek; |
| 4. | Formel dillerde uzun ispatlar oluşturup, çözümleyebilmek. |
| 5. | Mantıksal gösterim şemalarını kullanabilmek; |
| 1. | Theory and Problems of Discrete Mathematics, Third Edition, Seymour Lipschutz, Marc Lars Lipson, Schaum’s Outline Series, McGraw-Hill, 2007. |
| 2. | Introduction to Logic: Logic, Language, and Meaning (Volume 1), Gamut, L.T.F. Chicago: The University of Chicago Press, 1991. |
| 3. | Introduction to Montague Semantics. Dowty D. R., Wall R. E. and Peters S. Dordrecht, The Netherlands: Kluwer Academic Publishers, 1981. |
| Değerlendirme Türü | Adet | Yüzde |
|---|---|---|
| Ara Sınav (Vize) | 1 | %30 |
| Dönem Sonu Sınavı (Final) | 1 | %60 |
| Kısa Sınav (Quiz) | 4 | %10 |
| Etkinlik | Sayısı | Ön Hazırlık | Süre | Toplam Iş Yükü (Saat) |
|---|---|---|---|---|
| Kuramsal Ders | 14 | 2 | 3 | 70 |
| Kısa Sınav | 4 | 4 | 0 | 18 |
| Ara Sınav | 1 | 13 | 2 | 15 |
| Dönem Sonu Sınavı | 1 | 20 | 2 | 22 |
| TOPLAM İŞ YÜKÜ (Saat) | 125 | |||
PÇ-1 | PÇ-2 | PÇ-3 | PÇ-4 | PÇ-5 | PÇ-6 | PÇ-7 | PÇ-8 | PÇ-9 | PÇ-10 | PÇ-11 | |
OÇ-1 | 3 | ||||||||||
OÇ-2 | 4 | 3 | 3 | ||||||||
OÇ-3 | 4 | 4 | 2 | 3 | 3 | ||||||
OÇ-4 | 5 | 5 | 3 | 3 | |||||||
OÇ-5 | 3 | 4 | 2 | 3 | |||||||