Lógica Matemática

• Lógica de Predicados 
• Cuantificadores Universales

Ejercicios

• Deducción Proposicional Simple

• Demostración Condicional

• Demostración Indirecta (reducción al absurdo)

• Cuantificadores

• Ejercicio Marco

• Ejercicio Sherlock Holmes

Conjuntos y relaciones

• Conjuntos y Relaciones
• Ejercicios de Relaciones

teorÍa de grafos y Árboles

• Apuntes de Teoría de Grafos

sistemas numÉricos

Prácticas:

• Análisis de la Compuerta Lógica AND
• Análisis de la Compuerta Lógica OR
• Análisis de la Compuerta Lógica NOT
• Contador BCD (0-9)
• Contador de 3 dígitos

DEC-BASE.CPP (Programa en Lenguaje C++ para convertir un número decimal a su equivalente en cualquier base numérica)

• Guía rápida del Multisim 2001
• Descarga de software para el diseño de circuitos

• Funciones y sucesiones
• Notación O grande
• Inducción matemática
• Recursión
  • RECURSIV.CPP (Algoritmo Recursivo de la Búsqueda Binaria)
• Homorfismos e Isomorfismos
• Permutaciones y Combinaciones

• Johnsonbaugh, Richard. Matemáticas Discretas. Ed. Grupo Editorial Iberoamericano. 1988.

  

   

• Matemática Discreta Ingeniería Técnica de Informática de Sistemas, de Gestión y doble titulación LADE+ITIG. ESCET. España.
• Sitio de Amzi Prolog+Logix Server
• Compilador de Amzi Prolog+Logix Server.ZIP (3.07 MB)

• Guía rápida del Multisim 2001
• Descarga de software para el diseño de circuitos