LÓGICA
1. UBICACIÓN EN PLAN DE ESTUDIO
Régimen de Formato Carga horaria Carga horaria
cursada semanal en horas semanal en Correlatividad
reloj horas
cátedras
1º
Cuatrimestre Asignatura 4 hs 6hs
2. SINTESIS EXPLICATIVA DEL BLOQUE
La lógica juega un papel básico en la informática (base de datos, complejidad
computacional, lenguajes de programación, inteligencia artificial, diseño y
verificación de sistemas), y es sin duda uno de los fundamentos que proporcionan la
madurez y agilidad necesarias para asimilar los conceptos, lenguajes, técnicas y
herramientas informáticas que surjan en el futuro. La importancia de este espacio
curricular reside en que proporciona al futuro técnico una visión formal sobre los
mecanismos para construir software, en particular, se brindan los conocimientos y
habilidades necesarias para la aplicación de métodos formales para construir software
y desarrollar sistemas inteligentes. La base formal permite modelar rigurosamente el
problema y razonar sobre la solución, De esta forma se logra incrementar la
confiabilidad y calidad del software.
2
3. OBJETIVOS GENERALES DE APRENDIZAJE:
• Reconocer los principios generales implicados en toda
actividad, bajo un razonamiento correcto.
• Examinar y analizar los métodos correctos e
incorrectos de razonamiento.
• Desarrollar técnicas y métodos para determinar la
corrección o incorrección de todos los razonamientos.
• Distinguir entre la validez y la verdad.
• Operar y articular diferentes lenguajes (usual, formal, simbólico).
4. CONTENIDOS Y BIBLIOGRAFÍA (ORGANIZACIÓN POR
UNIDADES/EJES DE ESTUDIO):
Unidad N.º 1: Lógica proposicional
Proposición. Proposiciones Simples y Proposiciones Compuestas. Representación
simbólica. Conectivos lógicos: Negación, Conjunción, Disyunción, Disyunción
excluyente, Condicional, Bicondicional. Tablas de verdad. Signos de puntuación y
jerarquías de conectivos lógicos. Fórmulas lógicas. Clasificación de fórmulas lógicas
por su significado: Tautologías, Contradicciones, Contingencias. Argumentación y
validez. Reglas de manipulación y sustitución.
3
Unidad N.º 2: Lógica de predicados
Lenguajes de primer orden. Predicados. Interpretaciones.
Unidad N.º 3: Introducción a programación lógica
Prolog: Cláusulas de Horn, Base se conocimiento y su composición (Hechos, Reglas y
Reglas Recursivas), Consultas y sus procesos (Unificación y Backtracking). Uso de
variable y variable anónima, uso de operadores aritméticos y operadores relacionales,
predicado predefinido.
4
5. METODOLOGÍA DE TRABAJO:
El desarrollo de la cursada atiende a la modalidad indicada en el plan de estudio de la
carrera: híbrida, es decir, presencial y virtual. Para las cursadas bajo modalidad virtual
y/o híbrida que se dicten por medio del Campus Virtual del Centro los estudiantes
contarán con materiales audiovisuales (como ser videos recomendados de YouTube,
presentaciones en PowerPoint, etc.), materiales de lectura (libros subidos en la
plataforma en formato pdf), foros de debate -de participación obligatoria- y consultas
generales. También contarán con autoevaluaciones y cualquier otro recurso
perteneciente a los entornos de aprendizaje virtuales que favorezcan el desarrollo
curricular del bloque y los procesos de construcción de conocimiento.
Se programarán y dictarán encuentros sincrónicos virtuales, los mismos serán grabados
para su posterior utilización para los estudiantes, que se sumarán a encuentros
presenciales de tutorías para resolver situaciones de aprendizaje vinculadas a las guías
y al programa propuesto.
5
6. EVALUACIÓN Y ACREDITACIÓN
Lógica se dictará bajo la modalidad virtual y/o híbrida, se cursará en el Campus
Virtual del Centro y contará con el apoyo del docente. (Art. 20 – R.A.I.)
Los/as estudiantes deberán cumplir con los siguientes requerimientos para
adquirir regularidad y/o adquirir la promoción:
• Realizar la totalidad de los dispositivos de evaluación previstos (cuestionarios,
autoevaluaciones o TPs) con un promedio de 6 (seis) o más, la participación en
el foro de debate, y los exámenes parciales con nota mínima de 6 (seis) para
acceder a la regularidad y acceder así a instancia de acreditación con examen
final. (Art. 21 – R.A.I.)
• Realizar la totalidad de los dispositivos de evaluación previstos (cuestionarios,
autoevaluaciones o TPs) con un promedio de 8 (ocho) o más, la participación
en el foro de debate, y los exámenes parciales con nota mínima de 8 (ocho)
para la promoción sin examen final. Para mantener la condición de promoción
de la materia el/la estudiante deberá aprobar los exámenes parciales en primera
instancia. Esto implica que, al hacer uso de los recuperatorios, el/la estudiante
conserva su condición de regular, pero pierde la promocionalidad debiendo
aprobar la materia en la instanciade examen final. (Art. 21 – R.A.I)