Principal


Estructuras Discretas
Grupo:  7051

Prof. Dr. Favio E. Miranda Perea (Cub. 020, Dep. Matemáticas)
Ayud. Manuel Tenorio Fenton
Ayud. Fabiola García Meléndez

Horario: 
Clase:  lu,mi 1600-1730hrs,  Salón O122
Ayud:  ma, ju  13-14hrs.    Salón O122

Avisos Recientes

  • CALIFICACIONES FINALES Ya pueden ver sus calificaciones finales en la página.Decidimos ayudarles a aquellos que como máximo habían reprobado 2 exámenes parciales, quitando la calificación más baja y promediando 3 exámenes ...
    Posted Dec 12, 2012, 12:30 PM by Manuel Tenorio
  • Examen Parcial 4 - el último y nos vamos  El examen parcial 4 se aplicará el martes 4 de diciembre, en el salón de clases. Iniciará a las 13:00 horas y dependiendo de la disponibilidad del salón y ...
    Posted Nov 30, 2012, 4:43 PM by Manuel Tenorio
  • Tarea semana 16 Ya está en la página la última tarea. Va a servirles como repaso para el último parcial, y tienen hasta el próximo lunes 26 de noviembre hasta antes de las ...
    Posted Nov 21, 2012, 6:02 PM by Manuel Tenorio
  • Temas elegidos Al dia de hoy les informo que los temas ya elegidos son:1. Árboles binarios.2. Árboles de búsqueda. 
    Posted Nov 20, 2012, 10:25 AM by Favio Miranda
  • Fecha límite para elegir proyecto Les comunico que para que tengan suficiente tiempo de desarrollar su proyecto de acuerdo a los lineamientos dados deben elegir su tema a más tardar este viernes 23 de noviembre ...
    Posted Nov 20, 2012, 10:21 AM by Favio Miranda
Showing posts 1 - 5 of 23. View more »

Los reptiles de Escher

Sinopsis.

Las estructuras discretas son aquellos entes matemáticos que se pueden contar, como son los números naturales, las estructuras de datos y los programas de un lenguaje de programación o las pruebas formales que involucran procesos de razonamiento mediante un número finito de pasos. El área de las matemáticas dedicada a estudiar dichas estructuras se conoce como matemática discreta y proporciona gran parte de los fundamentos de las ciencias de la computación. 

En este curso estudiaremos ampliamente algunas de las estructuras discretas que son más relevantes para las ciencias de la computación mediante el estudio de lógica matemática, los mecanismos de recursión e inducción numérica y estructural, así como las relaciones en conjuntos. El enfoque utilizado se apega a la formalidad matemática pero haciendo énfasis en aplicaciones computacionales relevantes, como son los métodos lógicos para verificar razonamientos correctos o los mecanismos de definición de funciones recursivas.