Lógica en la Informática

Cuatrimestre de Primavera 2011

Profesores:

Robert Nieuwenhuis (responsable de la asignatura, Edif. Omega 139)

Pagina de la Guia docente de la FIB

Materiales docentes:

Para el recordatorio de la lógica de primer curso, en el Racó hay unas notas de clase en 6 temas, con ejercicios resueltos, problemas Prolog resueltos, etc.

Problemas de SAT para el laboratorio (en tar.gz) con un ejemplo de programilla en C que los lee:

sat20a sat20b sat20c
sat50a sat50b sat50c
sat75a sat75b sat75c
sat100a sat100b sat100c
sat150a sat150b sat150c
sat250a sat250b sat250c

unsat50a unsat50b unsat50c
unsat75a unsat75b unsat75c
unsat100a unsat100b unsat100c
unsat150a unsat150b unsat150c
unsat250a unsat250b unsat250c