Detalles MARC
| 000 -Líder |
|---|
| Campo de control de longitud fija |
02255aam a2200337 i 4500 |
| 001 - Número de control |
|---|
| Número de control |
000928054 |
| 005 - Fecha y Hora de Actualización |
|---|
| Campo de control |
20251114143944.0 |
| 008 - Longitud Fija |
|---|
| Campo de control de longitud fija |
230908s2019 sp ad fr 000 0 spa d |
| 020 ## - International Standard Book Number |
|---|
| Número Internacional Estándar del Libro |
9788417811495 |
| 020 ## - International Standard Book Number |
|---|
| Número Internacional Estándar del Libro |
8417811494 |
| 040 ## - Fuente de Catalogación |
|---|
| Centro catalogador/agencia de origen |
CO-BoUNC |
| Idiona de catalogación |
Español |
| Norma de descripción |
rda |
| Agencia transcriptora |
CO-BoUNC |
| 100 ## - Autor Personal |
|---|
| Nombre de persona |
Delgado Pin, Jordi |
| Término indicativo de función/relación |
autor |
| 9 (RLIN) |
957 |
| 245 10 - Título Propiamente Dicho |
|---|
| Título |
De Turing a Google : |
| Subtítulo |
computación y programación / |
| Mención de responsabilidad, etc. |
Jordi Delgado Pin. |
| 264 #1 - Pie de Imprenta |
|---|
| Producción, publicación, distribución, fabricación y copyright |
[Barcelona] : |
| Nombre del de productor, editor, distribuidor, fabricante |
Emse Edapp |
| Producción, publicación, distribución, fabricación y copyright |
[Madrid] : |
| Nombre del de productor, editor, distribuidor, fabricante |
Prisanoticias colecciones, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
[2019]. |
| 264 #4 - Pie de Imprenta |
|---|
| Fecha de producción, publicación, distribución, fabricación o copyright |
©2019 |
| 300 ## - Descripción Física |
|---|
| Extensión |
142 páginas : |
| Ilustraciones |
ilustraciones (principalmente a blanco y negro), diagramas ; |
| Dimensiones |
24 cm. |
| 336 ## - Tipo de Contenido |
|---|
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
texto |
| Fuente |
rdacontent |
| 337 ## - Tipo de Mediación |
|---|
| Nombre/término del tipo de medio |
sin mediación |
| Código del tipo de medio |
no mediado |
| Fuente |
rdamedia |
| 338 ## - Tipo de Portador |
|---|
| Nombre/término del tipo de soporte |
volumen |
| Código del tipo de soporte |
volumen |
| Fuente |
rdacarrier |
| 490 1# - Serie |
|---|
| Mención de serie |
Grandes ideas de las matemáticas |
| Designación de volumen o secuencia |
28 |
| 504 ## - Nota de Bibliografía |
|---|
| Nota de bibliografía |
Bibliografía : páginas 141-142 |
| 505 0# - Nota de Contenido |
|---|
| Nota de Bibliografía |
Turing -- De la notación : el lenguaje de programación WHILE -- ¿Se puede computar cualquier cosa? -- Espejito, espejito -- All good things. |
| 520 3# - Nota de Resumen |
|---|
| Resumen, Sumario, etc. |
Hacia 1936, y tras seguir caminos separados e independientes, Alan Turing y Alonso Church dieron luz a una teoría sobre qué se puede computar y qué no. Este volumen es precisamente una introducción a esa teoría, llamada «de la computabilidad». Casi un siglo después de los trabajos de Turing y Church, pero también de las aportaciones de Kurt Gödel y Stephen C. Kleene, entre otros, ciertas construcciones matemáticas utilizadas en la mencionada teoría, inventadas a tenor de las necesidades formales de la época, se pueden sustituir por otras mucho más sencillas, haciendo más asequible, que no menos general ni menos rigurosa, la exposición de los aspectos clave de la misma. Esa ha sido la acertada elección del autor de este libro, que emplea conceptos modernos de programación para explicar los resultados más relevantes de la teoría de la computabilidad.-- Contracubierta |
| Assigning source |
editor |
| 830 #0 - Acceso adicional de Título Uniforme |
|---|
| Título uniforme |
Grandes ideas de las matemáticas |
| Volume/sequential designation |
28 |
| 082 04 - Clasificación Decimal Dewey |
|---|
| Número de clasificación |
511.352 |
| Clave de autor |
D352d |
| 650 17 - Materia General |
|---|
| Topical term or geographic name entry element |
Funciones calculables |
| Fuente del encabezamiento o término |
LEMB |
| 650 17 - Materia General |
|---|
| Topical term or geographic name entry element |
Lenguajes de programación |
| Subdivisión de forma |
Modelos matemáticos |
| Fuente del encabezamiento o término |
LEMB |
| 650 17 - Materia General |
|---|
| Topical term or geographic name entry element |
Decidabilidad (Lógica matemática) |
| Fuente del encabezamiento o término |
LEMB |
| 650 17 - Materia General |
|---|
| Topical term or geographic name entry element |
Lógica simbólica y matemática |
| Fuente del encabezamiento o término |
LEMB |
| 942 ## - Punto de Acceso Adicional Koha |
|---|
| Tipo de ítem Koha |
Libro general |
| Suprimir en OPAC |
No |