Typed Lambda Calculus, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Typed Lambda Calculus" bietet eine umfassende Einführung in die Konzepte des typisierten Lambda-Kalküls, einem wich... Mehr erfahren
Produktvarianten
Typed Lambda Calculus, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis22 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Typed Lambda Calculus" bietet eine umfassende Einführung in die Konzepte des typisierten Lambda-Kalküls, einem wichtigen formalen System in der Mathematik und Informatik. Es behandelt die Verwendung des Lambda-Symbols zur Darstellung anonymer Funktionsabstraktionen und erklärt, wie Typen als syntaktische Objekte den Lambda-Terms zugeordnet werden. Das Werk beleuchtet die Unterschiede zwischen typisierten und untypisierten Lambda-Kalkülen und diskutiert deren jeweilige Bedeutung und Anwendung. Die Inhalte basieren auf hochwertigen Informationen, die aus Wikipedia-Artikeln zusammengestellt wurden, und bieten somit eine fundierte Grundlage für Studierende und Fachleute, die sich mit den theoretischen Aspekten der Programmierung und der formalen Logik auseinandersetzen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing