Preisvergleich / Suche / Wohnen / Büro / The Parametric Lambda Calculus, Fachbücher von Simona Ronchi Della Rocca, Luca Paolini
Thumbnail - The Parametric Lambda Calculus, Fachbücher von Simona Ronchi Della Rocca, Luca Paolini

The Parametric Lambda Calculus, Fachbücher von Simona Ronchi Della Rocca, Luca Paolini

"The Parametric Lambda Calculus" ist ein Fachbuch, das sich mit den Grundlagen und der Entwicklung des A-Kalküls beschäftigt,... Mehr erfahren

Sammle bis zu 26 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis26 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

53,49 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage
Icon Preiswecker.

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Produktdetails

"The Parametric Lambda Calculus" ist ein Fachbuch, das sich mit den Grundlagen und der Entwicklung des A-Kalküls beschäftigt, das in den 1930er Jahren von Alonzo Church eingeführt wurde. Dieses Buch bietet eine umfassende Analyse der logischen und mathematischen Grundlagen, die durch das A-Kalkül bereitgestellt werden. Es beleuchtet die Rolle des A-Kalküls als erste abstrakte Programmiersprache und seine Verbindung zu modernen Programmiersprachen, insbesondere LISP, das von John McCarthy in den späten 1950er Jahren entwickelt wurde. Die Autoren, Simona Ronchi Della Rocca und Luca Paolini, untersuchen die einfache Syntax und die operationale Semantik des A-Kalküls, die es zu einem grundlegenden Werkzeug für das Studium von Berechnungseigenschaften machen. Das Buch richtet sich an Leser, die ein tieferes Verständnis für die theoretischen Grundlagen der Informatik und der Programmierung erlangen möchten.

Informationen

Lieferzeit:2-4 Werktage
Marke:Springer