Marmara Üniversitesi
Marmara Üniversitesi Eğitim-Öğretim Bilgi Sistemi

Programlar Hakkında Bilgi

Lisans - Atatürk Eğitim Fakültesi - Matematik Öğretmenliği

Müfredat Adı Ders Kodu Ders Adı Ders Türü Dönem AKTS Teorik Uygulama
2022 - Matematik Öğretmenliği - Lisans OMAT3056 Mantık Seçmeli 3 3,00 2 0

Dersin İçeriği

Dersin Amacı

Önermeler mantığı ve birinci dereceden monadik niceleyici hesabı.

Öğrenim Türü

-

Dersin İçeriği

Cümlesel ve yüklem mantığı da dahil olmak üzere sembolik mantığa giriş. Amacı, sizi argümanları ve akıl yürütmeyi temsil etmek ve değerlendirmek için belirli biçimsel yöntemlerle tanıştırmaktır. Bu yöntemler sadece felsefe için değil, herhangi bir konu için kullanılabilir. Matematik gibi, öğreneceğiniz yöntemler oldukça soyut, biçimsel ve semboliktir.

Planlanan Öğrenme Aktiviteleri ve Metodları

Düz anlatım, soru-cevap, problem çözme

Staj Durumu

Bulunmuyor

Dersin Sunulduğu Dil

Türkçe

Ders Kitabı / Malzemesi / Önerilen Kaynaklar

PD Magnus, Tim Button, and Antony Eagle (2018) Forallx: Adelaide.

Dersin Web Sayfası

Bulunmuyor

Öğrenme Çıktıları

  • Resmi bir mantıksal çerçeve kullanarak ifadelerin ve argümanların yapısını temsil edin;
  • Doğruluk tablolarını ve tümdengelim yöntemlerini kullanarak geçerlilik için resmileştirilmiş argümanları değerlendirin;
  • Gerçek dünyadaki argümanları açıklığa kavuşturmak ve değerlendirmek için bu resmi yöntemleri uygulayın;
  • Zaman sınırlamaları da dahil olmak üzere değerlendirme koşulları altında sembolik mantıkla ilgili bilgi ve beceriyi gösterin;
  • Gerçek dünya argümanlarıyla ilişkiden kaynaklanan mantıksal ve yorumlayıcı sorular üzerine sözlü görüşler sunun ve savunun

Haftalık Ayrıntılı Ders İçeriği

Hafta Teorik
1 Argümanlar, Resmi ve Gayri resmi mantık
2 Cümle mantığı ve ne anlama geldiği; İngilizce'den çeviriler
3 Mantıksal argümanları değerlendirme: geçerlilik, sağlamlık ve anlambilim
4 Geçerlilik Testleri, Birinci sınıf testi
5 Mantık dilimize ek olarak: Yüklem mantığı
6 Yüklem mantığı ve argümanların değerlendirilmesi için semantik
7 Arasınav hazırlık
8 Arasınav
9 Mantıksal kanıtlara giriş ("kesintiler")
10 Cümlesel Kesinti, Sınıf İkinciliği testi
11 Yüklem Kesintisi
12 Yüklem Kesintisi, devam; kimlik
13 Uygulamalar
14 Uygulamalar
15 Uygulamalar
16 Final Öncesi Hazırlık
17 Final

Değerlendirme

Değerlendirme Değer
Yarıyıl (Yıl) İçi Etkinlikleri 40
Yarıyıl (Yıl) Sonu Etkinlikleri 60
Yarıyıl (Yıl) Sonu Etkinlikleri Değer
Final Sınavı 100

Öğrenci İş Yükü Hesabı

Etkinlikler Sayısı Süresi (saat) Toplam İş Yükü (saat)
Ders Öncesi/Sonrası Bireysel Çalışma 10 2 20
Proje ve Hazırlığı 0 0 0
Ödev ve Hazırlığı 0 0 0
Laboratuvar ve Hazırlığı 0 0 0
Atölye ve Hazırlığı 0 0 0
Sunum ve Hazırlığı 0 0 0
Seminer ve Hazırlığı 0 0 0
Demo ve Hazırlığı 0 0 0
Araştırma ve Hazırlığı 0 0 0
Rapor ve Hazırlığı 0 0 0
Arasınav ve Hazırlığı 1 18 18
Kısa Sınav ve Hazırlığı 0 0 0
Final ve Hazırlığı 1 28 28
Teorik Ders Saati 0 0 0
Uygulama Ders Saati 0 0 0

Program ve Öğrenme Çıktıları İlişkisi

ÖÇ1
ÖÇ2
ÖÇ3
ÖÇ4
ÖÇ5