Lógica computacional
Ciencias de la computación, Facultad de Ciencias, UNAM
Lógica Computacional, semestre 2020-1, grupo 7047
Ver el curso en los horarios de la facultad, click aquí
Profesor: Noé Salomón Hernández S. Horario: lunes, miércoles y viernes de 9 - 10 hrs. Aula: O127
Ayudante: Carlos Naranjo Robledo Horario: martes y jueves de 9 - 10 hrs. Aula: O127
Ayudante: Francisco Emmanuel Anaya González
Ayudante Laboratorio: José Nieves Morán Silva Horario: jueves de 14 - 16 hrs. Aula: Lab. de Ciencias de la Computación 3
Objetivo del curso:
La lógica es particularmente importante para estudiantes de ciencia e ingeniería de la computación porque es la base matemática del software: se usa para formalizar la semántica de los lenguajes de programación, y para verificar que los programas sean correctos. Así, en este curso se pretende dar a conocer y aplicar la lógica como una herramienta formal de apoyo en diversas áreas de las ciencias de la computación.
Temario:
- Introducción
- Lógica proposicional
- Lógica de predicados de primer orden
- Análisis de argumentos
- Sistemas deductivos
- El paradigma de programación lógica
- Extensiones y aplicaciones
Para mayor información sobre el temario consultar el pdf original aquí.
Evaluación
Los rubros que se consideran para la evaluación son exámenes, tareas y prácticas. Los resultados obtenidos se muestran en la pestaña Calificaciones.
En caso de detectarse copia, los alumnos involucrados obtendrán cero en el trabajo en cuestión. Si se reitera en la copia una segunda vez, entonces el alumno automáticamente estará reprobado.
El NP es para aquellas personas que no presenten ninguna evaluación. Si llegaran a presentar algún trabajo, entonces deberán solicitar el NP a más tardar el lunes 21 de octubre a la dirección de correo nohernan@turing.iimas.unam.mx y también tendrán que dejar de presentar exámenes, tareas y prácticas a partir de esa fecha. En resumen, para obtener NP no deben presentarse, o si entregan algún trabajo, deben de abandonar el curso y avisarme el lunes 21 de octubre.
Adicionalmente, el profesor y los ayudantes solemos otorgar puntos extra por ejercicios hechos en clase. Tales puntos extra ayudan a la calificación de la tarea, práctica o examen parcial más próximo.
Los porcentajes asignados a los elementos que conforman la evaluación son:
Exámenes parciales -> 60%
Los exámenes se diseñan para que el alumno pueda obtener 11 como máximo de calificación. A lo largo del semestre se aplicarán tres exámenes parciales de acuerdo al calendario que se muestra a continuación.
Tendrán la oportunidad de presentar una reposición o un examen final que sustituirá a su calificación de exámenes, el cual se aplicará el día viernes 06 de diciembre. Quien desee presentar dicha reposición o examen final favor de indicarlo por medio de un correo electrónico a la dirección: nohernan@turing.iimas.unam.mx
Tareas -> 20%
Las tareas se realizan por equipos de dos personas, y podrán ser consultadas en formato pdf visitando la pestaña Archivos. Algunas tareas tienen un puntaje máximo de 11. El calendario con las fechas en las que las tareas estarán disponibles y las fechas en las que se deben de entregar aparece enseguida.
Prácticas -> 20%
Los lineamientos para la entrega de prácticas y ejercicios semanales pueden ser consultados en la pestaña de Laboratorio.
Curva
Las calificaciones finales de exámenes, tareas y prácticas estarán sujetas a la siguiente fórmula
Calif_final = Calif_inicial * X
donde Calif_inicial es el promedio individual del alumno para el rubro en cuestión, y X es una constante que toma en cuenta el promedio del grupo (Prom) para dicho rubro. La constante X se define a continuación.
Si Prom<5 o Prom>= 7.5, entonces X = 1.
Si 6.3<= Prom <7.5, entonces X = 1.065.
Si 5<= Prom <6.3, entonces X=1.05.
Por ejemplo, un alumno obtiene las siguientes calificaciones al final del semestre Calif_inicial_exámenes = 5.05, Calif_inicial_tareas = 6.98 y Calif_inicial_laboratorio = 6.5. También, en su grupo los promedios para exámenes, tareas y laboratorio son Prom_exámenes = 6.61, Prom_Tareas = 7.32 y Prom_laboratorio = 5.73. Así,
Calif_final_exámenes = 5.05 * 1.065 = 5.3783
Calif_final_tareas = 6.98 * 1.065 = 7.4337
Calif_final_laboratorio = 6.5 * 1.05 = 6.825
Por lo tanto, la calificación final del alumno es (5.3783*0.6) + (7.4337*0.2) + (6.825*0.2) = 6.0787.
Lista de correo
La comunicación fuera del aula se efectuará principalmente a través de este grupo de google. En dicho grupo se darán respuesta a dudas, y se publicarán anuncios y actualizaciones sobre clases, tareas, exámenes y prácticas.
Para ser miembro del grupo, den click en el siguiente vínculo e ingresen su dirección de correo electrónico para suscribirse. Como resultado, google groups les enviará a la dirección de correo que hayan proporcionado un mensaje de confirmación de suscripción, dentro de ese mensaje seleccionen Unirse a este grupo. No olviden revisar su carpeta de spam pues allí puede encontrarse el correo de confirmación.