Lógica
Luis Eduardo Gamboa Guzmán
Facultad de Ingeniería Eléctrica
Edificio Ω-1, Ciudad Universitaria
Morelia, Mich. México
Inicio
°
Página Principal
°
Main Page (english version)
Investigación (en inglés)
°
An Efficient Transport Estimator for Complex Layered Materials (EG2020)
°
Scalable Appearance Filtering for Complex Lighting Effects (SA2018)
°
Tesis Doctoral
°
Tesis de Maestría
Acerca de mi
°
Curriculum Vitae (en inglés)
Materias
°
Graficación
°
Laboratorio de Herramientas Computacionales
°
Lenguajes Formales y Autómatas
°
Lógica
°
Matemáticas Discretas
°
Organización de Computadoras
°
Paradigmas de Programación
°
Programación de Computadoras
°
Redes de Computadoras
°
Sistemas Operativos
Material Adicional
°
LaTeX
°
Plantilla de tesis FIE
°
Retícula de la carrera
Sitios de la Facultad de Ingeniería Eléctrica
°
Página de la Facultad
°
Posgrado
°
Laboratorio de Computación
°
Laboratorio de Sistemas Computacionales (posgrado)
Ligas
°
Descargas
°
Wikipedia
°
hydrogenaudio.org
Lógica
Clave:
IA7000-T
Prerrequisitos:
Ninguno
Materias cuyo prerrequisito es Lógica:
Matemáticas Discretas CI7000-T
Bases de Datos IA7500-T
Temario
Introducción
Cálculo proposicional
Cálculo de predicados
Lógica computacional
Material
Material disponible
aquí.
