1. Anasayfa

Ders Notları

100% Complete (success)
Dikkat !!! Lütfen okuyunuz ...

Öğretim Üyesi (Üyeleri): Doç. Dr. Dilek Başerer *

(*) Ders notu girebilmek için, bu alanda kendi isminiz yazıyor olmalı...

  • Bologna verilerinin girilmesi;
    ubys.omu.edu.tr adresinden,
    ÜBYS' de Öğretim Elemanları yetkisi seçilmeli... Öğretim elemanı danışmanlık işlemlerinden yapabilirsiniz...
Yıl: 2023, Dönem: Bahar
FEL106, Modern Mantık (mufredatId:4082, dersId: 34068, programId: 5428)
Ders Kitabı / Malzemesi / Önerilen Kaynaklar

Ders Kitabı / Malzemesi / Önerilen Kaynaklar Özlem, Doğan, 2017, Mantık, Notos Kitap, İstanbul. Yıldırım, Cemal, 1999, Mantık, Bilgi Yayınevi, Ankara. Zekiye Kutlusoy, 2003, Temel Sembolik Mantık, ART Yayınları, Ankara. Grünberg, Teo, 2003, Mantık Terimleri Sözlüğü, ODTÜ Geliştirme Vakfı Yayıncılık, Ankara.

Dersin İçeriği

Önermelerin sembolleştirilmesi, çıkarımların geçerliğinin denetlenmesi, doğruluk tablosu ve ağaç-açma yöntemleri ile tutarlık, eşdeğerlik, olasılık denetlemesi.

Dersin Amacı

Modern Mantıkta temel kavramların ve yöntemlerin incelenmesini amaçlar.

Haftalık Ders İçeriği

Hafta Teorik Uygulama Laboratuar Ders Notları
1 Önermeler mantığı Doğruluk fonksiyonu mantığı
2 Doğruluk fonksiyonu mantığında sembolleştirme, Doğruluk fonksiyonu mantığında sembolleştirilmiş önermelerin yorumlanması
3 Doğruluk değeri analizi Doğruluk değeri tablosu (Karma doğruluk değeri tablosu), Doğruluk değeri hesaplaması
4 Doğruluk değeri analizi Önermelerin doğruluk değeri hesabı ve çözümlemesi
5 Doğruluk değeri analizi Çıkarımların geçerliliğinin denetlenmesi Doğruluk değeri analizi Önermelerin eşdeğerliğinin denetlenmesi, önerme kümelerinin tutarlılığının denetlenmesi
6 Doğruluk değeri analizi Çıkarımların geçerliliğinin denetlenmesi
7 Çözümleyici çizelge yöntemi (Ağaç-açma yöntemi) Önermelerin eşdeğerliğinin denetlenmesi, önerme kümelerinin tutarlılığının denetlenmesi
8 Quiz
9 ara sınav
10 Niceleme mantığına giriş, niceleyicileri tanıma
11 Çoklu niceleme
12 Niceleme mantığı (Yüklemler Mantığı) Niceleme mantığında sembolleştirme
13 Niceleme mantığında yorumlama Niceleme mantığında önermelerin doğruluk-değeri
14 Niceleme mantığında özelleme
15 Niceleme mantığında çözümleyici çizelge yöntemi (ağaç-açma yöntemi)
16 Yıl sonu sınavı