Matemática discreta y lógica /

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. Grámaticas, lenguajes y análisis sintácticos -- 1...

Descripción completa

Detalles Bibliográficos
Autores principales: Grassmann, Winfried Karl, Tremblay, Jean-Paul
Formato: Otro (Other)
Idioma:Español (Spanish)
Publicado: Madrid : Prentice Hall, 1998
Materias:
Acceso en línea:https://biblioteca.usat.edu.pe/cgi-bin/koha/opac-detail.pl?biblionumber=2817