INSTITUCIÓN UNIVERSITARIA DE COLOMBIA

PROGRAMA: INGENIERÍA DE SISTEMAS

CONTENIDO PROGRAMÁTICO

I. DATOS GENERALES

1.1. Asignatura LÓGICA MATEMÁTICA

1.2. Área BÁSICA

1.3. Núcleo Básico

1.4. Periodo 4

1.5. Créditos 3

1.6. Duración del curso OCTUBRE A NOV. de 2021

1.7. Docente Oscar R. Arteaga U.

II. JUSTIFICACIÓN

La Lógica Matemática tiene una especial importancia ya que siendo una ciencia
dedicada al estudio de las estructuras y leyes que rigen la inferencia, está en la
posibilidad de dotar a los estudiantes de las herramientas de un método de pensamiento
lógico.
El aporte de las teorías constructivistas encuentra en la Lógica un excelente campo de
aplicación. Este tipo de educación académicamente exigente requiere de los estudiantes
un conjunto de capacidades que deben desarrollar, entre ellas: lectura comprensiva,
identificación y solución de problemas, análisis, habilidad para investigar y comunicar

1
 adecuadamente.

III. OBJETIVOS

GENERAL:
Cuestionar los conceptos y las reglas de deducción que son utilizadas en las Matemáticas
y esto constituye a la Lógica una verdadera Matemática. Dotar al estudiante de la
capacidad de formulación y de generación de inferencias correctas en el marco de varios
sistemas formales, además de aportar una visión general de lógica de predicados con
identidad.

Específicos

 Interpretación y apropiación conceptual de la lógica y teoría de conjuntos.

 Interpretación conceptual de los valores de certeza y cuantificadores a través de la

teoría de conjuntos.
Aplicar la Teoría de Conjuntos a la resolución de problemas, deduciendo fórmulas de
razonamiento

IV. CONTENIDOS

SESIÓN 1: PRESENTACIÓN DEL DOCENTE.

Socialización del programa.
Breve historia de la lógica
Pasado, presente y futuro de la lógica
Solución de problemas sencillos

SESIÓN 2–3: TEORÍA DE CONJUNTOS

Clases de conjuntos
Determinación de un conjunto.
Ejercicios resueltos y propuestos
Operaciones con conjuntos
0SESIÓN 4 -5: DIAGRAMAS DE VENN
Qué son. Ejemplos
Ejercicios resueltos

SESIÓN 6-7: PROBLEMAS RESUELTOS

Aplicando diagramas de Venn

SESIÓN 8-9: PROBLEMAS PROPUESTOS CON VENN

2
 Problemas resueltos aplicando ecuaciones
Problemas propuestos

SESIÓN 10-11: PROPOSICIONES Y CLASES

Lógica y lingüística. Conectivos lógicos.
Cuantificadores.
Categóricas: universal afirmativa.
Universal negativa,
Particular afirmativa, particular negativa

SESIÓN 12–13: OPERADORES LÓGICOS

Conjunción (y), disyunción (o)
Condicional, bicondicional
Ejemplos, ejercicios resueltos
Ejercicios propuestos

SESIÓN 14–15: TABLAS DE VERDAD

Tautología, contradicciones
Ejemplos, ejercicios resueltos
Ejercicios propuestos

SESIÓN 16-17: ALGEBRA DE BOOLE

Expresiones booleanas
Algebra booleana de los conjuntos
Algebra booleana de la lógica
Forma normal disyuntiva
Forma normal conjuntiva
Ejercicios resueltos
Ejercicios propuestos

SESIÓN 18-19: MÉTODO CIENTÍFICO

Método deductivo
Método inductivo
Silogismos categóricos
Argumento deductivo y argumento válido,
Inferencias lógicas. La demostración.
Inducción. Argumento inductivo por analogía
Evaluación de los argumentos lógicos
Refutación por medio de una analogía

SESIÓN 20: EVALUACIÓN FINAL

3
V. RECURSOS DIDÁCTICOS

Tablero y marcadores.

Uso de plataforma académica Moodle como herramienta de difusión e

intercambio de contenidos.

Salas de cómputo.

Computadores, tabletas

Conexión a internet.

Videobeam

VI. METODOLOGÍA

Organizar trabajos en grupos

Clases magistrales.

Mesas de discusión

Investigación y exposiciones.

Estudio de casos.

Talleres individuales y grupales.

Dinámicas de grupo.

VII. EVALUACIÓN

Se definen tres (3) momentos de evaluación citados en el desarrollo de las sesiones,

así:

SESIÓN 8: Primera evaluación 30 %.

4
 SESIÓN 16: Segunda evaluación 30 %.

SESIÓN 24: Examen final 40 %.

VIII. BIBLIOGRAFÍA BÁSICA

MORENO, Ju a n . 2011. “Programación”. Barcelona: RA-MA S.A. Editorial y

Publicaciones.

MÉNDEZ, Alejandra. 2013. “Diseño de algoritmos y su programación”.

Bogotá: Alfaomega.

SZNAJDLEDER, Pa b l o . 2013. “Java a fondo”. Buenos Aires: Alfaomega.