Vista normal Vista MARC Vista ISBD

Grassmann, W.K

Matemática discreta y lógica Matemática discreta y lógica una perspectiva des la ciencia de la computación = Lógic and Discrete Mathematics / W.K. Grassmann, Tremblay J.P. ; traducción Rafael García-Bermejo ; coordinación y revisión técnica Luis Joyanes Aguilar . -- 1a edición . -- Madrid : Prentice Hall, 1998 ((1a reimpresión 2000)). . -- xxii, 706 páginas : ilustraciones, tablas, gráficas ; 25 cm

Nota de bibliografía : Incluye bibliografía e índice.

Nota de contenido : 1. Cálculo proposicional. -- 2. Cálculo de predicados. -- 3. Inducción y recursividad. -- 4. Prolog. -- 5. Conjuntos y relaciones. -- 6. Funciones. -- 7. Grafos y árboles. -- 8. Especificación formal de requisitos en Z. -- 9. Verificación de programas. -- 10. Gramáticas, lenguajes y análisis sintácticos. -- 11. Derivaciones. -- 12. Una panorámica de los sistemas de bases de datos relacionales.
.

Título original : Lógic and discrete mathematics. (ISBN: )

ISBN: 8489660042

MATERIAS (Temático):
Funciones--Matemáticas--Problemas, ejercicios, etc.
Lógica matemática--Problemas, ejercicios, etc.
Matemáticas--Problemas, ejercicios, etc.
Teoría de los números--Problemas, ejercicios, etc.

AUTOR (es) PERSONAL: Tremblay J.P. ; García-Bermejo, Rafael ; traductor Joyanes Aguilar, Luis ‎ ; revisor

Clasificación Dewey. No.: 511.1 / G717m

EXISTENCIAS:
Libro Colección General / Ej.1 / L020200 / Campus Armenia / 511.1 G717m
Libro Colección General / Ej.2 / L023879 / Campus Armenia / 511.1 G717m
Libro Colección General / Ej.2 / 0000000070274 / Ingeniería Bogotá / 511.332 G717m
Libro Colección General / Ej.1 / 0000000070275 / Ingeniería Bogotá / 511.1 G717m