MARC details
000 -CABECERA |
Campo de control de longitud fija |
02122nam a22004337a 4500 |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
Campo de control |
20230104160829.0 |
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL |
Campo de control de longitud fija |
230103b |||||||| |||| 00| 0 spa d |
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) |
ISBN |
0-13-518705-2 |
040 ## - FUENTE DE CATALOGACIÓN |
Agencia de catalogación original |
ULatina |
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
Número de clasificación Decimal |
629.8 / K287 /1995 |
100 ## - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL |
9 (RLIN) |
28209 |
Nombre de persona |
Kelley, Dean |
245 ## - TÍTULO PROPIAMENTE DICHO |
Título |
Teoría de autómatas lenguajes y formales / |
Mención de responsabilidad, etc. |
Dean Kelley, tradución de María Luisa Díez Platas |
250 ## - MENCIÓN DE EDICIÓN |
Mención de edición |
1a. ed. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) |
Lugar de publicación, distribución, etc. |
España : |
Nombre del editor, distribuidor, etc. |
Prentice- Hall, |
Fecha de publicación, distribución, etc. |
1998. |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
302 p. : |
Otros detalles físicos |
il. ; |
Dimensiones |
24 cm. |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
1. Preliminares Matemáticos. -- |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
. |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
2. Alfabetos y Lenguajes. -- |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
. |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
3. Lenguajes Regulares. -- |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
. |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
4. Lenguajes Independientes del Contexto. -- |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
. |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
5. Máquinas de Turing. -- |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
. |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
6. Máquinas de Turing y Lenguajes. -- |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
. |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
7. Resolubilidad. -- |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
. |
505 ## - NOTA DE CONTENIDO FORMATEADA |
Nota de contenido con formato preestablecido |
8. Introducción a la Complejidad Computacional. -- |
520 ## - RESUMEN, ETC. |
Nota de sumario, etc. |
Esta es una obra imprescindible para todo estudiante de informática. Abarca los temas de lenguajes formales y autómatas, máquinas de Turín y computabilidad a través de la decidibilidad. Su estudio necesita un nivel mínimo de conocimientos matemáticos, aunque se evitan, en lo posible, las demostraciones matemáticas demasiado desarrolladas, sin que por ello los teoremas y definiciones dejen de ser preciso. Todos los razonamientos de este libro tienen la intención de motivar al alumno, más que de ser matemáticamente completos o elegantes. En todo momento, el autor ilustra con ejercicios y problemas, de dificultad diversa, los conceptos que expone a lo largo de la obra. |
526 ## - NOTA DE INFORMACIÓN DE PROGRAMAS DE ESTUDIOS |
Sede |
Sede Central |
Facultad |
Ingeniería |
Carrera |
Licenciatura en Ingeniería de Sistemas Informáticos |
Énfasis |
Sin Enfasis |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
Nombre de materia o nombre geográfico como elemento de entrada |
INGENIERÍA |
9 (RLIN) |
1 |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
Nombre de materia o nombre geográfico como elemento de entrada |
AUTÓMATAS |
9 (RLIN) |
16281 |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
Nombre de materia o nombre geográfico como elemento de entrada |
LENGUAJES FORMALES |
9 (RLIN) |
5051 |
700 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL |
9 (RLIN) |
28210 |
Nombre de persona |
Díez Platas, María Luisa |
Término relacionador |
traductora |
942 ## - ELEMENTOS KOHA |
Fuente de clasificación o esquema de ordenación en estanterías |
|
Koha tipo de item |
Libro - Material General |