Bilgi Paketi / Ders Kataloğu
Matematik Felsefesi ve Sembolik Mantık
Ders Kodu: MTE526
Ders Türü: Bölüm Seçmeli
Ders Grubu: Yüksek Lisans
Eğitim Dili: Türkçe
Staj Durumu: Yok
Teori: 3
Uyg.: 0
Kredi: 3
Laboratuvar: 0
AKTS: 8
Amaç

Matematik eğitiminde bir araştırma yapabilmek için gerekli felsefi ve kuramsal temellerin oluşturulmasını sağlamak

Özet İçerik

Matematiğin ontolojisi ve epistemolojisi, sayılar, kümeler, fonksiyonlar v.b matematiksel kavramlar ile önerme ve matematiksel ifadelerin anlamları. Matematiğin temelleri, yöntemleri ve matematiğin doğasına ilişkin felsefi problemler. Matematikte nesnellik ve gerçek dünyaya uygulanabilirlik. Frege, Russel, Hilbert, Brouwer, ve Gödel gibi matematik felsefesi öncülerinin çalışmaları. Matematik felsefesinde temel kuramlar: Mantıkçılık (Logisicm), Biçimcilik (Formalism) , Yapısalcılık (Structuralism) ve Sezgicilik (Intuitionism)

Dersi Veren Öğretim Görevlisi/Görevlileri
Dr. Öğr. Üyesi Müjdat AĞCAYAZI
Öğrenme Çıktıları
1.Matematiksel mantığın felsefi önemini açıklar
2.Matematiksel ifadelerin anlamlarını ifade eder
3.Eğitim felsefesi ve matematik felsefesi arasındaki ilişkiyi açıklar
4.Matematik felsefesinin temel kuramlarını açıklar
5.Sembolik mantık ve uygulamalarını açıklar
6.Küme kavramını ifade eder ve ilgili soruları çözer
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1.Stephan F. Barker; Matematik Felsefesi, İmge Kitapevi, 2003
Haftalık Ayrıntılı Ders İçeriği
1. Hafta - Teorik
Matematik nedir?
2. Hafta - Teorik
Matematiğin doğası
3. Hafta - Teorik
Matematiğin ontolojisi
4. Hafta - Teorik
Matematiğin epistemolojisi
5. Hafta - Teorik
Matematiksel ifadelerin anlamları
6. Hafta - Teorik
Matematik felsefesinde temel kuramlar
7. Hafta - Teorik
Matematiğin bir disiplin olarak tarihi gelişimi ve bunun eğitime yansımaları
8. Hafta - Teorik
Felsefe ve mantık (Ara sınav)
9. Hafta - Teorik
Önermeler ve temel özellikleri
10. Hafta - Teorik
Bağlaçlar ve doğruluk tabloları
11. Hafta - Teorik
Niceleyiciler, matematiksel ispat ve İspat yöntemleri
12. Hafta - Teorik
Kümeler Teorisi, ikili işlemler
13. Hafta - Teorik
Küme işlemleri
14. Hafta - Teorik
Çarpım kümeleri
Değerlendirme
Değerlendirme TürüAdetYüzde
Ara Sınav (Vize)1%30
Dönem Sonu Sınavı (Final)1%70
İş Yükü Hesaplaması
EtkinlikSayısıÖn HazırlıkSüreToplam Iş Yükü (Saat)
Kuramsal Ders142370
Bireysel Çalışma140342
Ara Sınav136238
Dönem Sonu Sınavı148250
TOPLAM İŞ YÜKÜ (Saat)200
Program ve Öğrenme Çıktıları İlişkisi
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
OÇ-1
3
2
1
2
1
2
1
3
5
OÇ-2
3
2
1
2
1
2
1
3
5
OÇ-3
3
2
1
2
1
2
1
3
5
OÇ-4
3
2
1
2
1
2
1
3
5
OÇ-5
3
2
1
2
1
2
1
2
5
OÇ-6
3
2
1
2
1
2
1
2
5
Adnan Menderes Üniversitesi - Bilgi Paketi / Ders Kataloğu
2026