Buscar en este sitio
Navegación
Novedades 2018
Apuntes
Docentes
Fechas y notas
Notas exámenes
Horarios
Programa de la materia
Material Año anterior
Herramientas
Examen Final
Filminas
Trabajos Prácticos
Novedades 2018
Suscribirse a las entradas
Clase del 24 de abril
publicado a la(s)
23 abr. 2018 18:57
por Ciencias de la Computación II
Filminas
Trabajo Práctico Nº3 - Lógica de Predicados de Primer Orden (Primera Parte)
Clases del 9 y 10 de abril
publicado a la(s)
6 abr. 2018 8:14
por Ciencias de la Computación II
[ actualizado el
6 abr. 2018 8:20
]
Filminas
Trabajo Práctico Nº2 - Lógica Proposicional
En la clase del lunes 9 vamos a usar la herramienta
yaT3
para trabajar con árboles de refutación (los que tengan notebook y puedan, por favor tráiganla)
Inicio de clases
publicado a la(s)
23 mar. 2018 7:20
por Ciencias de la Computación II
Lunes 26 de marzo - 11 a 14 hs - Aula 1 - Pabellón Facultad Cs. Exactas
1-3 of 3