000			01325nmi a22002534a 4500
003			BOLpUSFA
005			20200918150222.0
008			t es gq d 000 f spa d
041			_aspa
044			_cES
100			_aAlonso Jiménez, José A.
245			_aEjercicios de "lógica informática" (2012-13) _h[recurso electrónico]
260			_aSevilla: _bUniversidad de Sevilla, _c2012.
300			_a100 p.: _bgráfs.
520			_aEl 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			_aMatemática
653			_aEjercicios matemáticos
653			_aTableros semánticos
653			_aEjercicios resueltos
700			_aCordón Franco, Andrés;
700			_aHidalgo Doblado, María J.
856			_uhttp://biblioteca.usfa.edu.bo/cgi-bin/koha/opac-retrieve-file.pl/?id=58ebbd032228ae269bcff035ab3b891d
942			_2ddc _cDOCE _zRA
999			_c4492 _d4492