Professional Documents
Culture Documents
desarrollo de unidades.
|1
Expresa ideas y conceptos mediante representaciones lingüísticas,
matemáticas o gráficas.
Aplica distintas estrategias comunicativas según quienes sean sus
interlocutores, el contexto en el que se encuentra y los objetivos que
persigue.
Identifica las ideas clave en un texto o discurso oral e infiere conclusiones a
partir de ellas.
Desarrolla innovaciones y propone soluciones a problemas a partir de
métodos establecidos.
Sigue instrucciones y procedimientos de manera reflexiva, comprendiendo
como cada uno de sus pasos contribuye al alcance de un objetivo.
Ordena información de acuerdo con categorías, jerarquías y relaciones.
Identifica los sistemas y reglas o principios medulares que subyacen a una
serie de fenómenos.
Construye hipótesis y diseña y aplica modelos para probar su validez.
Sintetiza evidencias obtenidas mediante la experimentación para producir
conclusiones y formular nuevas preguntas.
Utiliza las tecnologías de la información y comunicación para procesar e
interpretar información.
3- Unidad 1
|2
1. Lógica de Predicados.
1.1 . Comprender la lógica de proposiciones, su lenguaje, para la distinción precisa
de los valores de verdad de las formulas atómicas y formulas complejas y, así,
valorar la necesidad de las fórmulas axiomáticas.
1.2 . Construir las Tablas de Verdad, para validar científicamente los argumentos
y, así, valorar críticamente el ejercicio de argumentación lógica.
1.3 . Reconocer los Conceptos semánticos básicos: Satisfacibilidad, Validez,
Consecuencia, Equivalencia, con el fin de concederse un reconocimiento
positivo, a toda argumentación que se atribuye cientificidad.
1.4 . Diferenciar entre los Sistemas deductivos, de deducción natural, de
resolución y Tablas semánticas, para la aplicación de reglas de inferencia y
valorar el concepto semántico de las consecuencias lógicas.
1.5 Comprender la Lógica de predicados de primer orden, para el manejo del
Lenguaje de primer orden y la ejercitación en los procesos inductivos y
recursivos y la práctica en cuantificaciones universales y existenciales, con el
fin de apropiarse creativamente del pensamiento formal.
Unidad 2
1. Formalismos para la programación. Programación lógica. Comprensión de la
cláusula de Horn.
1.1. Interpretar la fórmula lógica como un programa, para la declaración de
programa versus algoritmo de solución y así un programador pueda elegir
entre varios diseños de componentes de control alternativos en función de
sus requisitos de eficiencia.
1.2. Reconstruir del formalismo lógico, con el fin de presentar los
fundamentos teóricos del paradigma de computación y mostrar cómo los
lenguajes como PROLOG (lenguaje de programación) se apartan de la
programación lógica pura por motivos de eficiencia.
Unidad 3
1. Verificación de programas secuenciales.
|3
1.1.Realizar ejercicios de verificación de un micro-lenguaje de programación,
mediante la lógica de Hoare, con el fin de utilizarlos como método deductivo
para la verificación de programas secuenciales y mostrar la aplicación
eficiente a la verificación parcial y total de programas y síntesis de
programas.
Unidad 4
1 Métodos de demostración en matemática.
1.1 Construir los métodos directos e indirectos (por reducción al absurdo,
por contrapositiva) de demostración matemática cuyos fundamentos se
encuentran en el análisis axiológico de la lógica. Para, apreciar y
descubrir el poder de la matemática en el desarrollo de la ciencia
informática.
|4
6-BIBLIOGRAFIA COMPLEMENTARIA.
Se entregará una guía de estudio elaborada por el profesor.
7-CORRELATIVIDADES.
No tiene.
8-ACREDITACIÓN DEL ALUMNO.
A. Para la regularidad en la materia, los alumnos deberán reunir el 75 % de
asistencia y aprobar dos parciales y el correspondiente Recuperatorio de no
aprobar el parcial correspondiente.
B. Para promocionar la materia, deberán reunir los requisitos que establece el
Reglamento del Instituto*.
C. Para rendir examen final, el alumno deberá alcanzar la regularidad según
Reglamentación.
|5