Lógica Computacional, 2027-1
Grupo 7086
Facultad de Ciencias, UNAM
Profesor: Noé Salomón Hernández S.
Horario: lu, mi y ju de 17 a 18 hrs. Aula: P212
Profesor ayudante: Luis Adrián García Acosta
Horario: ma y vi de 17 a 18 hrs. Aula: P212
Profesor ayudante de laboratorio: Jesus Daniel Verdugo Rodriguez
Horario: ma de 15 a 17 hrs. Aula: Taller de Ingeniería de Software
Ver el curso en los horarios de la facultad, click aquí.
La dirección de email para responder dudas de los temas tratados en el curso es 
. Al mandar mensaje a esa dirección nos llegará a los ayudantes y al profesor.
Introducción
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
- Análisis de argumentos
- Sistemas deductivos
- El paradigma de programación lógica
- Extensiones y aplicaciones
Todos los pormenores del temario y plan de estudio para esta asignatura pueden ser consultados dando click aquí.
Notas de clase
Las notas de la clase se pueden consultar en esta liga.
Evaluación
La evaluación consiste en exámenes, ejercicios en línea, prácticas en el laboratorio y exposiciones. Los resultados obtenidos se mostrarán en la pestaña de Calificaciones.
En caso de detectarse copia, las personas involucradas tendrán cero en el trabajo en cuestión la primer vez. Si se copian una segunda vez, entonces estarán automáticamente reprobados.
El NP es para quienes no presenten ninguna evaluación. Si entregan algún trabajo perderán el derecho al NP.
Adicionalmente, los docentes encargados del curso solemos otorgar puntos extra por ejercicios espontáneos para hacer durante la clase. Tales puntos extra ayudan a la calificación del examen parcial más próximo, o suben el puntaje de las prácticas.
Personas con comportamientos que menoscaben el ambiente de respeto en la clase o el bienestar de cualquier asistente al curso serán acreedores a la reducción de puntos en la calificación, además de que la parte afectada tendrá el apoyo del docente en turno en la presentación de denuncias ante la autoridad competente, prestando especial atención y cuidado a aquellos actos que van en contra de la equidad de género.
Los porcentajes correspondientes a cada uno de los rubros de la evaluación se dan a continuación.
- Exámenes → 56%
Nota importante: Para acreditar la materia deben de obtener un valor mínimo de 5 en cada uno de los exámenes.
Los exámenes se diseñan para obtener 11 como máximo de calificación. Se aplicarán tres exámenes durante el semestre en las siguientes fechas:
Examen 1 Examen 2 Examen 3 Ejercicios en clase → 16%.
Prácticas → 16% Los lineamientos para la entrega de las prácticas pueden ser consultados en la pestaña de Laboratorio.
- Exposiciones → 12% Más sobre las exposiciones y temas a exponer se encuentra en el apartado de Exposiciones.
El ... tendrán la posibilidad de presentar una reposición que sustituirá al parcial que repongan, o si prefieren, un examen final que sustituirá únicamente la calificación de exámenes. Quien desee presentar dicha reposición o examen final favor de indicarlo por medio de un correo electrónico a: 
y . En la reposición o final también deben de obtener al menos 5.
Curva
Las calificaciones finales de exámenes, ejercicios en clase y prácticas estarán sujetas a la siguiente fórmula (la calificación de exposiciones no sigue esta regla):
Calif_final = Calif_inicial * X
donde Calif_inicial es el promedio individual de una persona para el rubro en cuestión, y X es una constante que toma en cuenta el promedio del grupo (Prom) para dicho rubro, sin considerar al 15% con el puntaje más bajo ni al 15% con el más alto. La constante X se define a continuación.
Si Prom<=6 o Prom>=8.5, entonces X = 1.
En otro caso X = 1.06.
Por ejemplo, un estudiante obtiene las siguientes calificaciones al final del semestre: Calif_inicial_exámenes = 5.5 (la calificación mínima para cada examen es de 5), Calif_inicial_ejercicios = 6 y Calif_inicial_laboratorio = 6.2. Los promedios para exámenes, ejercicios y laboratorio del grupo son Prom_exámenes = 5.1, Prom_Ejercicios = 7.32 y Prom_laboratorio = 6.3. Así,
Calif_final_exámenes = 5.5 * 1 = 5.5
Calif_final_tareas = 6 * 1.06 = 6.36
Calif_final_laboratorio = 6.2 * 1.06 = 6.572
Por lo tanto, la calificación final para esta situación ficticia aplicando la curva y suponiendo que se obtuvo 8 en la exposición es: (5.5*0.56) + (6.36*0.16) + (6.572*0.16)+ (8*0.12) = 6.10912.