UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO COORDINACIÓN DE DOCENCIA DIRECCIÓN DE PLANEACIÓN Y DESARROLLO EDUCATIVO 1.- DATOS GENERALES PROGRAMA ANALÍTICO DE ASIGNATURA 1.1 INSTITUTO: INSTITUTO DE CIENCIAS BASICAS E INGENIERIA _ 1.2 LICENCIATURA: 1.3 ASIGNATURA: 1.4 Ubicación de la Asignatura en el Plan de Estudios 1.5 Carga Horaria de la Asignatura y créditos SISTEMAS COMPUTACIONALES LOGICA MATEMATICA Semestre Área de Formación Clave PRIMERO SEMANAL SEMESTRAL Créditos TEÓRICA PRÁCTICA TOTAL TEÓRICA PRÁCTICA TOTAL 10 5 0 10 75 0 75 1
1.6 Nombre del profesor que elaboró el programa Fecha de elaboración Dr. Gustavo Núñez Esquer Dra. Miriam Álvarez Suárez 23 DE MAYO DE 2001 ING. TOMAS RIOS MUÑOZ 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 2
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.. 3
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 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. CALCULO DE PREDICADOS UNIDAD IV TEORIA DE LA DEMOSTRACION UNIDAD V TEORIA DE MODELOS Y EXTEN- CIONES DEL CP1 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. UNIDAD VI TEORIA DE LA DEMOSTRACION 4
6.- SISTEMA DE CONOCIMIENTOS DE LA ASIGNATURA NÚMERO DE LA UNIDAD I II III IV V VI PLAN TEMÁTICO, (SUBTEMAS Y TÓPICOS DE CADA UNIDAD) 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 6.2 TEOREMAS DE COMPLETITUD, INDECIBILIDAD, MODELOS NO ESTANDAR 6.3 RESOLUCION TOTAL DE HORAS 15 10 10 15 15 10 5
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. 6
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 7
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 8
11.- PERFIL PROFESIOGRÁFICO 11.1. PERFIL IDEAL DEL PROFESOR QUE SE REQUIERE PARA IMPARTIR LA ASIGNATURA INGENIERO EN SISTEMAS COMPUTACIONALES LICENCIADO EN SISTEMAS COMPUTACIONALES LICENCIADO EN INFORMATICA 9