Computationale Semantik mit funktionaler Programmierung Jan van Eijck und Christina Unger ist ein englischsprachiges Lehrbuch, das sich auf computationale Semantik und funktionale Programmierung richtet. Dieses Buch ist für Studierende und Fachleute gedacht, die verstehen möchten, wie Bedeutung in natürlicher Sprache mit Hilfe funktionaler Programmierung berechnet werden kann.
Das Buch behandelt den Prozess, wie man meaning berechnen kann, indem man die Bedeutungen einzelner Wörter kombiniert. Es verwendet die Programmiersprache Haskell, um sowohl denotative Bedeutung (woher Bedeutung aus Wahrheitsbedingungen in Situationen entsteht) als auch operationale Bedeutung (wobei Bedeutung als Anweisung für kognitive Handlungen fungiert) zu erklären.
Dieser Text bietet eine fundierte Einführung in die computationale Semantik und zeigt, wie man compute meaning mithilfe funktional-programmierbezogener Konzepte. Mit Blick auf aktuelle Entwicklungen in der Logik ist es für Studierende der Sprachwissenschaft, Logik, Philosophie und funktionalen Programmierung wertvoll, die praktische Anwendungen dieser Fachgebiete entdecken möchten.
Inhaltlich schließt das Buch an Themen wie funktionale Programmierung, Computer/Programmieren sowie professionelle Anwendungen innerhalb des Computing an.