Bilgi Paketi & Ders Kataloğu
| 1 | Dersin Adı: | İLERİ MANTIK I |
| 2 | Dersin Kodu: | FEL5123 |
| 3 | Dersin Türü: | Seçmeli |
| 4 | Dersin Seviyesi: | Yüksek Lisans |
| 5 | Dersin Verildiği Yıl: | 1 |
| 6 | Dersin Verildiği Yarıyıl: | 1 |
| 7 | Dersin AKTS Kredisi: | 3 |
| 8 | Teorik Ders Saati (saat/hafta): | 2 |
| 9 | Uygulama Ders Saati (saat/hafta): | 0 |
| 10 | Laboratuar Ders Saati (saat/hafta): | 0 |
| 11 | Dersin Önkoşulu | |
| 12 | Ders İçin Önerilen Diğer Hususlar | Yok |
| 13 | Dersin Dili: | Türkçe |
| 14 | Dersin Veriliş Şekli | |
| 15 | Dersin Koordinatörü: | Doç.Dr. Aytekin Özel |
| 16 | Dersi Veren Diğer Öğretim Elemanları: | |
| 17 | Ders Koordinatörünün İletişim Bilgileri: | |
| 18 | Dersin Web Adresi: | |
| 19 | Dersin Amacı | |
| 20 | Dersin Mesleki Gelişime Katkısı: |
| 21 | Ders Öğrenme Kazanımları |
|
| 22 | Dersin İçeriği |
| Hafta | Teori | Uygulama |
| 1 | Küme teorisi nedir? | |
| 2 | Küme teorisi ve mantık | |
| 3 | Küme teorisinin tarihi | |
| 4 | aksiyomlar ve tanımlar | |
| 5 | teoremler ispatı | |
| 6 | teoremler ispatı | |
| 7 | teoremler ispatı | |
| 8 | teoremler ispatı | |
| 9 | teoremler ispatı | |
| 10 | teoremler ispatı | |
| 11 | teoremler ispatı | |
| 12 | teoremler ispatı | |
| 13 | teoremler ispatı | |
| 14 | teoremler ispatı |
| 23 | Ders Kitabı, Referanslar ve/veya Diğer Kaynaklar: | Edward John Lemmon, Introduction to Axiomatic Set Theory, Routledge & Kegan Paul PLC, 1969. |
| 24 | Değerlendirme |
| YARIYIL İÇİ ÇALIŞMALARI | SAYISI | KATKI YÜZDESİ |
| Ara Sınav | 0 | 0 |
| Kısa Sınav | 0 | 0 |
| Ödev | 0 | 0 |
| Yıl sonu Sınavı | 1 | 100 |
| Toplam | 1 | 100 |
| Yıl içi çalışmalarının Başarıya Oranı | 0 | |
| Finalin BAşarıya Oranı | 100 | |
| Toplam | 100 | |
| Derste Kullanılan Ölçme ve Değerlendirme Yaklaşımları | ||
| Açıklama | ||
| 25 | AKTS / İŞ YÜKÜ TABLOSU |
| Etkinlik | SAYISI | Süresi [Saat] | Toplam İş Yükü [Saat] |
| Teorik Dersler | 14 | 2 | 28 |
| Uygulamalı Dersler | 0 | 0 | 0 |
| Sınıf Dışı Ders Çalışma Süresi (Ön çalışma, pekiştirme) | |||
| Ödevler | 0 | ||
| Projeler | |||
| Arazi Çalışmaları | |||
| Arasınavlar | 0 | ||
| Diğer | |||
| Yarıyıl Sonu Sınavları | 1 | ||
| Toplam İş Yükü | |||
| Toplam İş Yükü / 30 saat | |||
| Dersin AKTS Kredisi |
| 26 | PROGRAM YETERLİLİKLERİ İLE DERS ÖĞRENİN KAZANIMLARI İLİŞKİSİ TABLOSU | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ÖK: Öğrenme Kazanımları | PY: Program yeterlilikleri |
| Katkı Düzeyi: | 1 Çok Düşük | 2 Düşük | 3 Orta | 4 Yüksek | 5 Çok Yüksek |