Introducción a la Lógica y la Computación 2021
[Aula Virtual -- Moodle] [Apunte de Lógica Proposicional]
Clases grabadas y filminas
Activando subtítulos, se puede ver el chat que se dio en tiempo real. Recordar también que se puede variar la velocidad de reproducción (1.25x es muy conveniente).
Orden y reticulados
- 18 de agosto: primera, segunda y tercera parte. Filminas.
- 20 de agosto: primera, segunda, tercera y cuarta parte. Filminas.
- 25 de agosto: primera, segunda y tercera parte. Filminas (Pizarra).
- 27 de agosto: primera, segunda y tercera parte. Filminas (Pizarra).
- 1 de septiembre: primera y segunda parte. Filminas (con anotaciones).
- 3 de septiembre: primera y segunda parte. Filminas (con anotaciones).
- 8 de septiembre: primera, segunda parte y tercera parte. Filminas (con anotaciones).
Lógica proposicional
- 10 de septiembre: primera y segunda parte. Filminas (con anotaciones).
- 15 de septiembre: primera, segunda parte y tercera parte. Filminas (con anotaciones).
- 17 de septiembre: primera y segunda parte. Filminas (con anotaciones).
- 29 de septiembre: primera y segunda parte. Filminas (con anotaciones).
- 1 de octubre: primera y segunda parte. Filminas (con anotaciones).
- 6 de octubre: primera, segunda parte y tercera parte. Filminas (con anotaciones).
Autómatas y lenguajes
- 13 de octubre: primera y segunda parte. Filminas (con anotaciones).
- 15 de octubre: primera y segunda parte. Filminas (con anotaciones).
- 20 de octubre: primera, segunda parte y tercera parte. Filminas (con anotaciones).
- 29 de octubre: primera y segunda parte. Filminas (con anotaciones).
- 3 de noviembre: primera, segunda parte y tercera parte. Filminas (con anotaciones).
- 5 de noviembre: primera y segunda parte. Filminas (con anotaciones).
- 12 de noviembre: primera y segunda parte. Filminas (con anotaciones).
- 19 de noviembre: Intro a la lógica de primer orden, a cargo de Héctor Gramaglia.
Clases Extra
- 22 de
octubre: consulta de lógica proposicional. Pizarra.
- 0:00:52. P5E8.
- 0:26:42. P5E7(b).
- 0:47:27. P4E6, caso VE.
- 1:05:40. Consulta sobre “caracterización del implica”.
- 1:06:42. Cómo va a ser el parcial.
- 1:10:31. P1E5.
- 1:18:25. P1E4.
- 1:29:46. Corchetes en expresiones regulares.
- 24 de
noviembre: consulta de lenguajes, autómatas y gramáticas. Pizarra.
- 0:01:58. P5 Gramáticas regulares E3.
- 0:30:40. Tipos de ejercicios en el final.
- 0:37:05. Resolver el ejercicio anterior con Kleene.
- 0:39:30. Intento fallido de una solución alternativa.
- 0:49:26. P4 Pumping Lemma E1 (e).
- 0:54:50. P4 Pumping Lemma E1 (a).
- 1:19:06. P5 Gramáticas regulares E1(d)
- 2 de diciembre: consulta para el final del 3/12. Pizarra.
- 17 de diciembre: consulta para el final del 20/12. Pizarra.
