Typed Lambda Calculus, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
45,00 €
Variante
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
