Buscar en este sitio
Novedades
[Sin título]
Apuntes
Docentes
Fechas y notas
Notas exámenes
Herramienta Clprover
Horarios
Programa de la materia
Material Año anterior
Teorías
Trabajos Prácticos
Novedades
Suscribirse a las entradas
Viernes 18 y lunes 21 de mayo
publicado a la(s)
17/05/2012 06:48
por Ciencias de la Computación II
Filminas para clase teórica
Trabajo Práctico Nº6
- Árboles de Refutación - Resolución
Viernes 27 de abril y 11 de mayo
publicado a la(s)
26/04/2012 07:42
por Ciencias de la Computación II
Filminas para clase teórica
(para clases del 27 de abril y 11 de mayo)
Trabajo Práctico Nº5 - Modelos de Herbrand
- Para clases del 27 de abril, 7 y 11 de mayo
Viernes 20 de abril
publicado a la(s)
19/04/2012 06:27
por Ciencias de la Computación II
[ actualizado el
19/04/2012 06:37
]
Filminas para clase teórica
Trabajo Práctico Nº4 - Lógica de Predicados de Primer Orden
(Segunda Parte) - Para clases del 20 y 23 de abril
Viernes 13 de abril
publicado a la(s)
11/04/2012 07:31
por Ciencias de la Computación II
Filminas para clase teórica
Trabajo Práctico Nº4 - Lógica de Predicados de Primer Orden
(Primera Parte) - Para clases del 13 y 16 de abril
Viernes 30 de marzo
publicado a la(s)
29/03/2012 05:53
por Ciencias de la Computación II
Filminas para clase teórica
Trabajo Práctico Nº3 - Resolución Proposicional
(la comisión del lunes trabajará en este práctico el lunes 9 de abril)
Viernes 23 y Lunes 26 de marzo
publicado a la(s)
22/03/2012 04:59
por Ciencias de la Computación II
Filminas para clase teórica
Trabajo Práctico Nº2 - Lógica Proposicional
Viernes 23 de marzo
publicado a la(s)
16/03/2012 09:47
por Ciencias de la Computación II
Primera clase teórica
: 12 hs. - Aulas Comunes I, aula 1.
Lunes 19 de marzo
publicado a la(s)
16/03/2012 09:45
por Ciencias de la Computación II
Primera clase práctica para todas las comisiones
: Repaso Lógica Proposicional.
12 hs. - Aulas Comunes I, aula 1.
1-8 of 8