Universidad Autónoma del Estado de México

Facultad de Ingeniería

Página 1 de 3

COORDINACIÓN DE COMPUTACIÓN

PLANEACION DEL CURSO

PERIODO 2013B

UNIDAD DE APRENDIZAJE:Lógica- CLAVE: L41065 HT: 2 HP: 1 CR: 5 NO DE UNIDADES: __4__

GRUPO:01, 02 PROFESOR(ES): _Sara Vera Noguez, José Antonio Hernández Servin_Juan
Carlos Acosta Guadarrama

OBJETIVO DE LA UNIDAD DE APRENDIZAJE : El alumno al concluir esta unidad de aprendizaje deberá comprender los principios básicos de la lógica
matemática y podrá aplicarlos en la elaboración de programas de cómputo.

UNIDAD DE CONTENIDO
AVANCE S E M A N A
COMPETENCIA PROGRAMATICO
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Propuesto Pri
me
Últi
ra
Teoría de ma
x Ev
Conjuntos Eval
alu
uaci
aci
ón
ón
 Universidad Autónoma del Estado de México
Facultad de Ingeniería

Página 2 de 3

Operadores Propuesto
lógicos,
conectivas,
Lógica tablas y X X X
proposicional funciones de
verdad, Álgebra
de Boole

Equivalencia
lógica,
conjuntos
adecuados de X X O
conectivas,
argumentación,
validez,

Calculo de
deducción X X X
natural
Nombres, Propuesto
Functores y
Relatores ,
Semántica cuantifcadores, X X
lenguaje formal
de primer
orden,
Multivalente,bor Propuesto
rosa, modal,
Otras Lógicas temporal, x x x O
intuicionista y
no monótona
 Universidad Autónoma del Estado de México
Facultad de Ingeniería

Página 3 de 3

Evaluación y Acreditación
• Exámenes parciales (2) 90%
• Tareas, prácticas y participaciones 10%
Nota: Si se obtiene un promedio de 8.0 o más en la evaluación continua el alumno se considera exento del examen final, conservando como calificación del
curso el promedio obtenido en la evaluación continua

Fechas de exámenes parciales

Evaluación grupo Fecha
1er parcial 01 Martes 24 de septiembre
Del 24 al 27 de septiembre 02
03
2o parcial 01 Martes 26 de noviembre
Del 20 al 28 de noviembre 02
03

Referencias Bibliográficas
Pascual Julián Iranzo, Lógica Simbólica para Informáticos, Alfaomega, 2005
Rafeal Farré, Robert Nieuwenhuis, Lógica para informáticos, Alfaomega, 2012
Fabio Gutiérrez Correal, Lógica una síntesis didáctica, segunda de. Universidad de Boyacá, 2008
Eugenio Díaz Barriga Arceo, Notas de apoyo para el curso de Lógica, Editorial Kali

Fecha 5 de agosto de 2013

Elaborado por:
Nombre M en I Sara Vera Noguez Dr José Antonio Hernández Servin_ Dr Juan Carlos Acosta Guadarrama

Firma
Observaciones: