Skriptensammlung der Fachschaft

Logik

Lokal:

• Mathemathische Logik (Prof. Gloede)
  • Kapitel I: Der Aussagenkalkül (PDF) (PS)
  • Kapitel II: Der Prädikatenkalkül (PDF) (PS)
  • Kapitel III: Vollständigkeit und Kompaktheit (PDF) (PS)
  • Kapitel IV: Einiges aus Mengenlehre und Modelltheorie (PDF) (PS)
  • Kapitel V: Unvollständigkeit und Unentscheidbarkeit (PDF) (PS)
• (siehe auch direkt bei Arbeitsgruppe Mathematische Logik und Theoretische Informatik)

Extern:

• Logik-Kurse und Logik-Skripte Uni Düsseldorf
• The Power of Logic Stephen Layman