Ejercicios de "lógica informática" (2012-13) (Registro nro. 4492)
[ vista simple ]
| 000 -CABECERA (24) | |
|---|---|
| Campo de control interno | 01325nmi a22002534a 4500 |
| 003 - IDENTIFICADOR DE CONTROL | |
| Campo control | BOLpUSFA |
| 005 - FECHA Y HORA DE CATALOGACION | |
| Campo de control | 20200918150222.0 |
| 008 - ELEMENTOS DE LONGITUD FIJA - INFORMACIÓN GENERAL | |
| Campo de control de longitud fija | t es gq d 000 f spa d |
| 041 ## - Código de idioma (R) | |
| Código de lengua del texto/banda sonora o título independiente (R) | spa |
| 044 ## - Código de país de la publicación | |
| Codigo ISO de pais | ES |
| 100 ## - Autor Personal | |
| Autor Personal | Alonso Jiménez, José A. |
| 245 ## - Titulo | |
| Titulo | Ejercicios de "lógica informática" (2012-13) |
| Medio | [recurso electrónico] |
| 260 ## - Editorial | |
| Ciudad | Sevilla: |
| Nombre de la Editorial | Universidad de Sevilla, |
| Fecha | 2012. |
| 300 ## - Descripcion | |
| Extension | 100 p.: |
| Otros detalles fisicos | gráfs. |
| 520 ## - Resumen | |
| Resumen | El presente libro contiene la siguiente información: 1. Sintaxis y semántica de la lógica proporcional. 2. Deducción natural proporcional. 3. Tableros semánticos. 4. Formales normales. 5. Resolución proposicional. 6. Algoritmos para SAT. aplicaciones. 7. Sintaxis y semántica de la lógica de primer orden. 8. Deducción natural de primer orden. 9. Tableros semánticos. 10. Formas normales. cláusulas. 11. Modelos de Herbrand. 12. Cláusulas. Modelos de Herbrand. Resolución. |
| 650 ## - Temas - Descriptores | |
| Temas - Descriptores | Matemática |
| 653 ## - Palabras Claves | |
| Palabras Claves | Ejercicios matemáticos |
| 653 ## - Palabras Claves | |
| Palabras Claves | Tableros semánticos |
| 653 ## - Palabras Claves | |
| Palabras Claves | Ejercicios resueltos |
| 700 ## - Autor Personal | |
| Autor Personal | Cordón Franco, Andrés; |
| 700 ## - Autor Personal | |
| Autor Personal | Hidalgo Doblado, María J. |
| 856 ## - URL - Ubicacion | |
| URI/URL | <a href="http://biblioteca.usfa.edu.bo/cgi-bin/koha/opac-retrieve-file.pl/?id=58ebbd032228ae269bcff035ab3b891d">http://biblioteca.usfa.edu.bo/cgi-bin/koha/opac-retrieve-file.pl/?id=58ebbd032228ae269bcff035ab3b891d</a> |
| 942 ## - ELEMENTOS DE KOHA | |
| Esquema de Clasificaci | |
| Tipo de Documento | Documentos Electrónicos |
| Catalogador | RA |
No hay ítems disponibles.