Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Computability Logic
CHF 29.10
Auf Lager
SKU
NPGHH7VUBSR
1 Verfügbar 
Geliefert zwischen Mo., 02.03.2026 und Di., 03.03.2026
Details
Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth. In this approach logical formulas represent computational problems and their validity means being "always computable". Computational problems and resources are understood in their most general - interactive sense. They are formalized as games played by a machine against its environment, and computability means existence of a machine that wins the game against any possible behavior by the environment. Defining what such game-playing machines mean, computability logic provides a generalization of the Church-Turing thesis to the interactive level.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130821357
- Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
- Größe H4mm x B220mm x T150mm
- EAN 9786130821357
- Format Fachbuch
- Titel Computability Logic
- Gewicht 126g
- Herausgeber Alphascript Publishing
- Anzahl Seiten 72
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
