UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO
COORDINACIÓN DE DOCENCIA
DIRECCIÓN DE PLANEACIÓN Y DESARROLLO EDUCATIVO
_ 1.- DATOS GENERALES
1.1 INSTITUTO:
INSTITUTO DE CIENCIAS BASICAS E INGENIERIA
1.2 LICENCIATURA:
SISTEMAS COMPUTACIONALES
1.3 ASIGNATURA:
LOGICA MATEMATICA 1.4 Ubicación de la
Asignatura en el Plan de Estudios
Semestre Área de Formación Clave
PRIMERO
1.5 Carga Horaria de la Asignatura y créditos
SEMANAL SEMESTRAL Créditos
TEÓRICA PRÁCTICA TOTAL TEÓRICA PRÁCTICA TOTAL 10
5 0 10 75 0 75
PROGRAMA ANALÍTICO DE ASIGNATURA
1.6 Nombre del profesor que elaboró el programa Fecha de elaboración
Dr. Gustavo Núñez Esquer Dra. Miriam Álvarez Suárez ING. TOMAS RIOS MUÑOZ
23 DE MAYO DE 2001
2.- PAPEL DE LA ASIGNATURA EN EL PLAN DE ESTUDIOS
APOYAR CON ELEMENTOS Y COCEPTOS QUE PERMITAN HACER ANALISIS DE PROPOCISIONES Y PREDICADOS Y ASI QUE EL ALUMNO CUENTE CON LAS HERRAMIENTAS QUE SE UTILIZARAN EN ASIGNATURAS ONSECUENTES.
3.- SERIACIÓN DE LA ASIGNATURA A PARTIR DE LA CONGRUENCIA INTERNA DE LOS CONTENIDOS
ASIGNATURAS ANTECEDENTES ASIGNATURAS CONSECUENTES
NINGUNA LENGUAJES Y AUTOMATAS
COMPUTACION INTELIGENTE
INTELIGENCIA ARTIFICIAL
ANÁLISIS MATEMATICO
4.- INTENCIÓN EDUCATIVA DE LA ASIGNATURA 4.1. OBJETIVOS GENERALES
- PROPORCIONAR AL ALUMNO LOS CONOCIMIENTOS Y HABILIDADES MATEMATICAS, FUNDAMENTALES PARA HACER ANALISIS DE PROPOSICIONES Y PREDICADOS, MEDIANTE LA TEORIA DE LA DEMOSTRACION.
- PROPORCIONAR LAS HERRAMIENTAS MATEMATICAS, NECESARIAS PARA EL DESARROLLO DE PROYECTOS DE MATERIAS SUBSECUENTES, QUE SERAN DE GRAN UTILIDAD EN LA PRACTICA PROFESIONAL..
5.- OBJETIVOS PARTICULARES DE LAS UNIDADES O TEMAS
5.1. NÚMERO Y TÍTULO DE LAS UNIDADES O TEMAS
5.2. OBJETIVOS PARTICULARES DE CADA UNIDAD O TEMA
CALCULO PROPOSICIONAL
UNIDAD I “ TEORIA DE LA DEMOSTRACION “
UNIDAD II
“ TEORIA DE MODELOS “
UNIDAD III
“ TEORIA DE LA DEMOSTRACION “
CALCULO DE PREDICADOS
UNIDAD IV
“ TEORIA DE LA DEMOSTRACION ”
UNIDAD V
“ TEORIA DE MODELOS Y EXTEN- CIONES DEL CP1 “
UNIDAD VI
“ TEORIA DE LA DEMOSTRACION “
EL ALUMNO TENDRA LOS FUNDAMENTOS BASICOS PARA DESARROLLAR ALGEBRA DE PROPOSICIONES Y SISTEMAS AXIOMATICOS.
AL FINAL DE LA UNIDAD EL ALUMNO DETERMINARA LA VALIDEZ AL USAR TABLAS DE VERDAD Y APLICACIÓN DE SISTEMAS FORMALES.
IDENTIFICAR LA APLICACIÓN DE LAS TABLAS ANALITICAS Y CONOCERA LA DEMOSTRACION POR RESOLUCION.
EL ALUMNO APLICARA SOLUCIONES A PREDICADOSMEDIANTE SISTEMAS AXIOMATICO-DEDUCTIVO.
EL ALUMNO CONOCERA ALGUNAS HERRAMIENTAS DE LAS MATEMATICAS DISCRETAS, APLICABLES A LAS CIENCIAS DE LA COMPUTACION.
6.- SISTEMA DE CONOCIMIENTOS DE LA ASIGNATURA
NÚMERO DE LA UNIDAD
PLAN TEMÁTICO, ( SUBTEMAS Y TÓPICOS DE CADA UNIDAD) TOTAL DE HORAS
I
II
III
IV
V
VI
TEOTIA DE LA DEMOSTRACION 1.1 INTRODUCCION 1.2 DEDUCCION NATURAL
1.3 ALGEBRA DE PROPOSICIONES 1.4 SISTEMAS AXIOMATICOS
TEORIA DE MODELOS 2.1 TABLAS DE VERDAD 2.2 ALGORITMO DE QUINE 2.3 SISTEMAS FORMALES
TEORIA DE LA DEMOSTRACION 3.1 TABLAS ANALITICAS 3.2 RESOLUCION
3.3 RESOLUCION NO-CLAUSULAR
TEORIA DE LA DEMOSTRACION 4.1 INTRODUCCION
4.2 DEDUCCION NATURAL 4.3 FORMAS NORMALES
4.4 SISTEMAS AXIOMATICO-DEDUCTIVO
TEORIA DE MODELOSY EXTENSIONES DEL CP1 5.1 MODELOS
5.2 TEORIAS 5.3 FUNCIONES 5.4 IGUALDAD
5.5 CUANTIFICACION RESTRINGIDA 5.6 TEORIA DE CONJUNTOS
5.7 TEORIA DE INCOMPLETITUD DE GODEL
TEORIA DE LA DEMOSTRACION 6.1 TABLAS ANALITICAS
15
10
10
15
15
10
7.- SISTEMA DE HABILIDADES
7.1. HABILIDADES GENERALES, PRÁCTICAS O ESPECÍFICAS QUE FORMARÁ Y DESARROLLARÁ LA ASIGNATURA
APOYA AL ALUMNO DURANTE SU PREPARACION PROFECIONAL PARA ADQUIRIR CONOCIMIENTOS Y HABILIDADES
MATEMATICAS, PROPORCIONÁNDOLE LAS HERRAMIENTAS FUNDAMENTALES PARA PROPONER ALTERNATIVAS DE SOLUCION A PROBLEMAS DE LAS ASIGNATURAS RELACIONADAS CON LA LOGICA MATEMATICA , TALE COMO. INTE-
LIGENCIA ARTIFICIAL, LENGUAGES Y AUTOMATAS, COMPUTACION INTELIGENTE.
8.- CONSIDERACIONES METODOLÓGICAS Y DE ORGANIZACIÓN DE LA ASIGNATURA
8.1. METODOS, FORMAS ORGANIZATIVAS Y RECURSOS DIDÁCTICOS PARA EL DESARROLLO DEL PROCESO DE ENSEÑANZA-APRENDIZAJE
ESTRATEGIAS DE ENSEÑANZA
- PREGUNTAS DE EVALUACION DIAGNOSTICA - INTERCAMBIO DE OPINIONES
- INDUCCION
ESTRATEGIA DE APRENDIZAJE - ELABORACION DE ANALOGIAS - AUTOGENERACION DE PREGUNTAS - ENCADENAMIENTO DE CONOCIMIENTOS - ELABORACION DE INFERENCIAS
RECURSOS - PIZARRON
- CLASE EXPOSITIVA
- EJEMPLOS
9. SISTEMA DE EVALUACIÓN DEL APRENDIZAJE
9.1. FORMAS DE EVALUACIÓN QUE ADOPTA LA ASIGNATURA.
PROBLEMARIO Y TAREAS
EXAMEN PARCIAL Y GLOBAL
TRABAJO DE IMPLEMENTACION FINAL
10.- BIBLIOGRAFÍA NECESARIA PARA EL DESARROLLO DEL PROGRAMA
10.1. BÁSICA 10.2. COMPLEMENTARIA
CUENA, JOSE “LOGICA INFORMATICA” ALIANZA ED. MADRID SOMINSKII, L. S. “EL METODO DE LA INDUCCION MATEMATICA”
EDITORIAL LIMUSA
JEAN-PAUL TREMBLAY “MATEMATICAS DISCRETAS”
CHANG, C & R. C., LEE
“SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING”
ACADEMIC PRES, N.Y. 1993
RICHARD JOHNSONBAUGH
“MATEMATICAS DISCRETAS”
PRENTICE HALL
