Ciencias de la Computación (plan 2013) 2024-2

Cuarto Semestre, Lógica Computacional

Bienvenidos al curso,

El curso es presencial y cubrirá puntos esenciales del temario oficial.

En el primer día de clases comentamos el temario, la metodología, y la evaluación del curso.

La metodología del curso opera con los siguientes puntos en forma cíclica:
1. Después de atender dudas, el profesor expone en clase los temas con una explicación crítica y ejemplos.
La exposición de temas se hace reconstruyendo los conceptos, y procurando la participación del grupo.
La notación (definiciones, teoremas, etc) es propia del curso, y se dan referencias a libros de texto.

2. El alumno revisa posibles dudas, estudia, y reconstruye los temas y ejemplos vistos en clase.

3. El alumno resuelve, con supervisión (individualmente y en equipo) ejercicios sobre temas vistos en clase.
Los ejercicios supervisados son base de las Tareas del curso.

4. El alumno revisa posibles dudas, y reconstruye los ejercicios resueltos con supervisión.
El alumno plantea sus dudas y preguntas al profesor.

5. El profesor atiende dudas sobre temas anteriores, y expone nuevos temas (como en el punto 1)

6. El alumno revisa las dudas atendidas, y vuelve a revisar los temas y ejemplos vistos en clase.

7. Fin del ciclo.

La notación de la materia es propia del curso con referencias a la bibliografía del curso.
Es importante que el alumno se mantenga al tanto de los temas vistos en clase,
Es importante que el alumno consulte las referencias bibliográficas para afianzar lo visto en clase.

La evaluación considera tres evaluaciones parciales con porcentajes crecientes:
Calificación= Parcial_1*.20 + Parcial_2*.30 + Parcial_3*.50
Parcial_i = Tareas_i*.30 + Examen_i*.70
Tareas_i = Promedio de Tareas del parcial i
Examen_i = Examen del parcial i
En algunas ocasiones, la participación en clase se motiva puntos adicionales para tareas o exámenes.

Es obligatorio presentar el exámen final para obtener calificación en el curso.
Las preguntas de los exámenes, y tareas, son sobre temas vistos en clase antes de la fecha del examen.
Los exámenes son presenciales con tiempo límite marcado por el horario/día en que se aplica.
Las fechas de los exámenes se fijarán durante el curso, y utilizando las fechas oficiales de exámenes ordinarios.
La asistencia a clases es importante, pero no se usa en cálculo la calificación.

En las tareas se permiten el trabajo en equipo, pero algunas se entregan individualmente.
Es posible que en algunos ejercicios se requieran entregar una solución individual escrita de propia mano.
Las fechas de entrega de las tareas concuerdan con el trabajo ya realizado en clase,
es decir la mayoría de los ejercicios para entregar ya se supervisaron en clase.

Hay ejercicios de programación en Haskell, a nivel básico y con ayuda del profesor.
Los ejercicios de programación son base de Tareas del curso.
Si las circunstancias lo permiten, usaremos también una herramienta de verificación formal.

La comunicación con el grupo (fuera de clase) es mediante un grupo de interés y correo electrónico.

Miguel Carrillo.