Encabezado Facultad de Ciencias
Presentación

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

Primer Semestre, Estructuras Discretas

Grupo 7020, 49 lugares. 46 alumnos.
Profesor Lourdes del Carmen González Huesca lu mi 17 a 18:30 P213
Ayudante María Fernanda Mendoza Castillo ma ju 16 a 17 P213
Ayudante Juan Alfonso Garduño Solís ma ju 16 a 17
Ayud. Lab. Juan Pablo Yamamoto Zazueta vi 16 a 18 303 (Yelizcalli)
Ayud. Lab. Emiliano Galeana Araujo vi 16 a 18

 

Código classroom: 33spbz5

https://sites.google.com/ciencias.unam.mx/mdiscretas
Temario

  • Razonamiento ecuacional, gramáticas y razonamiento formal

  • Inducción y Recursión

  • Lógica Proposicional (Nociones básicas, tablas de verdad, Conceptos semánticos, Tableaux, Circuitos Digitales)

  • Lógica de Primer Orden (Introducción, Sintaxis)

  • Relaciones y órdenes parciales



Evaluación

(los máximos y mínimos de miembros se establecerán cuando se cierren las inscripciones)


30% Evaluación continua: tareas en equipo

Aproximadamente 5 tareas. Disponible los martes en classroom y se deberá entregar a más tardar el siguiente miércoles a la hora de clase.


35% Evaluación parcial: exámenes (5) individuales (jueves) con fechas fijas:

31 agosto / 28 septiembre / 26 octubre / 23 noviembre / 2a semana de finales


35% Evaluación práctica: ejercicios programación

Aproximadamente 6 prácticas. Se asignan los jueves para entregar en el viernes indicado hasta antes las 23:59. Al primer día de retraso se califica sobre 8. Al segundo día, sobre 6. A partir del tercer día, se recibirá y se revisará para retroalimentación sin calificación.

No hay reposición de ninguno de los anteriores, ni hay examen final.

No se elimina la calificación más baja de ninguno aunque puede hacerse una excepción al final.

Para tener derecho a calificación final aprobatoria es necesario tener un promedio aprobatorio de exámenes.

Para obtener un NP es necesario que no se tengan más de dos calificaciones de cualquier tipo.

Referencias:

  • Miranda, F.; Viso E.;Matemáticas Discretas, Temas de Computación, Las prensas de Ciencias.

  • Rosen, Kenneth H., Discrete Mathematics and Its Applications, sixth edition, McGraw Hill, 2007. [QA39.2 R66 2007]

  • Grassmann, Winfried K., Logic and discrete mathematics : a computer science perspective , Prentice Hall, Nueva Jersey, 1996. [QA76.9 M35 G73]

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.