Detalles MARC
| 000 -LEADER |
|---|
| campo de control de longitud fija |
02313nam a2200349 a 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20260701202218.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
|---|
| campo de control de longitud fija |
m d |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
cr cnu---uuuuu |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
961104s1997 nyu s 000 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
0387949070 (hardcover : alk. paper) |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9781461273097 |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9781461218449 (Proquest Ebook Central) |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Centro catalogador/agencia de origen |
CO-CtgCURN |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
coctgcurn |
| 082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
511.3 |
| Información de edición |
21 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Kozen, Dexter, |
| Fechas asociadas al nombre |
1951- |
| Término indicativo de función/relación |
autor. |
| 245 10 - MENCIÓN DEL TÍTULO |
|---|
| Título |
Automata and computability |
| Medio |
[electronic resource] / |
| Mención de responsabilidad, etc. |
Dexter C. Kozen. |
| 260 #4 - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Lugar de publicación, distribución, etc. |
New York : : : |
| Nombre del editor, distribuidor, etc. |
Springer,,, |
| Fecha de publicación, distribución, etc. |
1997. |
| 260 #1 - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
|---|
| Fecha de publicación, distribución, etc. |
1997. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
1 recurso en línea (406 páginas) |
| 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 |
computador |
| Código del tipo de medio |
c |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
recurso en línea |
| Código del tipo de soporte |
cr |
| Fuente |
rdacarrier |
| 490 1# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Undergraduate texts in computer science |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
|---|
| Nota de bibliografía, etc. Nota |
Incluye referencias bibliográficas e índice. |
| 588 ## - NOTA DE FUENTE DE LA DESCRIPCIÓN |
|---|
| Nota de fuente de la descripción |
Descripción basada en recurso impreso |
| 520 8# - RESUMEN, ETC. |
|---|
| Sumario, etc. |
Proporcion a los estudiantes universitarios una introducción a los modelos teóricos básicos de computabilidad y desarrollar algunas de las estructuras ricas y variadas del modelo. Los estudiantes que ya tienen algo de experiencia con las matemáticas discretas de primaria encontrarán que este es un primer curso con buen ritmo, y una serie de capítulos complementarios presentan conceptos más avanzados. La primera parte del libro está dedicada a autómatas finitos y sus propiedades. Los autómatas pushdown proporcionan una clase más amplia de modelos y permiten el análisis de lenguajes sin contexto. En los capítulos restantes, se presentan las máquinas de Turing y el libro culmina en discusiones sobre computabilidad efectiva, capacidad de decisión y los teoremas de incompletitud de Gdel. Se proporcionan muchos ejercicios, desde los más fáciles hasta los más desafiantes. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Teoría de máquinas. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Funciones computables. |
| 852 ## - LOCALIZACIÓN |
|---|
| Ubicación |
MHC |
| Sublocalización o colección |
MHC |
| Ubicación en estantería |
CF |
| Parte de clasificación |
511.3 |
| Parte de ítem |
K887 |
| 856 7# - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recurso |
<a href="https://unicurn.sharepoint.com/:b:/s/biblioteca/EdDDm2g9DcNGhrnWEtATtXgBpW_XmtKBb5xl32bOq2n8hA?e=WLiRoh">https://unicurn.sharepoint.com/:b:/s/biblioteca/EdDDm2g9DcNGhrnWEtATtXgBpW_XmtKBb5xl32bOq2n8hA?e=WLiRoh</a> |
| Nota pública |
<img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align=middle"> Vea este libro electrónico |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Tipo de ítem Koha |
Libros electrónicos |
| Parte de clasificación |
511.3 |
| Parte de ítem |
K887 |
| Fuente de la clasificación o esquema de estantería |
Clasificación Decimal Dewey |
