Grassmann, Winfried Karl <br/><br/>
Matemática discreta y lógica 
W.K. Grassmann, J.P. Tremblay 
 - Madrid  Prentice Hall  1996 
 - xxii, 706 páginas 
<br/><br/>Cálculo proposicional -- Argumentos y proposiciones lógicas -- Conexiones lógicas -- Proposiciones compuestas -- Tautología y contradicciones -- Equicalencias lógicas y su utilización -- Implicaciones y derivaciones lógicas -- Cálculo de predicados -- Inmterpretación y validez -- Derivaciones -- Equivalencias lógicas -- Lógica de las ecuaciones -- Inducción y recursividad -- -- La inducción en números naturales -- Sumas y contrucciones relacionadas -- Demostración por recursividad -- Aplicaciones de la recursividad -- Aplicaciones de la recursividad a la programación -- Funciones recursivas -- 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 -- Lenguajes y gramáticas -- Análisis sintáctico descendente -- Derivaciones en cálculo proposicional -- Algunos resultados de cálculo de predicados -- Una panorámica de los sistemas de bases de datos relacionales -- Álgebra relacional -- Cálculo relacional -- El lenguaje de consulta estructurado. 
<br/><br/><label>ISBN: </label>8489660042 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matemáticas discretas<br/>Lógica simbólica y matemática<br/>Matemáticas computacionales
<br/><br/><label>Dewey Class. No.: </label>004.0151  / G77