Ders AdıKodu Yerel KrediAKTS Ders (saat/hafta)Uygulama (saat/hafta)Laboratuar (saat/hafta)
Modern Mantık IIFEL122235300
ÖnkoşullarYok
YarıyılBahar
Dersin DiliTürkçe
Dersin SeviyesiLisans
Dersin Türü
Ders KategorisiUzmanlık/Alan Dersleri
Dersin Veriliş ŞekliYüz yüze
Dersi Sunan Akademik BirimFelsefe Bölümü
Dersin Koordinatörü
Dersi Veren(ler)
Asistan(lar)ı
Dersin AmacıNicel Mantık Teoremleri ve önermelere, argümanlara uygulamaları
Dersin İçeriğiNiceleyiciler, semboller, önermeler ve çözümleme kuralları, tutarlılık denetlemesi, çıkarımlar ve çok değerli mantık denetlemeleri konuları işlenecektir.
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
  • Logic: Techniques of Formal Reasoning, Donald Kalish& Richard Montague
  • Kadir Çüçen, Mantık, Bursa: Asa, 2006.
Opsiyonel Program BileşenleriYok

Ders Öğrenim Çıktıları

  1. Eleştirel ve analitik düşünmek.
  2. Sembolik mantığın temel kavramlarını kavrama
  3. Bu kavramlar hakkındaki farklı fikirleri karşılaştırma ve değerlendirme yeteneği elde etme
  4. Denetlemeler ve çıkarımları yapabilme becerilerinin geliştirilmesi

Ders Öğrenim Çıktısı & Program Çıktısı Matrisi

DÖÇ-1DÖÇ-2DÖÇ-3DÖÇ-4

Haftalık Konular ve İlgili Ön Hazırlık Çalışmaları

HaftaKonularÖn Hazırlık
1"Tüm" ve "Bazı"ya girişDers kitabı ilgili bölüm
2Niceleyiciler ve sembolleştirmeDers kitabı ilgili bölüm
3Bağlama ve serbest bırakmaDers kitabı ilgili bölüm
4Çıkarsama kurallarıDers kitabı ilgili bölüm
5Yerine kullanmaDers kitabı ilgili bölüm
6Bağlı cümlelerde yerine kullanmaDers kitabı ilgili bölüm
7Eşdeğerlilik denetlemesiDers kitabı ilgili bölüm
8Ara Sınav 1 / Uygulama veya Konu Tekrarı
9Otomatik prosedürlerDers kitabı ilgili bölüm
10Çok değerli mantıkta tutarlılık, geçerlilik ve eşdeğerlik denetlemeleriDers kitabı ilgili bölüm
11Çok değerli mantıkta tutarlılık, geçerlilik v eşdeğerlik uygulamalarıDers kitabı ilgili bölüm
12Farklı mantık türleri ve ontolojileriDers kitabı ilgili bölüm
13Sezgisel mantıkDers kitabı ilgili bölüm
14Bulanık mantıkDers kitabı ilgili bölüm
15Final

Değerlendirme Sistemi

EtkinliklerSayıKatkı Payı
Devam/Katılım
Laboratuar
Uygulama
Arazi Çalışması
Derse Özgü Staj
Küçük Sınavlar/Stüdyo Kritiği
Ödev520
Sunum/Jüri
Projeler
Seminer/Workshop
Ara Sınavlar130
Final150
Dönem İçi Çalışmaların Başarı Notuna Katkısı
Final Sınavının Başarı Notuna Katkısı
TOPLAM100

AKTS İşyükü Tablosu

EtkinliklerSayıSüresi (Saat)Toplam İşyükü
Ders Saati143
Laboratuar
Uygulama
Arazi Çalışması
Sınıf Dışı Ders Çalışması143
Derse Özgü Staj
Ödev55
Küçük Sınavlar/Stüdyo Kritiği
Projeler
Sunum / Seminer
Ara Sınavlar (Sınav Süresi + Sınav Hazırlık Süresi)115
Final (Sınav Süresi + Sınav Hazırlık Süresi)125
Toplam İşyükü :
Toplam İşyükü / 30(s) :
AKTS Kredisi :
Diğer NotlarYok