Biblioteca Miguel Henríquez Castañeda

Automata and computability (Record no. 25838)

000 -CABECERA
Longitud fija campo de control 02265nam a2200337 a 4500
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
Fecha y hora de la última transacción 20200630174024.0
006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA - CARACTERÍSTICAS DEL MATERIAL ADICIONAL
Códigos de información de longitud fija - Características del material adicional m d
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA
Campo fijo de descripción física cr cnu---uuuuu
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA
Códigos de información de longitud fija 961104s1997 nyu s 000 0 eng d
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
Número Internacional Normalizado para Libros (ISBN) 0387949070 (hardcover : alk. paper)
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
Número Internacional Normalizado para Libros (ISBN) 9781461273097
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
Número Internacional Normalizado para Libros (ISBN) 9781461218449 (Proquest Ebook Central)
082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación Decimal 511.3
Número de edición DEWEY 21
100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA
Nombre de persona Kozen, Dexter,
Fechas asociadas al nombre 1951-
Término indicativo de función autor.
245 10 - TÍTULO PROPIAMENTE DICHO
Título Automata and computability
Medio [electronic resource] /
Mención de responsabilidad, etc. Dexter C. Kozen.
264 #4 - PRODUCCIÓN, PUBLICACIÓN , DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Lugar de producción, publicación, distribución, fabricación New York : :
Nombre del productor, editor, distribuidor, fabricante Springer,,
Fecha de de producción, publicación, distribución, fabricación o copyright 1997
264 #1 - PRODUCCIÓN, PUBLICACIÓN , DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Fecha de de producción, publicación, distribución, fabricación o copyright 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 del tipo de medio computador
Código del tipo de medio c
Fuente rdamedia
338 ## - TIPO DE SOPORTE
Nombre 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. 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# - NOTA DE SUMARIO
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 inicial 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 inicial Funciones computables.
852 ## - LOCALIZACIÓN
Localización CTG
Sublocalización o colección CTG
Ubicación en estantería CF
Parte de la signatura que corresponde a la clasificación 511.3
Parte de la signatura que identifica al ejemplar K887
856 7# - LOCALIZACIÓN Y ACCESO ELECTRÓNICO
Identificador Uniforme del Recurso (URI) https://unicurn.sharepoint.com/:b:/s/biblioteca/EdDDm2g9DcNGhrnWEtATtXgBpW_XmtKBb5xl32bOq2n8hA?e=WLiRoh
Nota pública Go button Vea este libro electrónico
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA)
Código institución [OBSOLETE] CF
Parte de clasificación 511.3
Parte de item K887
Fuente de clasificaión o esquema
Holdings
Disponibilidad Mostrar en OPAC Fuente de clasificación o esquema Tipo de Descarte No para préstamo Localización permanente Localización en Estanterias Fecha adquisición Signatura completa Fecha última consulta Fecha de Descarte Propiedades de Préstamo KOHA Localización actual Colección
          Cartagena   2020-06-30 511.3 K887 2020-06-30 2020-06-30 Libros electrónicos Cartagena  

Corporación Universitaria Rafael Núñez | Institución Universitaria | Vigilada Mineducación
Reconocimiento personería jurídica: Resolución 6644 del 5 de junio de 1985 Mineducación.
Institución de Educación Superior sujeta a inspección y vigilancia por parte del Ministerio de Educación Nacional.

Circulación y Préstamo:

Lunes a Viernes: de 7:00 a.m. a 8:00 p.m (jornada continua)
Sábados: de 8:00 a.m. a 2:00 p.m.
Cartagena: 6517088
Barranquilla: 3602197.
Dirección: Cra. 7 #3534, Cartagena, Bolívar.

Powered by Koha