MARC details
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
04235nam a22003855i 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
86388 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| campo de control |
ES-MaUEC |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20230207040556.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
cr nn 008mamaa |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
160620s2016 gw | s |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9783642319334 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
ES-MaUEC |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA9.59 |
| Número de documento/Ítem |
S637 2016 |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
004.0151 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Soare, Robert I. |
| 9 (RLIN) |
100077 |
| Número de control del registro de autoridad o número normalizado |
Local |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Turing Computability : |
| Resto del título |
Theory and Applications |
| Mención de responsabilidad, etc. |
by Robert I Soare |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
Berlin, Heidelberg |
| Nombre del editor, distribuidor, etc. |
Springer Berlin Heidelberg |
| Fecha de publicación, distribución, etc. |
2016 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
1 recurso en línea (XXXVI, 263 páginas) |
| Otras características físicas |
4 ilustraciones |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término de tipo de contenido |
Texto |
| Código de tipo de contenido |
txt |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Nombre/término del tipo de medio |
electrónico |
| Código del tipo de medio |
c |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
recurso electrónico |
| Código del tipo de soporte |
cr |
| Fuente |
rdacarrier |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Theory and Applications of Computability, In cooperation with the association Computability in Europe |
| Número Internacional Normalizado para Publicaciones Seriadas |
2190-619X |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Part I Foundations of Computability -- Chap. 1 Defining Computability -- Chap. 2 Computably Enumerable Sets -- Chap. 3 Turing Reducibility -- Chap. 4 The Arithmetical Hierarchy -- Chap. 5 Classifying C.E. Sets -- Chap. 6 Oracle Constructions and Forcing -- Chap. 7 The Finite Injury Method -- Part II Trees and S01 Classes -- Chap. 8 Open and Closed Classes -- Chap. 9 Basis Theorems -- Chap. 10 Peano Arithmetic and S01-Classes -- Chap. 11 Randomness and S01-Classes -- Part III Minimal Degrees -- Chap. 12 Minimal Degrees Below Øʹʹ -- Chap. 13 Minimal Degrees Below Øʹ -- Part IV Games in Computability Theory -- Chap. 14 Banach-Mazur Games -- Chap. 15 Gale-Stewart Games -- Chap. 16 More Lachlan Games -- Part V History of Computability -- Chap. 17 History of Computability -- References -- Index. |
| 520 3# - SUMARIO, ETC. |
|---|
| Sumario, etc. |
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic. The author presents the subject as an art to be practiced, and an art in the aesthetic sense of inherent beauty which all mathematicians recognize in their subject. Part I gives a thorough development of the foundations of computability, from the definition of Turing machines up to finite injury priority arguments. Key topics include relative computability, and computably enumerable sets, those which can be effectively listed but not necessarily effectively decided, such as the theorems of Peano arithmetic. Part II includes the study of computably open and closed sets of reals and basis and nonbasis theorems for effectively closed sets. Part III covers minimal Turing degrees. Part IV is an introduction to games and their use in proving theorems. Finally, Part V offers a short history of computability theory. The author is a leading authority on the topic and he has taught the subject using the book content over decades, honing it according to experience and feedback from students, lecturers, and researchers around the world. Most chapters include exercises, and the material is carefully structured according to importance and difficulty. The book is suitable for advanced undergraduate and graduate students in computer science and mathematics and researchers engaged with computability and mathematical logic. |
| 650 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Ordenadores |
| Número de control del registro de autoridad o número normalizado |
|
| Fuente del encabezamiento o término |
embne |
| 9 (RLIN) |
138111 |
| 650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Agentes inteligentes (Programas de ordenador) |
| Número de control del registro de autoridad o número normalizado |
(OCoLC)1159286 |
| Fuente del encabezamiento o término |
embne |
| Número de control del registro de autoridad o número normalizado |
|
| 9 (RLIN) |
160930 |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA |
|---|
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
SpringerLink (Online service) |
| Número de control del registro de autoridad o número normalizado |
Local |
| 9 (RLIN) |
106996 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme del Recurso |
https://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-642-31933-4 |
| Nota pública |
Acceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
|---|
| Fuente del sistema de clasificación o colocación |
Library of Congress Classification |
| Tipo de ítem Koha |
LIBRO-E NO PRÉSTAMO |
| 988 ## - NOTA LOCAL 598 |
|---|
| Nota local 598 |
EBOOK, asignarmaterias , EBSPRINGER |
| 901 ## - ID MILLENIUM |
|---|
| Id Millenium |
i9783642319334 |
| 907 ## - TRANSACCIONES MILLENIUM |
|---|
| id bib interno millenium |
.b12956661 |
| fecha actualizac reg bib |
10-10-17 |
| fecha creacion reg bib |
21-11-16 |
| 998 ## - FONDO MILLENIUM |
|---|
| Biblioteca |
m |
| -- |
_alco |
| -- |
_vill |
| Fecha creación |
- - |
| Tipo de registro |
m |
| Tipo de materia |
E-book |
| e |
- |
| Idioma |
eng |
| País |
gw |
| h |
0 |
| 945 ## - ITEM MILLENIUM |
|---|
| Signatura |
QA9.59 S637 2016 EB |
| Número de copia |
1 |
| Código de barras |
eBOOK |
| Agencia |
0 |
| Localización del ejemplar (ubicación) |
mae |
| Código 2 (categoría) |
- |
| Precio |
EUR0.00 |
| Mensaje (popup en cliente staff) |
- |
| Mensaje (visible en OPAC) |
- |
| Estado |
b |
| Tipo de ejemplar |
15 |
| Total de préstamos |
0 |
| Total de renovaciones |
0 |
| Préstamos del año en curso |
0 |
| Préstamos del año anterior |
0 |
| Identificador de la copia de ejemplar en Millennium |
.i11598505 |
| Fecha de creación del ejemplar |
06-04-17 |
| 999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA) |
|---|
| -- |
1 |