Carrera de Ingeniería en Computación
Laboratorio de Inteligencia Artificial
Cátedra de Lógica y Álgebra Discreta
Se invita a la comunidad académica de la FACET a participar de las clases públicas y abiertas del profesor PhD. Juan Pablo Gruer en las cuales disertará acerca del tema “Métodos de Inducción”.
El temario que desarrollará en torno a los siguientes temas:
- Inducción estructurada
- Introducción a las fórmulas de cálculo de predicados
- Semántica en el cálculo de predicados.
- Validez y satisfacción
- Consecuencia Lógica
Las clases se dictarán los días 25/4, 26/4 y 28/4 en el Aula 1-3-15, Block 1, Piso 3 del Centro Ing. Roberto Herrera (ex Quinta Agronómica), de 8:00 a 10:00 hs.
Curriculum Vitae del profesor PhD. Juan Pablo Gruer.