Computational Semantics
Tutorial
Navigation
  • Kapitel
    • Chapter 0: Intro und Organisatorisches
    • Chapter 1: First-Order Logic
    • Chapter 2: Lambda Calculus
    • Chapter 3: Underspecified Representations
    • Chapter 4: Propositional Inference
    • Chapter 5: First-Order Inference
    • Chapter 6: Curt
  • Aufgaben
  • Musterlösungen
  • Links + Tools

Links + Tools

Prolog-Dateien

VirtualBox (Downloadlink)

Kursdateien (Downloadlink) für die VirtualBox

EtherPad (Austausch von Code und längeren Antworten)

Login
  • Impressum
  • Datenschutz
© 2025 Heinrich-Heine-Universität Düsseldorf