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:

1. Comprender diferentes modelos lógicos, desde un enfoque sintáctico y semántico.
2. Conocer las principales características y limitaciones de la lógica.
3. Expresar sus ideas y razonamientos en forma clara y precisa, fomentando la rigurosidad y formalidad en sus razonamientos y demostraciones.
4. Resolver problemas de programación y verificación utilizando formalismos lógicos.

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