LÓGICA COMPUTACIONAL
Por: RAMOS LOVON, WILBER | [Autor].
Colaborador(es): RAMOS LOVON, WILBER.
Editor: AREQUIPA ; UNIVERSIDAD CATOLICA DE SANTA MARIA ; 2013Edición: 1A. ed.Descripción: 108; 29.0.Tema(s): LÓGICA COMPUTACIONALClasificación CDD: 005.131.RAMO.01
Contenidos:
LOS FUNDAMENTOS
. -- UNA PANORÁMICA DE LA PROGRAMACIÓN DECLARATIVA
. -- SISTEMAS FORMALES Y LÓGICA DE PROPOSICIONES
. -- LÓGICAS
. -- LÓGICA DE PREDICADOS
| Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 005.131.RAMO.01 (Navegar estantería) | 1c. | Disponible | 56301 | |
| Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 005.131.RAMO.01 (Navegar estantería) | 1e. | Disponible | 56300 |
Navegando Biblioteca Central Estantes , Código de colección: BIBCE-CSING (Biblioteca Central - 1er piso) Cerrar el navegador de estanterías
| 005.131.KELL.00 TEORÍA DE AUTÓMATAS. LENGUAJES Y FORMALES | 005.131.RAMO.00 SEPARATA: TEORÍA DE LA COMPUTACIÓN | 005.131.RAMO.00 SEPARATA: TEORÍA DE LA COMPUTACIÓN | 005.131.RAMO.01 LÓGICA COMPUTACIONAL | 005.131.RAMO.01 LÓGICA COMPUTACIONAL | 005.133.ABUR.00 APLIQUE PROGRAMACIÓN EN VISUAL C++ | 005.133.ACER.00 C/C ++ EDICIÓN REVISADA Y ACTUALIZADA |
LOS FUNDAMENTOS
. -- UNA PANORÁMICA DE LA PROGRAMACIÓN DECLARATIVA
. -- SISTEMAS FORMALES Y LÓGICA DE PROPOSICIONES
. -- LÓGICAS
. -- LÓGICA DE PREDICADOS
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios para este ejemplar.