Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD, Band 1)
Kurzinformation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Foundations of Combinatory Logic" von Haskell Curry ist ein grundlegendes Werk, das sich mit der kombinatorischen Logik befasst, einem wichtigen Teilbereich der mathematischen Logik. Das Buch untersucht die Prinzipien und Strukturen, die es ermöglichen, logische Ausdrücke ohne Variablen darzustellen. Diese Methode vereinfacht die Analyse und Manipulation logischer Aussagen und hat weitreichende Anwendungen in der Informatik, insbesondere in der Theorie der Programmiersprachen und funktionalen Programmierung. Curry führt den Leser durch die Entwicklung der kombinatorischen Logik, beginnend mit ihren theoretischen Grundlagen bis hin zu komplexeren Konzepten. Er beleuchtet wichtige Themen wie Kombinatoren, Reduktionsprozesse und die Beziehungen zur Lambda-Kalkül. Das Werk ist bekannt für seine präzise Darstellung und seinen Einfluss auf spätere Forschungen in der Logik und Informatik. Für Studenten und Forscher bietet dieses Buch eine wertvolle Ressource zum Verständnis eines fundamentalen Bereichs der theoretischen Informatik und Mathematik.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover
- 212 Seiten
- Erschienen 1985
- Vieweg+Teubner Verlag
- perfect
- 382 Seiten
- Erschienen 1976
- Meiner, F
- Hardcover -
- Erschienen 2012
- W3L GmbH