Semantik

Dieser Band bietet eine Einfuhrung in die Semantik mit einem Schwerpunkt auf den formalen Methoden. Er erklart 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 moegliche Welten. Die einzelnen Kapitel bauen sukzessive aufeinander auf, erlautern die modelltheoretischen Analysemethoden der Semantik und schaffen Studierenden somit einen Zugang zu den Grundlagen formal-semantischer Analyse. - In zweifarbiger Gestaltung mit vielen Beispielen, UEbungen und einem Sachregister.