
| Ders Kodu | : FEL207 |
| Ders Türü | : Zorunlu |
| Ders Grubu | : Lisans |
| Eğitim Dili | : Türkçe |
| Staj Durumu | : Yok |
| Teori | : 3 |
| Uyg. | : 0 |
| Kredi | : 3 |
| Laboratuvar | : 0 |
| AKTS | : 4 |
Bu derste önermeler mantığı, niceleme mantığı, küme kuramı ve çok değerli mantık sistemleri öğrencilere tanıtılıp; onların mantık problemleri çözme ve mantığın uygulama alanlarını görmeleri sağlanacaktır.
Önermeler mantığı, niceleme mantığı, küme kuramı ve çok değerli mantık sistemleri; mantık problemleri çözme ve mantığın uygulama alanları.
| Prof. Dr. Cengiz İskender ÖZKAN |
| 1. | Mantık tarihi ve Modern mantığın felsefeyle, dille ilişkisini bilme |
| 2. | Modern Mantığın temel kavram ve yasalarını öğrenme |
| 3. | Mantıksal akıl yürütme yeteneği kazanma ve geliştirme |
| 4. | Günlük dildeki tümceleri sembolik mantık diline çevirme |
| 5. | Mantık ile aksiyomatik sistemler arasındaki ilişkiyi kavrama |
| 1. | Batuhan, H. – Grünberg, T.: Modern Mantık, Ankara: MEB, 1970 |
| 2. | Yıldırım, C. (2021). Mantık, Ankara: Fol Kitap. |
| Değerlendirme Türü | Adet | Yüzde |
|---|---|---|
| Ara Sınav (Vize) | 1 | %40 |
| Dönem Sonu Sınavı (Final) | 1 | %60 |
| Etkinlik | Sayısı | Ön Hazırlık | Süre | Toplam Iş Yükü (Saat) |
|---|---|---|---|---|
| Kuramsal Ders | 14 | 0 | 3 | 42 |
| Okuma | 14 | 0 | 2 | 28 |
| Ara Sınav | 1 | 15 | 2 | 17 |
| Dönem Sonu Sınavı | 1 | 15 | 2 | 17 |
| TOPLAM İŞ YÜKÜ (Saat) | 104 | |||
PÇ-1 | PÇ-2 | PÇ-3 | PÇ-4 | PÇ-5 | PÇ-6 | PÇ-7 | PÇ-8 | PÇ-9 | PÇ-11 | |
OÇ-1 | 1 | 3 | 5 | 2 | ||||||
OÇ-2 | 2 | 2 | 5 | 1 | 1 | |||||
OÇ-3 | 2 | 1 | 3 | 5 | 3 | 3 | ||||
OÇ-4 | 5 | |||||||||
OÇ-5 | 5 | |||||||||