Bilgi Paketi / Ders Kataloğu
| Ders Kodu | : MAT213 |
| 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 |
Sebep sonuç ilişkilerinin çıkarımlarını yapabilme. Mantıksal ispat yapabilme
Önermeler ve ispat tekniklerini yapabilme. Gödel ve Curch Teoremlerine hazırlık yapabilme
| 1. | Önermeler hakkında bilgi edinme. |
| 2. | Doğruluk , tutarlılık ve bütünsüzlük teoremlerini öğ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. | E.Mendelson, Introduction to Mathematical Logic , Wadsworth&Brooks, ISBN 0534066240, 1997. |
| 3. | E.J.Lemmon, Beginning Logic, Van Nostrand Reinhold (UK), ISBN 0442306768, 1971. |
| 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 | 1 | 1 | 4 |
| Ara Sınav | 1 | 2 | 2 | 4 |
| Dönem Sonu Sınavı | 1 | 8 | 2 | 10 |
| 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 | 5 | 4 | 4 | 2 | 3 | 1 | |||||||||
OÇ-2 | 4 | 4 | 4 | 4 | 4 | 1 | ||||||||||||
OÇ-3 | ||||||||||||||||||
OÇ-4 | ||||||||||||||||||
OÇ-5 | ||||||||||||||||||