Bilgi Paketi / Ders Kataloğu
| Ders Kodu | : MAT214 |
| Ders Türü | : Seçmeli |
| Ders Grubu | : Lisans |
| Eğitim Dili | : Türkçe |
| Staj Durumu | : Yok |
| Teori | : 2 |
| Uyg. | : 0 |
| Kredi | : 2 |
| Laboratuvar | : 0 |
| AKTS | : 2 |
Bu dersin amacı bir önceki dönemde öğrenilen önermeleri kullanarak benzer teoremleri yüklemler mantığı için de kullanabilmektir.
Niceleyiciler, yüklemler mantığı için diler, Tarski’nin doğruluk tanımı, Yüklemler mantığı için bütünsüzlük teoremleri.
| 1. | Matematik çeşitli alanlarında yüklemler mantığını kullanabilme. |
| 2. | Yüklemler mantığı için dilleri öğrenme. |
| 3. | Öğrendiği matematiksel kavramlar arasındaki ilişkileri yorumlayabilme |
| 4. | Kurduğu matematiksel ilişkileri karşılaşabileceği problemleri çözmek için uygulayabilme |
| 5. | Analitik düşünme becerisini geliştirebilme ve problemlere uygulayabilme |
| 1. | H.B.Enderton, A Mathematical Introduction to Logic (second edition), Academic Press ISBN 0122384520, 2001. |
| 2. | D. van Dalen, Logic and Structure, Springer-Verlag, 3rd edition 1997. |
| 3. | A.G. Hamilton, Logic for Mathematicians, Cambridge University Press, revised edition 1988. |
| Değerlendirme Türü | Adet | Yüzde |
|---|---|---|
| Derse Katılım (Performans) | 1 | %5 |
| Ödev | 1 | %5 |
| Ara Sınav (Vize) | 1 | %30 |
| Dönem Sonu Sınavı (Final) | 1 | %60 |
| Etkinlik | Sayısı | Ön Hazırlık | Süre | Toplam Iş Yükü (Saat) |
|---|---|---|---|---|
| Kuramsal Ders | 28 | 0 | 1 | 28 |
| Ödev | 2 | 0 | 2 | 4 |
| Kısa Sınav | 2 | 2 | 0 | 5 |
| Ara Sınav | 1 | 4 | 2 | 6 |
| Dönem Sonu Sınavı | 1 | 5 | 2 | 7 |
| TOPLAM İŞ YÜKÜ (Saat) | 50 | |||
PÇ-1 | PÇ-2 | PÇ-3 | PÇ-4 | PÇ-5 | PÇ-6 | PÇ-7 | PÇ-8 | PÇ-9 | PÇ-10 | PÇ-11 | PÇ-12 | PÇ-13 | PÇ-14 | PÇ-15 | PÇ-16 | PÇ-17 | PÇ-18 | |
OÇ-1 | 4 | 4 | 4 | 4 | 4 | 4 | 2 | |||||||||||
OÇ-2 | 4 | 4 | 4 | 4 | 4 | |||||||||||||
OÇ-3 | ||||||||||||||||||
OÇ-4 | ||||||||||||||||||
OÇ-5 | ||||||||||||||||||