Computability Logic, Fachbücher
"Computability Logic" ist ein Fachbuch, das von Alphascript Publishing herausgegeben wurde und sich mit einem innovativen For... Mehr erfahren
Finde die besten Angebote
Bester Preis14 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"Computability Logic" ist ein Fachbuch, das von Alphascript Publishing herausgegeben wurde und sich mit einem innovativen Forschungsprogramm beschäftigt, das von Giorgi Japaridze im Jahr 2003 eingeführt wurde. Dieses Buch bietet eine umfassende Analyse und Erklärung der Computability Logic, die als mathematischer Rahmen dient, um Logik als systematische formale Theorie der Berechenbarkeit neu zu entwickeln. Im Gegensatz zur klassischen Logik, die sich auf die Wahrheit konzentriert, betrachtet die Computability Logic logische Formeln als Repräsentationen von Berechnungsproblemen. Die Validität dieser Formeln bedeutet, dass sie „immer berechenbar“ sind. Das Buch behandelt die formale Darstellung von Berechnungsproblemen und Ressourcen in einem interaktiven Kontext, wobei diese als Spiele zwischen einer Maschine und ihrer Umgebung formalisiert werden. Die Konzepte, die in diesem Buch behandelt werden, erweitern die Church-Turing-These auf ein interaktives Niveau und bieten somit einen tiefen Einblick in die Grundlagen der Berechenbarkeit.
Informationen
Lieferzeit:2-4 Werktage
Marke:Alphascript Publishing