Type Inhabitation, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Type Inhabitation" von Betascript Publishing bietet eine umfassende Einführung in die Typentheorie, ein bedeutendes... Mehr erfahren
Produktvarianten
Type Inhabitation, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis17 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Type Inhabitation" von Betascript Publishing bietet eine umfassende Einführung in die Typentheorie, ein bedeutendes Gebiet der mathematischen Logik. Es behandelt die Konzepte der Typen und deren Bewohner in verschiedenen typisierten Kalkülen, insbesondere im einfach typisierten Lambda-Kalkül und System F. Die Autoren, Lambert M. Surhone, Miriam T. Timpledon und Susan F. Marseken, erläutern die Herausforderungen des Typenbewohnungsproblems, das in vielen typisierten Kalkülen als sehr komplex gilt. Die theoretischen Grundlagen werden durch prägnante Erklärungen und Beispiele unterstützt, die es den Leserinnen und Lesern ermöglichen, ein tieferes Verständnis für die Materie zu entwickeln. Dieses Fachbuch richtet sich an Studierende und Fachleute, die sich mit den Grundlagen und den fortgeschrittenen Aspekten der Typentheorie auseinandersetzen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing