Semantik
Dieser Band bietet eine Einführung in die Semantik mit einem Schwerpunkt auf den formalen Methoden. Er erklärt semantische Modelle sowie die Grundlagen der kompositionellen Interpretation und stellt die wichtigsten Konzepte vor, z.B. Funktionen, Junktoren, Quantoren wie auch Typentheorie, den Lambda-Operator und mögliche Welten. Die einzelnen Kapitel bauen sukzessive aufeinander auf, erläutern di...
Dieser Band bietet eine Einführung in die Semantik mit einem Schwerpunkt auf den formalen Methoden. Er erklärt semantische Modelle sowie die Grundlagen der kompositionellen Interpretation und stellt die wichtigsten Konzepte vor, z.B. Funktionen, Junktoren, Quantoren wie auch Typentheorie, den Lambda-Operator und mögliche Welten. Die einzelnen Kapitel bauen sukzessive aufeinander auf, erläutern di...
