Profesor: Dante Zanarini (dante [at] fceia.unr.edu.ar)
La asignatura se ubica en el 2º cuatrimestre de 2º año de la carrera de Lic. en Cs. de la Computación. La lógica es una disciplina básica de las ciencias de la computación, por lo que su inclusión como actividad curricular es fundamental. En el curso se presentan diferentes formalismos lógicos, sus principales propiedades y limitaciones. Asimismo, se presentan aplicaciones a problemas de especificación y verificación.
Objetivos:
Otros docentes:
- Verdes, Pablo
- Bianchi, Gabina
- Gurmendi, Hernan
- Pividori, Marcos
El contenido principal de la materia se encuentra disponible en el campus virtual.
La contraseña es: LogicaLCC