You are on page 1of 5

PROGRAMA ANALÍTICO DE ESTUDIO Commented [R1]: Revisar el formato, competencias y

desarrollo de unidades.

Ciclo Lectivo 2018

CARRERA: TECNICATURA SUPERIOR EN ANÁLISIS Y PROGRAMACIÓN DE SISTEMAS.


ASIGNATURA: Lógica (computacional).
CURSO: Primer año.
INTENSIDAD HORARIA: 3 Horas Cátedras Semanales.
MODALIDAD Y TIPO DE CURSADO: Modulo anual.
SEDE: Sede Las Heras – Sede Rodeo del Medio – Sede Ciudad
PROFESOR: Iván Patricio Sepúlveda, Noelia Rivera, Daniela Agüero, Susana
Ripamonti
1. FUNDAMENTACIÓN:
El estudio de cualquier fenómeno requiere bases teóricas sólidas. Así, la teoría
formal, cuya construcción es axiomática, establece criterios de veracidad científica
que fundamentan esas bases. En este contexto, la lógica computacional es una
disciplina que estudia la aplicación de la lógica clásica formal para la representación
computacional de argumentos. Además, estudia las técnicas de deducción
automática y asistida por computadora; los fundamentos relacionados con la validez
y completes de sistemas de proposiciones; las aplicaciones de esas técnicas a las
diferentes áreas de las ciencias computacionales en todas las etapas de desarrollo
de software; es decir, en la especificación, diseño, construcción y verificación formal
de programas.
En fin, para esta lógica se debe estudiar la lógica proposicional, la lógica de primer
orden o de predicado, los procedimientos de decisión e inferencia y utilizar un
lenguaje de Programación Lógica.

2. COMPETENCIAS GENERALES Y ESPECÍFICAS DEL ÁREA

COMPETENCIAS GENERALES DEL ÁREA:

 Escucha, interpreta y emite mensajes pertinentes en distintos contextos


mediante la utilización de medios, códigos y herramientas apropiados.

|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.

COMPETENCIAS ESPECÍFICAS DEL ÁREA:

 Comprender y dominar los conceptos básicos: lógica, algorítmica y


complejidad computacional, para la resolución de problemas propios de la
Ingeniería Informática, con precisión y exactitud.
 Deducir y determinar las proposiciones derivables de los axiomas del sistema
lógico-deductivo, constituido por un lenguaje formal y una gramática formal,
para determinar con precisión axiomática, cuáles son las expresiones
correctamente formadas.
 Aplicar el tratamiento automático de la información, utilizando dispositivos
electrónicos y sistemas computacionales, para la resolución óptima de
problemas informáticos.
 Resolver y verificar programas secuenciales, mediante la lógica de Hoare, con
la rigurosidad formal que confieren las leyes lógico-axiomáticas.

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.

1.3. Conocer la sintaxis del lenguaje PROLOG, de predicados recursivos, las


Reglas de computación y el método de resolución SLD (Selección Lineal de
programas Definidos), con el fin de diseñar programas sencillos, valorando así
el proceso de creatividad personal y las ventajas de esta programación.

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-ESTRATEGIAS DOCENTES DE ENSEÑANZA.


Se transitarán las Estrategias por exposición (Clases magistrales y dialogadas) y las
Estrategias interactivas (Solución de problemas, Aprendizaje cooperativo).
5-BIBLIOGRAFIA OBLIGATORIA.
AAVV, (1995).Lógica, Ed. Trotta, Valladolid.
Copi, I. M. (1999) Introducción a la lógica, Ed. Eudeba, Bs. As.
Copi, I. M. (1985) Lógica simbólica, Ed. C.E.C.S.A., México.
Fernández Vindel, J. L., Manjarrés Riesco, A., Diez Vegas, F. j. (2003-2007) Lógica
computacional, http://www.ia.uned.es/ia/regladas/logica4/libro-logica-07.pdf
Paniagua A., E., Sánchez Gonzales, J. L., Martín Rubio, F., (2003) Lógica
computacional, Ed. Paraninfo, Madrid, 2003.

Muñoz Gutiérrez, C., Introducción a la lógica,


http://perso.ya.com/aparterei/filosofia/cdn.pdf.
Miranda Perea, F. E., Lógica computacional,
http://lya.fciencias.unam.mx/favio/publ/esp/logcomp992.pdf.
Morales Santacruz (2008) Los métodos de demostración matemática,
http://biblioteca.usac.edu.gt/tesis/07/07_1914.pdf

|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.

*Requisitos para los exámenes finales.


Haber aprobado todas las instancias anteriores, la totalidad de las prácticas
aprobadas, global y presentación de carpeta completa.
9- EVALUACIÓN:
Se tendrá como criterio de evaluación la comprensión de los temas de la lógica
computacional para reconocer, diferenciar, construir y formalizar axiológicamente
argumentos que le facilitarán enfrentarse al conjunto de programas y rutinas que
permiten a la computadora, no sólo como conjunto de elementos físicos o materiales que
la constituyen o sistema informático; sino, también, en cuanto realiza determinadas tareas
(Software), de modo preciso y valorando su carácter cien

Prof. Dr. Iván Patricio Sepúlveda

|5

You might also like