Novedades
- 10/03: Subimos la teórica 15.
- 04/03: Subimos el apunte de la clase de practica de correctitud/completitud.
- 03/03: Publicamos la práctica 7.
- 02/03: Subimos el apunte de la primer clase práctica de lógica de primer orden.
- 02/03: Publicamos la práctica 6.
- 22/02: Subimos las teóricas 12, 13 y 14.
- 24/02: Publicamos la práctica 5.
- 24/02: Subimos el apunte de la segunda clase práctica de lógica proposicional.
- 23/02: Subimos el apunte de la primer clase práctica de lógica proposicional.
- 22/02: Publicamos la práctica 4.
- 22/02: Subimos las teóricas 9, 10 y 11.
- 14/02: Subimos la teórica 8.
- 09/02: Subimos el apunte de la clase práctica 4 de computabilidad.
- 09/02: Publicamos la práctica 3.
- 09/02: Subimos el apunte de la clase práctica 3 de computabilidad.
- 07/02: Subimos las teóricas 5, 6 y 7.
- 04/02: Publicamos la práctica 2.
- 04/02: Subimos el apunte de la clase práctica 2 de computabilidad.
- 03/02: Subimos el apunte de la clase práctica 1 de computabilidad.
- 02/02: Publicamos la práctica 1.
- 18/01: Página nueva para un verano nuevo.
Bienvenidos a LyC verano 2011!
Horario
Las clases son los Martes, Miercoles y Jueves.
- Martes: 17 a 19 teorica, 19 a 22 practica.
- Miercoles: 17 a 19 teorica, 19 a 22 practica.
- Jueves: 17 a 20 practica, 20 a 22 teorica.
Aulas
Aula 2 Pabellon I
Contacto
Para realizar consultas: lyc-doc (arroba) dc.uba.ar
Evaluación
Parciales + final (fechas en la pagina de calendario)
Objetivos
- Introducción a las ideas básicas de la lógica matemática y los problemas de decisión.
- Introducción de los conceptos básicos sobre computación abstracta y sus limitaciones.