Facultad de Ingeniería Eléctrica
Luis Eduardo Gamboa Guzmán
Facultad de Ingeniería Eléctrica
Edificio Ω-1, Ciudad Universitaria
Morelia, Mich. México
Lógica
Clave:
IA7000-T
Prerrequisitos:
Ninguno
Materias cuyo prerrequisito es Lógica:
Matemáticas Discretas CI7000-T
Bases de Datos IA7500-T


Temario
  1. Introducción
  2. Cálculo proposicional
  3. Cálculo de predicados
  4. Lógica computacional


Material
Material disponible aquí.