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
>
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)
Comments