Computability Logic, Fachbücher
29,00 €
"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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
