Propedéutico: Lógica Matemática

Profesor: Juan Juárez Fuentes

e-mail: jjf@mixteco.utm.mx



Contenido

Avisos Tareas Programas Apuntes Aplicaciones Software
Blog Bibliografía Asistencias Evaluaciones Calificaciones Temario




Avisos

Aviso 1: (2019-07-29)
?Bienvenidos al curso de Propedéutico de Lógica Matemática!




Tareas




Programas




Apuntes

Tema 1: Cálculo proposicional
Tema 2: Cálculo de predicados
Tema 3: Técnicas de demostración
Tema 4: Conjuntos




Aplicaciones

Aplicación para Equivalencias




Software

SWISH (Prolog en línea)




Blog




Bibliografía


Texto B?sico:

Fundamentos de matemáticas para bachillerato
Editores: Guillermo Baquerizo, Miriam Ramos, Soraya solis
Instituto de ciencias Matematicas-ICM
Segunda edición
Ecuador
Mayo 2006
ISBN-9978-310-34-7


Textos de Consulta:

Matemáticas discretas con aplicaciones
Susanna S. Epp,
Cengage Learning
Cuarta edición
2012

El pensamiento y el lenguaje en la matemática
Robinson Arcos
Universidad Central de Venezuela

Matemáticas Discretas y sus aplicaciones
Kenneth H. Rosen
Mc Graw Hill
Quinta edición
2004

Lógica elemental
Max Fernández de Castro

Lógica matematica para informaticos




Asistencias

Consulta de asistencias




Evaluaciones

Examen semanal 1 PLM_P1_EV1            
Examen semanal 2 PLM_P1_EV2            
Examen semanal 3 PLM_P1_EV3            
Examen semanal 4 PLM_P1_EV4            
Examen semanal 5 PLM_P1_EV5            
Examen semanal 6 PLM_P1_EV6            
Examen semanal 7 PLM_P1_EV7            
Examen semanal 8 PLM_P1_EV8            
Examen 1: Examen Departamental (es escrito en papel)




Calificaciones

Consulta de calificaciones




Ir a la página principal