Matemática discreta y lógica / Winfried Karl Grassmann

Público ISBD Título : Matemática discreta y lógica : Una perspectiva desde la ciencia de la computación Tipo de documento: texto impreso Autores: Winfried Karl Grassmann, Autor ; Jean Paul Tremblay, Autor ; José Rafael García Bermejo, Traductor ; Vivian de los Ángeles Fernández Vázquez, Traductor ; María Luisa Díez Platas, Traductor Editorial: Madrid : Prentice Hall Fecha de publicación: 2000 Número de páginas: xxii, 706 p Il.: il. Dimensiones: Rústica ISBN/ISSN/DL: 978-84-89660-04-5 Nota general: Título original: Logic and discrete mathematics Incluye índice EL ISBN DEL LIBRO ES 8489660042 Idioma : Español (spa) Palabras clave: MATEMÁTICAS DISCRETAS, LÓGICA MATEMÁTICA, TEORÍA DE CONJUNTOS, BASES DE DATOS RELACIONALES, LÓGICA SIMBÓLICA, MATEMÁTICAS COMPUTACIONALES, CÁLCULO Clasificación: 511.3 – Principios generales – Lógica matemática Nota de contenido: Contenido: Cálculo proposicional. // Cálculo de predicados. // Inducción y recursividad. // Prolog. // Conjuntos y relaciones. // Funciones. // Grafos y árboles. // Especificación formal de requisitos en Z. // Verificación de programas. // Gramáticas, lenguajes y análisis sintácticos. // Derivaciones. // Una panorámica de los sistemas de bases de datos relacionales Matemática discreta y lógica : Una perspectiva desde la ciencia de la computación [texto impreso] / Winfried Karl Grassmann, Autor ; Jean Paul Tremblay, Autor ; José Rafael García Bermejo, Traductor ; Vivian de los Ángeles Fernández Vázquez, Traductor ; María Luisa Díez Platas, Traductor . - Madrid : Prentice Hall, 2000 . - xxii, 706 p : il. ; Rústica. ISBN : 978-84-89660-04-5 Título original: Logic and discrete mathematics Incluye índice EL ISBN DEL LIBRO ES 8489660042 Idioma : Español (spa) Palabras clave: MATEMÁTICAS DISCRETAS, LÓGICA MATEMÁTICA, TEORÍA DE CONJUNTOS, BASES DE DATOS RELACIONALES, LÓGICA SIMBÓLICA, MATEMÁTICAS COMPUTACIONALES, CÁLCULO Clasificación: 511.3 – Principios generales – Lógica matemática Nota de contenido: Contenido: Cálculo proposicional. // Cálculo de predicados. // Inducción y recursividad. // Prolog. // Conjuntos y relaciones. // Funciones. // Grafos y árboles. // Especificación formal de requisitos en Z. // Verificación de programas. // Gramáticas, lenguajes y análisis sintácticos. // Derivaciones. // Una panorámica de los sistemas de bases de datos relacionales

Reserva

Reservar este documento

Ejemplares (3)

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
04000621	511.3/G769/Ej: 1	Libro	Biblioteca Sede - Neiva	Colección General	Disponible
04000622	511.3/G769/Ej: 2	Libro	Biblioteca Sede - Neiva	Colección General	Disponible
04000623	511.3/G769/Ej: 3	Libro	Biblioteca Sede - Neiva	Colección General	Disponible

---

1 (1 - 1 / 1)