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

Cuarto Semestre, Autómatas y Lenguajes Formales

Bienvenidos al curso,

Aviso: La asistencia a clases y las tareas NO son obligatorias:
La evaluación es el máximo de tres posibilidades:
Es posible obtener 10 presentando solamente los exámenes.
Y es posible que las tareas contribuyan a la calificación de dos maneras (50% o 20%)
Hay puntos adicionales por participaciones especiales en clase.
Fin del aviso.

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

La metodología del curso sigue el siguiente ciclo semanal:
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, y estudia, los temas vistos en clase.

3. La ayudante de teoría supervisa que el grupo resuelva ejercicios sobre temas de clases anteriores.
Los ejercicios de ayudantía son base de Tareas del curso.

4. El alumno revisa posibles dudas, y reconstruye: ejercicios resueltos en ayudantía, y ejercicios similares.

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

6. El alumno revisa las dudas atendidas, y estudia, los temas nuevos vistos en clase.

7. La ayudante de teoría supervisa que el grupo resuelva ejercicios de programación sobre temas vistos.
Los ejercicios de programación son base de Tareas del curso.
El lenguaje de programación es Haskell a nivel básico con la guía de los ayudantes y del profesor.
Si las circunstancias lo permiten, usaremos también una herramienta de verificación formal.

8. Fin del ciclo semanal.

El alumno es responsable de mantenerse al tanto de los temas vistos en el curso.
La asistencia no tiene ningún peso negativo en la evaluación.
La asistencia se usa solamente para medir el aprovechamiento de los alumnos que asisten a clase.
Dado que la notación de las clases es propia del curso, es importante que el alumno esté al tanto de los temas vistos.

Las tareas se diseñan procurando que no tengan trabajo repetitivo (la práctica es decisión del alumno).
En general, las tareas (de ayudantía) permiten y alientan el trabajo en equipo.
Es posible que en algunos ejercicios se requieran entregar una solución individual escrita de propia mano.
Las fechas de entrega de las tareas en concordancia con el trabajo ya realizado en ayudantía,
es decir la mayoría de los ejercicios para entregar ya se supervisaron en ayudantía.

Los exámenes se diseñan procurando incluir preguntas esenciales del curso.
Los exámenes son presenciales con tiempo límite marcado por el horario/día en que se aplica.

La evaluación considera tres evaluaciones parciales con porcentajes crecientes:
Calificación= Parcial_1*.20 + Parcial_2*.35 + Parcial_3*.45
Parcial_i = Max(Tareas_i*.50 + Examen_i*.50, Tareas_i*.20 + Examen_i*.80, Examen_i) + Puntos_i
Tareas_i = Promedio de Tareas del parcial i
Examen_i = Examen del parcial i
Puntos_i = Puntos adicionales por participación en clases del parcial i
Las fechas de los exámenes se fijarán durante el curso, aprovechando las fechas oficiales de exámenes ordinarios.

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

Miguel Carrillo.