000 -CABECERA |
campo de control de longitud fija |
02014nam a2200253Ia 4500 |
001 - NÚMERO DE CONTROL |
campo de control |
990 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
campo de control |
SV-SsUGB |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
campo de control |
20201209112705.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
180402s1996||||es |||||||||||||| ||spa|| |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
9682612543 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
UGB |
Centro/agencia transcriptor |
UGB |
041 0# - CÓDIGO DE LENGUA |
Código de lengua del texto/banda sonora o título independiente |
spa |
082 4# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
Número de clasificación |
511.3 |
Número de documento/Ítem |
T746 |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
Nombre de persona |
Tremblay, Jean-Paul |
Término indicativo de función/relación |
Autor |
9 (RLIN) |
14213 |
245 10 - MENCIÓN DE TÍTULO |
Título |
Matemáticas discretas : |
Resto del título |
con aplicación a las ciencias de la computación / |
Mención de responsabilidad, etc. |
Jean-Paul Tremblay, Ram Manohar |
250 ## - MENCIÓN DE EDICIÓN |
Mención de edición |
1a. ed. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
Lugar de publicación, distribución, etc. |
México, D.F. |
Nombre del editor, distribuidor, etc. |
Compañía Editorial Contimental |
Fecha de publicación, distribución, etc. |
1996 |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
597 p. |
500 ## - NOTA GENERAL |
Nota general |
Título original: Discrete mathematical structurees with applications to computer science. Incluye Bibliografías e Indice |
520 ## - SUMARIO, ETC. |
Sumario, etc. |
LOGICA MATEMATICA. Enunciados y notación; Conectivas; Formas normales. LA TEORÍA DE LA INFERENCIA PARA EL CÁLCULO DE ENUNCIADOS. El cálculo de predicados; Teorías de la inferencia del cálculo de predicados; Teoría de conjuntos. CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. Representación de estructuras discretas; Relaciones y orden; Funciones; Números naturales. RECURSIÓN. Recursión en la prueba mecánica de teoremas; Estructuras algebraicas; Sistemas algebraicos: ejemplos y propiedades generales. SEMIGRUPOS Y MONOIDES. Gramáticas y lenguajes; Expresiones en notación polaca y su compilación; Grupos. LA APLICACIÓN DE LA ARITMÉTICA DE RESIDUOS A LAS COMPUTADORAS. Código de grupo; Retícula y algebra booleana; Retículas como conjuntos parcialmente ordenados. ALGEBRA BOOLEANA. Funciones booleanas. Representación y minimización de funciones booleanas; Máquinas de estado finito. TEORÍA DE GRAFICAS. Conceptos básicos de la teoría de gráficas; Representación y manipulación de las gráficas en la memoria; Gramáticas de precedencia simple. DETECCIÓN DE FALLAS EN CIRCUITOS COMBÍNALES DE CONMUTACIÓN. Introducción a la teoría de computabilidad; Aceptadores de estado finito y gramática regulares; Las máquinas de Turing y las funciones parcialmente recursivas. |
542 1# - NOTA DE INFORMACIÓN RELACIONADA CON EL ESTADO DEL COPYRIGHT |
Creador personal |
Tremblay, Jean-Paul |
Fecha de copyright |
1996 |
Fecha de publicación |
1996 |
650 4# - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
MATEMATICAS APLICADAS |
9 (RLIN) |
14214 |
|
Término de materia o nombre geográfico como elemento de entrada |
MATEMATICAS |
Subdivisión general |
COMPUTACION |
9 (RLIN) |
14215 |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
Nombre de persona |
Manohar, Ram |
9 (RLIN) |
14216 |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
Tipo de ítem Koha |
Libros |
Fuente del sistema de clasificación o colocación |
|