Intuitionistic Type Theory, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
Das Buch "Intuitionistic Type Theory" bietet eine umfassende Einführung in ein logisches System, das auf den Prinzipien des m... Mehr erfahren
Produktvarianten
Intuitionistic Type Theory, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
Finde die besten Angebote
Bester Preis19 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Intuitionistic Type Theory" bietet eine umfassende Einführung in ein logisches System, das auf den Prinzipien des mathematischen Konstruktivismus basiert. Ursprünglich von Per Martin-Löf in den 1970er Jahren entwickelt, stellt diese Theorie eine Verbindung zwischen Propositionen und Typen her, wobei jede Proposition mit dem Typ ihrer Beweise identifiziert wird. Diese Identifikation, bekannt als Curry-Howard-Isomorphismus, wird in der Theorie weiter ausgebaut, um abhängige Typen einzuführen, die Werte enthalten. Das Werk behandelt die evolutionären Änderungen und die verschiedenen Varianten der intuitionistischen Typentheorie, einschliesslich extensionaler und intensionaler Ansätze. Es ist ein wertvolles Nachschlagewerk für Studierende und Fachleute in den Bereichen Mathematik und Naturwissenschaften, die sich mit den Grundlagen der logischen Systeme und der Typentheorie auseinandersetzen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Alphascript Publishing