CC30B: Fundamentos de la Ciencia de la Computación

Use el simulador de MT disponible para verificar que dada una fórmula Booleana en forma normal conjuntiva y una asignación de valores a las variables, la fórmula se satisface. Diseñe la entrada (fórmula y asignación de valores) y pruebe su solución con al menos tres ejemplos. Envíe el archivo que describe la MT y las entradas y salidas de sus ejemplos en un archivo tar a rbaeza@dcc.uchile.cl.
Plazo: 5 de Diciembre.

Programa del curso (también versión Postscript).
Reglas del juego.
Libro en español (postscript gzipeado).
Simulador de MT. Lo compilan y lo ejecutan dandole un nombre de archivo como parametro (ese archivo describe la MT).
Guías de ejercicios
Guía 1 Guía 2 Guía 3 Guía 4 Guía 5 Guía 6 Guía 7 Guía 8
Notas
Página oficial de notas
Pautas:
Control 1 y Control 2

Se eliminarán DOS ejercicios

Clases de cátedra: 3, 4 y 5 de Agosto.
No hay clases: 10 de Agosto.
Fundamentos matemáticos: 12 y 17 de Agosto.
Clases auxiliares: 11 y 18 de Agosto.
Ejercicio 1 (Guía 1): 18 de Agosto.
Clases de cátedra: 19, 24 y 26 de Agosto.
Clases auxiliares: 25 y 31 de Agosto, 1 y 2 de Septiembre.
Ejercicio 2 (Guía 2): 1 de Septiembre.
Clases de cátedra: 7 y 8 de Septiembre.
Control 1: 9 de Septiembre, entra hasta la clase del 7 de Septiembre.
Clases de cátedra: 14, 15 y 16 de Septiembre.
No hay clases: 21 de Septiembre.
Clases auxiliares: 22 y 23 de Septiembre.
Ejercicio 3 (Guía 3): 22 de Septiembre.
Semana olímpica (27 de Sept. al 1 de Oct.)
Octubre: clases de cátedra la primera semana, luego las auxiliares normales hasta principios de Noviembre.
Ejercicio 4 (Guía 4): 20 de Octubre.
Control 2: 27 de Octubre.
Ejercicio 5 (Guía 5): 3 de Noviembre.
Clases auxiliares: 10 y 11 de Noviembre.
Ejercicio 6 (Máquinas de Turing): 11 de Noviembre.
Clases de cátedra: 16, 17 y 18 de Noviembre.
Ejercicio 7 (Guía 7): 17 de Noviembre.