Imagen de cubierta local
Lógica informática / José Cuena.
Series Alianza-informáticaDetalles de publicación: Madrid : Alianza Editorial, c1985.Descripción: iv, 552 paginas. : fig. ; 23 cmISBN:- 8420686018
- 511.3 C96l
Contenidos:
Cálculo de predicados ; sistemas axiomáticos en lógica de primer orden ; lógica modal ; lógica de programas ; bases teóricas de las técnicas de demostración
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|---|
Libro - Material General
|
Biblioteca Juan Nepomuceno Mojica Angarita | Colección General | 511.3 C96l (Navegar estantería(Abre debajo)) | 1 | Disponible | Matemáticas | 017318 |
Navegando Biblioteca Juan Nepomuceno Mojica Angarita estanterías, Colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 511.22 G17p Problemas resueltos de matemática discreta / | 511.22 H27m Matemáticas financieras : | 511.22 S81m Matemáticas para las finanzas | 511.3 C96l Lógica informática / | 511.3 G15l Lógica matemática / | 511.3 K25t Teoría de autómatas y lenguajes formales | 511.3 N34l Lógica elemental / |
Cálculo de predicados ; sistemas axiomáticos en lógica de primer orden ; lógica modal ; lógica de programas ; bases teóricas de las técnicas de demostración
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.