Computability in context : computation and logic in the real world /
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, base...
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | Cooper, S. B. (S. Barry), Sorbi, Andrea, 1956- |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
London : Hackensack, NJ :
Imperial College Press ; Distributed by World Scientific,
©2011.
|
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Computability in context : computation and logic in the real world /
Publicado: (2011) -
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020) -
Minimal weak truth table degrees and computably enumerable Turing degrees /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020) -
Computation and automata /
por: Salomaa, Arto
Publicado: (1985) -
Infinity and truth /
Publicado: (2014)