Matematiksel Yapılar ve Formalizasyon(MAT440)
Ders Kodu | Dersin Adı | Yarıyıl | Teori | Uygulama | Lab | Kredisi | AKTS |
---|---|---|---|---|---|---|---|
MAT440 | Matematiksel Yapılar ve Formalizasyon | 7 | 3 | 0 | 0 | 3 | 5 |
Ön Koşul | |
Derse Kabul Koşulları |
Dersin Dili | Fransızca |
Türü | Seçmeli |
Dersin Düzeyi | Lisans |
Dersi Veren(ler) | Ayberk ZEYTİN azeytin@gsu.edu.tr (Email) |
Dersin Yardımcıları | |
Dersin Amacı |
Formalizm anlayışı geliştirmek, Fonksiyonel programlamanın temellerini kavramak, Lean gibi kanıt asistanlarını kullanabilmek |
İçerik |
Fonksiyonel programlamaya giriş, Tipler, Terimler, Eşitlik, Farklı tip çeşitleri, Yapılar, Sınıflar, Lean’de bilinen matematiksel yapıların kurulumu, Lean aracılığıyla bilinen teoremleri kanıtlama |
Dersin Öğrenme Çıktıları |
Matematikte formalizme olan ihtiyacı anlamak Fonksiyonel programlamanın temellerini öğrenmek Kanıt asistanlarını kullanabilmek |
Öğretim Yöntemleri | Yüz yüze ya da çevrimiçi |
Kaynaklar |
How To Prove It (with Lean), Daniel J. Velleman Theorem Proving in Lean 4, Jeremy Avigad, Leonardo de Moura, Soonho Kong, and Sebastian Ullrich, |
Teori Konu Başlıkları
Hafta | Konu Başlıkları |
---|---|
1 | Genel Bakış ve Kurulum |
2 | Lean Sözdizimi ve İspat Arayüzü |
3 | Lean'da Mantık İncelemesi |
4 | İspat Taktikleri ve Yöntemleri |
5 | Yapılar ve Tür Sınıfları |
6 | Tümevarımsal Türler ve Özyineleme |
7 | Tümevarımla İspatlar |
8 | Kümeler ve Bağıntılar |
9 | Cebirsel Hiyerarşi |
10 | Lean'de Sayılar Teorisi I |
11 | Lean'de Sayılar Teorisi II |
12 | Sonlu Yapılar ve Kombinatorik I |
13 | Sonlu Yapılar ve Kombinatorik II |
14 | Gerçel Analiz |
Uygulama Konu Başlıkları
Hafta | Konu Başlıkları |
---|---|
1 | --- |
2 | --- |
3 | --- |
4 | --- |
5 | --- |
6 | --- |
7 | --- |
8 | --- |
9 | --- |
10 | --- |
11 | --- |
12 | --- |
13 | --- |
14 | --- |
Başarı Notuna Etki Oranları
Sayı | Katkı Payı | |
---|---|---|
Yarıyıl içi çalışmaların başarı notuna katkısı | 6 | 60 |
Yarıyıl sonu çalışmaların başarı notuna katkısı | 1 | 40 |
Toplam | 7 | 100 |
Yarıyıl İçi Çalışmaları
Sayı | Katkı Payı | |
---|---|---|
Ödevler | 0 | 0 |
Sunum | 6 | 60 |
Arasınavlar (Hazırlık Süresi Dahil) | 0 | 0 |
Proje | 0 | 0 |
Laboratuar | 0 | 0 |
Diğer Uygulamalar | 0 | 0 |
Kısa Sınavlar | 0 | 0 |
Dönem Ödevi / Projesi | 0 | 0 |
Portfolyo Çalışmaları | 0 | 0 |
Raporlar | 0 | 0 |
Öğrenme Günlükleri | 0 | 0 |
Bitirme Tezi/Projesi | 0 | 0 |
Seminer | 0 | 0 |
Diğer | 0 | 0 |
Bütünleme | 0 | 0 |
Toplam | 6 | 60 |
Numara | Program Yeterlilikleri | Puan | ||||
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 |
Etkinlikler | Sayı | Süre | Toplam İş Yükü |
---|---|---|---|
Ders Süresi | 14 | 3 | 42 |
Sınıf Dışı Çalışma Süresi | 14 | 3 | 42 |
Ödevler | 0 | 0 | 0 |
Sunum | 3 | 5 | 15 |
Arasınavlar (Hazırlık Süresi Dahil) | 0 | 0 | 0 |
Proje | 0 | 0 | 0 |
Laboratuar | 0 | 0 | 0 |
Diğer Uygulamalar | 0 | 0 | 0 |
Yarıyıl Sonu Sınavı (Hazırlık Süresi Dahil) | 1 | 36 | 36 |
Kısa Sınavlar | 0 | 0 | 0 |
Dönem Ödevi / Projesi | 0 | 0 | 0 |
Portfolyo Çalışmaları | 0 | 0 | 0 |
Raporlar | 0 | 0 | 0 |
Öğrenme Günlükleri | 0 | 0 | 0 |
Bitirme Tezi/Projesi | 0 | 0 | 0 |
Seminer | 0 | 0 | 0 |
Diğer | 0 | 0 | 0 |
Bütünleme | 0 | 0 | 0 |
Ts Yıl Sonu | 0 | 0 | 0 |
Hazırlık Yıl Sonu | 0 | 0 | 0 |
Hazırlık Bütünleme | 0 | 0 | 0 |
Toplam İş Yükü | 135 | ||
Toplam İş Yükü / 25 | 5.40 | ||
Dersin AKTS Kredisi | 5 |