TR ENG

ÇANKIRI KARATEKİN ÜNİVERSİTESİ - Bologna Bilgi Sistemi

Ders Bilgileri

Ders Tanımı

Ders Akışı

Dersin Prog. Çıkt. Katkısı

AKTS- İşyükü

AKTS- İşyükü Hesaplama Aracı

Program Bilgileri

Misyon ve Vizyon

Program Yeterlilik Çıktıları

Ders Planı AKTS Kredileri

Ders Katalogları

Ders Programı Çıktı İlşkisi

TYYC Düzey Yeterlilik

TYYC Temel Alanı Yeterlilikleri

Kabul Koşulları

Üst Kademeye Geçiş

Alınacak Derece

Mezuniyet Koşulları

Sınav Değerlendirme Kuralları

Anabilim Dalı Bşk ve Koordinatörler

Görüş Bildir Print
  • Ders Tanımı
    • Ders Adı Kodu Yarıyıl Teori+Uygulama (Saat) Havuz Statü AKTS
    İleri Mantık FEL526 BAHAR 3+0 S 7
    Öğrenme Çıktıları
    1- İleri Mantığın temel problemlerini kavrar.
  • AKTS / İŞ YÜKÜ TABLOSU
    • EtkinlikKatkı Yüzdesi

    (100)

    		SayısıSüresi (Saat)Toplam İş Yükü (Saat)
    Ders Süresi (Hafta x Ders Saati)14342
    Sınıf Dışı Ders Çalışma Süresi (Ön çalışma, pekiştirme)14798
    Ödevler20000
    Kısa Süreli Sınavlar (sınav + hazırlık) 0000
    Ara Sınavlar (sınav + hazırlık)0000
    Proje8014040
    Laboratuar 0000
    Yarıyıl Sonu Sınavı (sınav + hazırlık) 0000
    Diğer 0000
    Toplam İş Yükü(Saat)   180
    Toplam İş Yükü(Saat)/ 30 (s)     6 ---- (6)
    Dersin AKTS Kredisi   7
  • Ders Akışı
    • Hafta Konular Ön Hazırlık
    1 Kipler mantığı : süreler mantığı, bilgi kuramı mantığı, ödev mantığı
    2 içlem mantığı
    3 süreler mantığı, bilgi kuramı mantığı, ödev mantığı
    4 Modern Mantık ve matematik ilişkisi
    5 Russell
    6 Russell
    7 Russell
    8 Küme Teorisi
    9 Küme Teorisi
    10 Küme Teorisi
    11 Küme Teorisi
    12 Küme Teorisi
    13 Küme Teorisi
    14 Genel Değerlendirne
    Ön Koşul -
    Ders Dili Türkçe
    Dersin Sorumlusu -
    Dersi Verenler -
    Ders Yardımcıları -
    Kaynaklar EMİROĞLU, İbrahim, Mantık Yanlışları, Elis Yayınları, 2004 İBRAHİM, Ahmad M, Gömülü Sistemlerde Bulanık Mantık, Bileşim Yayınları, 2006 ÖZLEM, Doğan, Mantık Klasik/Sembolik Mantık, Mantık Felsefesi, İnkılap Kitabevi, İstanbul, 2000 ŞEN, Zekai, Modern Mantık, Bilge Kültür Sanat, 2003 Grunberg, Teo, Sembolik Mantık El Kitabı 1, ODTÜ Geliştirme Vakfı Yayıncılık, 2000
    Yardımcı Kitap -
    Dersin Amacı Bu derste ileri Mantığın klasik ve modern mantıktan farkının kavranması amaçlanmaktadır
    Dersin İçeriği -
    Çankırı Karatekin Üniversitesi  Bilgi İşlem Daire Başkanlığı  @   2017 - Webmaster