Introducción a la Lógica y la Computación 2020
[Apunte de Lógica
Proposicional] [Apunte -- versión para imprimir]
[en PS]
[Aula Virtual -- Moodle] [Teóricos en Meet] [Vieja wiki (2018)]
[Prácticos en Meet (Mariana)] [Prácticos en Meet (Héctor)]
Clases grabadas y filminas
[Playlist de todas las clases]
Orden y reticulados
[Playlist de reticulados]- 26 de agosto: primera parte y segunda parte. Filminas.
- 28 de agosto: primera parte y segunda parte. Filminas.
- 2 de septiembre: primera parte y segunda parte. Filminas.
- 4 de septiembre: primera parte y segunda parte. Filminas.
- 9 de septiembre: primera parte y segunda parte. Filminas.
- 16 de septiembre: primera parte y segunda parte. Filminas.
- 18 de septiembre: primera parte y segunda parte. Filminas.
Lógica proposicional
[Playlist de lógica]- 2 de octubre: primera parte y segunda parte. Filminas.
- 7 de octubre: primera parte y segunda parte. Filminas.
- 9 de octubre: primera, segunda y tercera parte. Filminas.
- 16 de octubre: primera parte y segunda parte. Filminas.
- 21 de octubre: primera parte y segunda parte. Filminas.
- 28 de octubre: primera parte y segunda parte. Filminas.
Autómatas y lenguajes
[Playlist de autómatas]- 30 de octubre: primera parte y segunda parte. Filminas.
- 4 de noviembre: primera parte y segunda parte. Filminas.
- 6 de noviembre: única parte. Filminas.
- 11 de noviembre: única parte. Filminas.
-
13 de noviembre: primera
parte y segunda
parte. Filminas.
Ejemplo de lenguaje no regular inmune al Pumping Lemma. - 18 de noviembre: primera parte y segunda parte. Filminas.
- 20 de noviembre: primera parte y segunda parte. Filminas.
Clases Extra
-
25 de noviembre: Resolución ejercicios entregables de
Lógica Proposicional:
Ejercicio 1
y Ejercicio
2.
Ejemplo de aplicación del algoritmo de Kleene. - 27 de noviembre: Resolución ejercicios entregables de Reticulados: Ejercicio 1 y Ejercicio 2.
- 4 de diciembre: Resolución ejercicios entregables de Lenguajes y Autómatas: Ejercicio 1, Ejercicio 2 y recuperatorio.
