Matemática Discreta y Lógica: Una perspectiva desde la Ciencia de la Computación
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 978-84-89660-04-5
- 519.2 - Probabilidades
Contenidos:
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.
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
![]() |
Facultad Ingeniería Industrial / Ing. Alfredo Hincapie Segura | Libros | 519.2 GRAm (Navegar estantería(Abre debajo)) | Disponible | mtaibot | BINGI1970 |
Navegando Facultad Ingeniería Industrial / Ing. Alfredo Hincapie Segura estanterías, Colección: Libros Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Bibliografía.-- Soluciones a los problemas pares.-- Índice analítico
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.
1997
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.