SISTEMAS NUMERICOS
 
  • Lógica proposicional, equivalencias lógicas, Algebra Booleana, funciones booleanas y síntesis de circuitos.
  • Organización de un sistema de computación y una introducción histórica de la evolución de los sistemas.
  • Teoría de las estructuras discretas, grafos.
  • Sistemas de numeración: binario, decimal, octal, hexadecimal; cambios de base, representación de los números en formato de máquina y detección y corrección de errores.
  • Circuitos de computadoras:Circuitos lógicos combinacionales y circuitos secuenciales, concepto de autómata finito: estados internos, tablas y funciones de transición.
  • Técnicas de pruebas.
  • Estructura de las pruebas formales