İçeriğe geç

P02-D07·Mantık ve Akıl Yürütme

Metalojik ve Hesaplanabilirlik

L44 modül18 alt ders Tümü yayında

Bu dersin 18 alt dersinin tam metni yazıldı. Aşağıdaki başlıkların hepsi bağlantılıdır ve bugün okunabilir.

Modüller

Her modül tek bir tartışma çizgisi yürütür; altındaki alt dersler o çizginin durakları. Bir alt ders tek oturumda çalışılacak büyüklüktedir.

  1. M01Metateori5 alt ders · Tümü yayında

    1. 1Nesne dil/üstdilYayında
    2. 2Biçimsel sistemYayında
    3. 3SeslilikYayında
    4. 4TamlıkYayında
    5. 5Karar verilebilirlikYayında
  2. M02Birinci derece mantık4 alt ders · Tümü yayında

    1. 1Tamlık teoremiYayında
    2. 2KompaktlıkYayında
    3. 3Löwenheim–SkolemYayında
    4. 4Model kuramına girişYayında
  3. M03Hesaplanabilirlik4 alt ders · Tümü yayında

    1. 1AlgoritmaYayında
    2. 2Turing makinesiYayında
    3. 3Church–Turing teziYayında
    4. 4Durma problemiYayında
  4. M04Gödel5 alt ders · Tümü yayında

    1. 1AritmetikleştirmeYayında
    2. 2Birinci eksiklikYayında
    3. 3İkinci eksiklikYayında
    4. 4Felsefi sonuçlarYayında
    5. 5Yanlış yorumlarYayında

Seviye L4 ne demek?

L4 Uzmanlık
Araştırma problemleri ve özgün çalışma Anlatım dili araştırma dili; argüman derinliği açık problem ve özgün değerlendirme. Okuma: ana anlatım 20–35 dakika; araştırma katmanı ayrı.

Seviye etiketleri yönlendiricidir; içerik kilidi değildir.