UNIVERSIDAD LIBRE
FACULTAD DE INGENIERIA
INGENIERIA DE SISTEMAS
SYLLABUS
Área de Formación: Ingeniería Aplicada Eje Temático: Lógica Matemática
Asignatura: Lógica matemática Código: 02221 Semestre: II
No. de créditos: 2 Horas presenciales: 3 Horas independientes: 3
Carácter
Tipo de Asignatura T TP P O E OP
Asignatura
Prerrequisitos: No Aplica Modalidad: Presencial
Docente: Pedro Alonso Forero Saboya
Fecha de Actualización: Marzo de 2022
Nivel de formación: Pregrado
Convenciones: T-Teórica, TP-Teórica Practica, P-Practica, O-Obligatoria, E-Electiva, OP-Optativa
Justificación
La necesidad de un estudiante de desarrollar competencias que permitan construir razonamientos deductivos e inductivos, y de
esta forma proponer argumentos válidos hace que la lógica matemática desarrolle los conocimientos necesarios para plantear
las mejores soluciones a diferentes tipos de problemas.
La lógica matemática acerca al estudiante a una visión clara de la realidad, proporcionándole la creación de procesos mentales
que se evidencian en pensamientos coherentes y organizados.
La lógica matemática, provee al estudiante las teorías académicas suficientes, dimensionando su aplicación en la construcción
de soluciones propias de la electrónica digital y de la inteligencia artificial, formalizando constructos de carácter demostrativo
que proyectarán desarrollos simbólicos en el escenario de la teoría de compiladores y en los procesos de búsqueda y
optimización de trayectorias.
Objetivos Generales
Estructurar al estudiante desde los fundamentos del conocimiento de la lógica (concretamente de la lógica de proposiciones y
de predicados) y métodos de razonamiento utilizando tablas de verdad y silogismos.
Incentivar al estudiante en la importancia del razonamiento lógico y su aplicación posibilitando alcances de una visión sistémica
en el proceso y construcción de proposiciones complejas, inmediatas y mediatas.
Proporcionar una formación sólida en los fundamentos formales de la lógica de primer orden (sintaxis y semántica), los sistemas
de deducción y la programación lógica.
Objetivos específicos
1. Adquirir habilidad para la identificación de proposiciones en la lógica de predicados de primer orden
2. Adquirir habilidad para identificar situaciones problemáticas que puedan desarrollarse a la luz del razonamiento lógico
3. El estudiante estará en capacidad de utilizar la lógica de predicados para aplicarlos en la resolución de problemas
4. Utilizar la lógica de Boole y la lógica discreta como elementos de resolución de problemas en el marco de aplicación de la
Ingeniería
5. Comprender los elementos de la lógica proposicional para construir ámbitos de evaluación utilizando el concepto de
tautologías.
6. Plantear situaciones de solución utilizando las reglas de inferencia
7. Adquirir habilidad en la simbolización de disyunciones, conjunciones, condicionales y bicondicionales
Este Espacio Académico contribuye en el desarrollo de las siguientes competencias en el estudiante:
Competencias Tuning Latinoamérica:
TLA01: Capacidad de abstracción, análisis y Síntesis
TLA04: Conocimientos sobre el área de estudio y la profesión
TLA08: Habilidades en el uso de las tecnologías de la información y la comunicación
TLA11: Habilidades para buscar, procesar y analizar información procedente de fuentes diversas
TLA14: Capacidad creativa
TLA15: Capacidad para identificar, plantear y resolver problemas
TLA17: Trabajo en equipo
TLA24: Habilidad para trabajar en forma autónoma
TLA26: Compromiso ético
TLA27: Compromiso con la calidad
Competencias CDIO:
CDIO1.1: Conocimiento en ciencias afines
CDIO1.2: Conocimientos fundamentales en la materia
CDIO2.1: Razonamiento y resolución de problemas en Ingeniería
CDIO2.2: Experimentación y nuevos conocimientos
CDIO2.4: Habilidades personales
CDIO2.5: Habilidades profesionales
CDIO3.1: Trabajo en equipo
CDIO3.2: Habilidades comunicativas
CDIO4.4: Habilidades de diseño
Competencias Desempeño Final
1.Competencia Global:
Capacitar al estudiante para resolver problemas
utilizando la lógica de predicados de primer orden, Plantea y resuelve situaciones del mundo utilizando el
haciendo uso de la lógica simbólica, el silogismo y el razonamiento lógico, el silogismo, y las reglas de inferencia.
razonamiento general
2. Competencias específicas:
Comprende, domina y resuelve problemas ingenieriles que
Abstrae, diseña y desarrolla modelos de razonamiento requieran el uso de proposiciones.
lógico utilizando diagramas de Venn.
Construye soluciones de razonamiento utilizando la lógica
Lleva a cabo demostraciones con tablas de verdad, a
simbólica
través de la utilización de cuantificadores particulares y
universales. Utiliza el silogismo para obtener conclusiones en el marco del
Desarrolla ejercicios de aplicación utilizando reglas de razonamiento inductivo y del razonamiento deductivo.
trasposición, de simplificación, y de adjunción dentro del Lleva a cabo ejercicios de aplicación de las leyes de
marco de las reglas de inferencia. generalización, de ejemplificación existencial y de
Capacidad para simbolizar proposiciones utilizando la generalización existencial.
disyunción, la negación, la condicional y la bicondicional.
TABLA DE SABERES
Saber Conceptual Saber Procedimental Saber Ser (Valores)
Entender la lógica como el Utilizar los elementos de la lógica formal y Actitud para asumir la aplicabilidad de la
fundamento de disciplinas que de proposiciones para elaborar diagramas lógica como herramienta fundamental
abordan problemas al interior de de Venn con el fin de obtener conclusiones en el razonamiento del ser humano.
la Ing. de Sistemas. coherentes. Construye procesos de razonamiento
Identificar los conceptos Aplicar los aspectos fundamentales básicos basados en silogismos con habilidad en
fundamentales básicos del del razonamiento para obtener la validez cada caso particular.
razonamiento inductivo y del respectiva Construye procesos de generalización,
razonamiento deductivo Reconocer el buen uso de la lógica como elementos fundamentales para la
Dar importancia a la matemática para llevar a cabo algoritmos formación en Ingeniería de Sistemas.
aplicabilidad de la lógica en el universo de la lógica de programación Habilidad sobre el manejo de los
matemática en problemas que Utilizar el lenguaje comunicativo mediante lenguajes de predicados, las
requieran del uso de compuertas la lógica proposicional aplicando reglas de deducciones naturales y la
lógicas en disciplinas inferencia lógica facilitando la interpretación de estructuras
complementarias. argumentación y llegando a conclusiones demostrativas utilizando las reglas de
Evaluar la solidez de la evidencia inferencia.
para llegar a una conclusión de valor. Habilidad para pensar de forma
argumentativa a través del analítica, crítica y estructurada, y así
lenguaje formal. argumentar o inferir correctamente.
METODOLOGÍA GENERAL
TRABAJO PRESENCIAL
Uso de diapositivas
Utilización de contenidos en la plataforma de apoyo a la presencialidad (Moodle)
Uso de videos explicativos
Explicaciones magistrales
Metodología de Aprendizaje Basado en Problemas
TRABAJO INDEPENDIENTE
Desarrollo de tareas de práctica
Elaboración de informes
Lecturas de texto
Elaboración de diagramas mentales
CONTENIDOS DE LA ASIGNATURA
N° UNIDAD OBJETIVOS TEMAS Resultados de Aprendizaje
Describe la diferencia entre
lógica difusa, lógica discreta y
lógica de Boole
Enumera con claridad los
Comprender los fundamentos Introducción a la lógica elementos de análisis de la
epistemológicos de la lógica Proposiciones lógica (Causa – efecto,
matemática Conectivos lógicos antecedente consecuente,
Introducción a la
1 Diferenciar las características fundamentales Patrón de referencia).
lógica
funcionales de la lógica difusa, Condicional y Bicondicional Elabora representaciones
la lógica discreta y la lógica de Tablas de verdad numéricas en diferentes
Boole Sistemas de numeración sistemas de numeración
ISUL_RA04: Comunica
efectivamente en forma oral,
gráfica y por escrito usando un
lenguaje técnico
Conceptuar la forma de las Tautología Diferencia entre el objeto, el
proposiciones en el marco de Proposiciones equivalentes significado y el significante.
los ámbitos de evaluación Tautología trivial y doble Enuncia ejemplos de estructura
Ampliar el concepto del negación superficial y estructura profunda
2 Tautología
significado de la estructura Implicación directa, ISUL_RA04: Comunica
superficial y la estructura contraria, recíproca y contra efectivamente en forma oral,
profunda del objeto. recíproca gráfica y por escrito usando un
Comprender el sentido de Leyes de la lógica lenguaje técnico
Adquirir habilidad en el uso Enuncia proposiciones
de diagramas de Venn para inmediatas y mediatas
Cuantificadores
obtener conclusiones a partir Elabora diagramas de Venn con
Proposiciones categóricas
del uso de proposiciones enunciados universales y
Representación de las
Cuantificadores y particulares y universales particulares
proposiciones categóricas
3 proposiciones Adquirir habilidad en la Elabora tablas de verdad
Clasificación de las
categóricas construcción de tablas de combinadas con conjunción y
proposiciones categóricas
verdad diferenciando entre disyunción
Proposiciones contrarias y
tablas tautológicas, Diferencia entre tablas
de contingencia
contradictorias e tautológicas, contradictorias e
indeterminadas indeterminadas
Define el razonamiento lógico
como una secuencia de pasos
Conceptuar la validez como para resolver una situación
una herramienta práctica, que problemática al interior de la
Razonamiento lógico
utiliza el razonamiento lógico Ingeniería
El método científico
Razonamientos para su construcción Reconoce los elementos
4 Silogismos categóricos
lógicos Utilizar el silogismo categórico silogismo para ser utilizado en
Validez de un argumento
como herramienta práctica de pruebas formales de validez
Prueba formal de validez
la lógica matemática en el ISUL_RA04: Comunica
marco de la Ingeniería efectivamente en forma oral,
gráfica y por escrito usando un
lenguaje técnico
Utiliza los parámetros
constitutivos de las leyes de
Inferencia lógica
Elaborar conclusiones inferencia.
Leyes de inferencia
haciendo uso de las leyes de Lleva a cabo demostraciones
Aplicación de las leyes de
inferencia utilizando las leyes de inferencia
5 Inferencias Lógicas inferencia
Interpretar las ISUL_RA03: Resuelve problemas a
Demostración directa e
demostraciones como una partir de los conocimientos
indirecta
forma de argumentar matemáticos y de las ciencias
La refutación
básicas que puedan plantearse en
la Ingeniería
Resuelve expresiones
matemáticas con una variable
Adquirir habilidad para utilizar
Establece estructuras
el argumento inductivo en Argumento Inductivo
matemáticas utilizando las
problemas de lógica El problema de la inducción
formas de combinación acorde
Argumentos matemática La analogía
6 con las incógnitas planteadas
Inductivos Estructurar situaciones para La fuerza de los argumentos
ISUL_RA03: Resuelve problemas a
llevar a cabo razonamientos Analogía refutadora
partir de los conocimientos
matemáticos por medio de
matemáticos y de las ciencias
analogías
básicas que puedan plantearse en
la Ingeniería
CRITERIOS DE EVALUACIÓN
Test en la plataforma de apoyo a la presencialidad
1er. (30%)
Informe de trabajo colaborativo
Test en la plataforma de apoyo a la presencialidad
2do. (30%)
Informe de trabajo colaborativo
Test en la plataforma de apoyo a la presencialidad
3er. (40%)
Informe de trabajo colaborativo
FUENTES DE INFORMACIÓN O REFERENTES (DIGITALES E IMPRESOS)
Textos Guía
LÓGICA SIMBÓLICA PARA INFORMÁTICOS - Pascual Julián Iranzo - Alfaomega Ra-Ma
TEORIA DE CONJUNTOS Y TEMAS AFINES - Seymour Lipschutz - Serie Shaum
LOGICA DE PROGRAMACIÓN - E.M. Oviedo
Segunda Edición. Ecoe ediciones, 2005 -
METODOLOGÍA DE LA PROGRAMACIÓN - Osvaldo Cairo
Segunda edición. Alfaomega Grupo Editor, S.A., 2005
PROGRAMACIÓN EN VISUAL BASIC .NET - Luis Miguel Blanco - Editorial Grupo Eidos, - 2002
Pedro Alonso Forero Saboya
DIRECTOR DEL PROGRAMA
DOCENTE DECANO
(SI APLICA)
Control de cambios
Fecha de actualización Descripción de la actualización del Microcurrículo realizado Responsable
Marzo de 2022 Actualización con Resultados de aprendizaje Pedro Alonso Forero Saboya
