Fundamentos Lógicos de la Programación Curso (05/06)
Organización de la asignatura:
programa y bibliografía básica
Notas de Clase (por el profesor):
portada
índice general
Capítulo 01: Lógica Proposicional
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
Exámenes Anteriores:
final de 2004/05
septiembre de 2004/05
diciembre de 2005/06
final de 2005/06
Evaluación:
Según resultado del examen al final del cuatrimestre y, eventualmente, el de los demás exámenes reglados a los que tenga derecho el alumno.- No se modificará bajo ningún concepto la fecha oficial de examen, ni para el total de los alumnos ni para ninguno de ellos en particular.- No será convocada ninguna prueba especial, salvo las oficialmente previstas.-