Computability theory an introduction to recursion theory
This textbook is designed to introduce undergraduate mathematics and computer science students to computability theory (recursion theory). It is based on teaching experience, and is designed to be accessible to junior and senior students without a previous background in the subject.
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Burlington, MA :
Elsevier Inc
[2011]
|
| Edición: | 1st edition |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009628082106719 |
| Sumario: | This textbook is designed to introduce undergraduate mathematics and computer science students to computability theory (recursion theory). It is based on teaching experience, and is designed to be accessible to junior and senior students without a previous background in the subject. |
|---|---|
| Notas: | Bibliographic Level Mode of Issuance: Monograph |
| Descripción Física: | 1 online resource (192 p.) |
| Bibliografía: | Includes bibliographical references and index. |
| ISBN: | 9781282955158 9786612955150 9780123849595 |
