GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| 9101075592014 | Matemağin Temelleri ve Matematik Lojikte Seçme Konular | Seçmeli Ders Grubu | 1 | 1 | 8,00 |
Dersin Seviyesi
Yüksek Lisans
Dersin Sunulduğu Dil
Türkçe
Dersin Amacı
Bu dersin aması öğrencilere matematiğin lojik ile ilgili temel kavramları vermektir.
Dersi Veren Öğretim Görevlisi/Görevlileri
Doç. Dr. Tahsin ÖNER
Öğrenme Çıktıları
| 1 | Makale inceleme becerisini geliştirme |
| 2 | Problemlerin çözümlerini bulmadaki tartışmalar ile sonucu şekillendirme |
| 3 | Matematiksel düşünceyi geliştirebilme |
Öğretim Sistemi
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
-
Ders İçin Önerilen Diğer Hususlar
-
Dersin İçeriği
Önermeler mantığı, Yapılar ve birinci mertebeden mantık, İspat teorisi, Birinci mertebeden mantığın özellikleri, Birinci-mertebden teoriler.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Konular (Teorik) | Öğretim Yöntem ve Teknikleri | Ön Hazırlık |
|---|---|---|---|
| 1 | Önermeler mantığı | ||
| 2 | Önermeler mantığı | ||
| 3 | Önermeler mantığı | ||
| 4 | Yapılar ve birinci-mertebeden mantık | ||
| 5 | Yapılar ve birinci-mertebeden mantık | ||
| 6 | Yapılar ve birinci-mertebeden mantık | ||
| 7 | Yapılar ve Birinci-mertebeden mantık | ||
| 8 | Arasınav | ||
| 9 | İspat teorisi | ||
| 10 | İspat teorisi | ||
| 11 | İspat teorisi | ||
| 12 | Birinci-mertebeden mantığın özellikleri | ||
| 13 | Birinci-mertebeden mantığın özellikleri | ||
| 14 | Birinci-mertebeden mantığın özellikleri | ||
| 15 | Birinci-mertebeden mantığın özellikleri | ||
| 16 | Final sınavı |
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1. A Frist Course in Logic, An Introduction to Model Theory, Proof Theory, Computability, and Complexity, Shawn Hedman, Oxford University Press, 2006.
Planlanan Öğrenme Aktiviteleri ve Metodları
Etkinlikler ayrıntılı olarak "Değerlendirme" ve "İş Yükü Hesaplaması" bölümlerinde verilmiştir.
Değerlendirme
| Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
|---|---|---|
| Ara Sınav | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | Adet | Değer |
| Final Sınavı | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) İçi Etkinlikleri | 40 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | |
Staj Durumu
-
İş Yükü Hesaplaması
| Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
|---|---|---|---|
| Derse Katılım | 3 | 16 | 48 |
| Proje Hazırlama | 1 | 90 | 90 |
| Proje Sunma | 1 | 3 | 3 |
| Makale Kritik Etme | 1 | 3 | 3 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 75 | 75 |
| Performans | 1 | 9 | 9 |
| Toplam İş Yükü (saat) | 228 | ||
Program ve Öğrenme Çıktıları İlişkisi
| PÇ 1 | PÇ 2 | PÇ 3 | PÇ 4 | PÇ 5 | PÇ 6 | PÇ 7 | |
| ÖÇ 1 | 4 | 4 | 4 | ||||
| ÖÇ 2 | 4 | 4 | 4 | ||||
| ÖÇ 3 | 4 | 4 | 4 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek