Temario sintético

PROGRAMA DE ESTUDIOS!
emilii~tim•
MERMAD AROMA METROPOLITANA'
7
UNIDAD AZCAPOTZALCO
NOMBRE DEL PLAN
CLAVE
DIVISION
CIENCIAS BASICAS E INGENI ERIA
LICENCIATURA EN INGENIERIA EN COMPUTACION
UNIDAD DE ENSEÑANZA-APRENDIZAJE
CRED.
LOGICA
1112022
H.TEOR.
1 / 2
TIPO
6
OPT.
3.0
SERIACION
H.PRAC. 0.0
1151038
1
OBJETIVO(S):
Generales:
Al finalizar la UEA el alumno deberá ser capaz de:
- Comprender los principios básicos de la lógica matemática.
- Demostrar la validez de argumentos mediante reglas formales.
- Aplicar principios de lógica matemática en la elaboración de programas de
cómputo.
CONTENIDO SINTETICO:
1.
2.
3.
4.
Lenguaje natural y lógica.
Lenguajes y sistemas formales.
Cálculo de enunciados.
Cálculo de predicados.
MODALIDADES DE CONDUCCION DEL PROCESO DE ENSEÑANZA-APRENDIZAJE:
Clase teórico-práctica a cargo del profesor con participación activa del
alumno con al menos tres sesiones utilizando computadoras con el software
adecuado (Prolog, OPS5, o CLIPS) o modalidad SAI.
Como parte
de
las
modalidades
de
conducción
del proceso de
enseñanza-aprendizaje será requisito que los alumnos con apoyo del profesor,
participen en la revisión y análisis de al menos un texto técnico, científico
o de difusión escrito en idioma inglés y que contribuya a alcanzar los
objetivos del programa de estudios.
ÁrAt
UNIVERSIDAD AUTONOMA METROPOLITANA
I
Casa abierta al tiernpo
APROBADO POR EL COLEGIO ACADE
EN SU SESION NUM.
EL SECRETARIO DEL
•
NOMBRE DEL PLAN
CLAVE
1112022
LICENCIATURA EN INGENIERIA EN COMPUTACION
2/ 2
LOGICA
Se procurará que como parte de las modalidades de conducción del proceso de
enseñanza-aprendizaje los alumnos participen en la presentación oral de sus
trabajos, tareas u otras actividades académicas desarrolladas durante el
curso.
MODALIDADES DE EVALUACION:
Evaluación Global:
Las reglas de evaluación serán presentadas en forma escrita por el profesor
al inicio del curso.
Al menos dos evaluaciones periódicas y una global de resolución de problemas,'
ejercicios o preguntas conceptuales.
Evaluación de Recuperación:
Admite evaluación de recuperación, consistente en elaboración de programas,
resolución de problemas, ejercicios o preguntas conceptuales.
No requiere inscripción previa.
BIBLIOGRAFIA NECESARIA O RECOMENDABLE:
1. Grassman W.,
Tremblay
J.
P.,
"Matemática
discreta
y
lógica",
Prentice-Hall, 1997.
2. Kolman B., Busby R., Ross S., "Estructuras de matemáticas discretas para
la computación", Simon & Schuster Company, 1997.
3. Cohen D., "Computability and Logic", John Wiley & Sons, 1987.
4. Solís Daun J. E., Torres Falcón Y., "Lógica matemática", UAM-I, 1995.
5. Videla Rico C., "Un curso de lógica matemática", Sociedad Matemática
Mexicana, 1995.
Revistas de divulgación, técnicas o científicas en inglés, relacionadas con
el contenido de la UEA.
ERIZAD AlITONOMA METRONIITMA
•
Casa abiertaá tiempo
APROBADO POR EL COLEGIO A
EN SU SESION NUM.
EL SECRETARIO DEL COLEGIO
•