New computational paradigms : changing conceptions of what is computable

New computational paradigms changing conceptions of what is computable

Detalles Bibliográficos
Otros Autores: Cooper, S. Barry (-), Löwe, Benedikt, Sorbi, Andrea, 1956-
Formato: Libro
Idioma:Inglés
Publicado: New York : Springer cop. 2008
Materias:
Funciones computables > Estudios, ensayos, etc.
Lógica matemática > Estudios, ensayos, etc.
Ordenadores > Estudios, ensayos, etc.
Ver en Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991004016529708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
Tabla de Contenidos:
  • Preface.- Introduction.- Alan Turing's Legacy, and New Computational Paradigms.- Section I. The Turing Model of Computation and its Applications to Logic, Mathematics, Philosophy and Computer Science.- Section II. Logic, Algorithms, and Complexity.- Section III. Models of Computation from Nature.- Section IV. Computable Analysis and Real Computation.- Author Index.

Ejemplares similares