Diferencia entre revisiones de «SLC2018: Seminario de Lógica Computacional (2018)»
De Seminario de Lógica Computacional (2018)
(Página creada con «== Material para el seminario == * Temas: Teorías de los temas (incluyendo los ejercicios). * Documentación: Lecturas recomendadas. * Sistemas: Sistemas utili…») |
(Sin diferencias)
|
Revisión actual del 12:54 15 jul 2018
Material para el seminario
- Temas: Teorías de los temas (incluyendo los ejercicios).
- Documentación: Lecturas recomendadas.
- Sistemas: Sistemas utilizados.
- Diario: Descripción diaria de las sesiones.