Produkt
KlappentextâDieser Band bietet eine Einführung in die Semantik mit einem Schwerpunkt auf den formalen Methoden. Die einzelnen Kapitel bauen sukzessive aufeinander auf, erläutern die modelltheoretischen Analysemethoden der Semantik und schaffen Studierenden somit einen Zugang zu den Grundlagen formal-semantischer Analyse.
Zusammenfassung
Knapper und gut strukturierter Überblick über alle Aspekte und Bereiche der formalen, modell-theoretischen Semantik
Alle grundlegenden Konzepte wie Typentheorie und Lambda-Notation werden detailliert und verständlich eingeführt
Im zweifarbigen Layout mit Definitionen, zahlreichen Beispielen und Analyseaufgaben (Lösungen als Online-Material)
In seinem didaktischen Aufbau und seiner Vorgehensweise konkurrenzlos
Mit einem Sachregister auch der englischen Fachbegriffe
Includes supplementary material: sn.pub/extras
Knapper und gut strukturierter Überblick über alle Aspekte und Bereiche der formalen, modell-theoretischen Semantik
Alle grundlegenden Konzepte wie Typentheorie und Lambda-Notation werden detailliert und verständlich eingeführt
Im zweifarbigen Layout mit Definitionen, zahlreichen Beispielen und Analyseaufgaben (Lösungen als Online-Material)
In seinem didaktischen Aufbau und seiner Vorgehensweise konkurrenzlos
Mit einem Sachregister auch der englischen Fachbegriffe
Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-476-04869-1
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2019
Erscheinungsdatum27.11.2019
Auflage1. Aufl. 2019
Seiten193 Seiten
SpracheDeutsch
Gewicht331 g
IllustrationenVII, 193 S. 1 Abb.
Artikel-Nr.46760335
Rubriken