Tabla de Contenidos
[  inicio ] [  asignaturas ] [  candil ] [  enlaces ] [  foto del mes ] [  tablón de anuncios ] [  texto del mes ] [  tutorías ]

Lógica Informática

Organización de la Asignatura
guía docente programa y bibliografía básica criterios de evaluación
Notas de clase (por el profesor)
portada índice Capítulo 01: Lógica Proposicional (segunda edición) Capítulo 02: Lenguajes de Primer Orden Capítulo 03: Resolución
Capítulo 04: Estrategias Índice de Materias Apéndice 01: Alfabeto Griego Bibliografía específica prontuario log. proposicional y de primer orden clásicas
Problemas
Relación 01 Relación 02 Relación 03 Relación 04
Exámenes
(01/07/05) (13/09/05) (16/12/05) (13/06/06) (19/06/07)
(03/09/07) (30/06/09) (15/09/09) (21/06/10) (08/09/10)
 
Tabla de Contenidos
[  inicio ] [  asignaturas ] [  candil ] [  enlaces ] [  foto del mes ] [  tablón de anuncios ] [  texto del mes ] [  tutorías ]