CODIGO: 201-300-PRO05-FOR01

UNIVERSIDAD POPULAR DEL CESAR

VERSIÓN: 1

PLAN DE ASIGNATURA PÁG.: 1 de 6

IDENTIFICACIÓN
Nombre de la asignatura LOGICA MATEMATICA
Código de la asignatura ISA002
Programa Académico Ingeniería de Sistemas
Créditos académicos 2
Trabajo semanal del estudiante Docencia directa: 2 Trabajo Independiente: 4
Trabajo semestral del estudiante 64
Pre-requisitos N/A
Co-requisitos
Departamento oferente Ingenierías de Sistemas
Teórico: x Teórico- Práctico:
Tipo de Asignatura
Práctico:
Habilitable: x No Habilitable:
Naturaleza de la Asignatura Validable: No Validable:
Homologable: No Homologable:
PRESENTACIÓN

Los modelos matemáticos son una herramienta importante e imprescindible en la

representación y solución de problemas de naturaleza informática. De igual forma su
estudio estructura el pensamiento, para el manejo de formalizaciones, argumentaciones
lógicas, planteamiento de problemas, manejo de soluciones algorítmicas, estrategias de
solución, entre otras. Habilidades y conocimientos que ayudan al buen desempeño del
futuro ingeniero de sistemas.

JUSTIFICACIÓN

Modernamente la lógica se ha convertido en una materia no solo abstracta, sino de gran

amplitud y aplicación a otras ciencias, y muy especialmente en el campo de la Informática.
La lógica contribuye al desarrollo de la capacidad de reflexión e imaginación para actuar
con mentalidad más abierta y con pensamiento lógico. Esta materia introduce al estudiante
a las teorías lógico – matemáticas que fundamentan las Ciencias de la Computación.
Permitirá al individuo utilizar la Lógica como medio formal para la resolución de problemas
de Inteligencia artificial mediante el ordenador.
 CODIGO: 201-300-PRO05-FOR01
UNIVERSIDAD POPULAR DEL CESAR
VERSIÓN: 1

PLAN DE ASIGNATURA PÁG.: 2 de 6

OBJETIVO GENERAL
Desarrollar el pensamiento lógico para análisis, argumentación, planteamiento y solución de
problemas. Habilidades que permiten el buen desempeño del ingeniero de sistemas.

OBJETIVOS ESPECÍFICOS
1. Desarrollar los diferentes tipos de proposiciones, utilizando los diferentes conectivos
lógicos y apoyándose en las tablas de verdad
2. identificar y distinguir las diferentes clases entre las relaciones de conjuntos
3. simplificar circuitos lógicos complejos usando expresiones booleanas
4. simplificar expresiones booleanas mediante el uso de mapas de Karnaugh
5. mostrar algunas aplicaciones del álgebra booleana y su implementación

COMPETENCIAS GENERALES Y ESPECÍFICAS

Capacidad para organizar y planear
Capacidad para trabajar autónomamente
Capacidad para tomar decisiones
PROPOSITIVAS
Capacidad para solucionar problemas
Capacidad de ejercer liderazgo
Capacidad para generar nuevas ideas (creatividad)
Capacidad para trabajar en equipo e
interdisciplinariamente
Capacidad de construir consensos
Capacidad para el desarrollo del pensamiento crítico,
CONVIVENCIA
abierto y reflexivo
Capacidad de autorreflexión y autocrítica
Capacidad para actuar con ética, disciplina y
responsabilidad
Capacidad para aprender
Capacidad para analizar y sintetizar
APRENDIZAJE
Capacidad para adaptarse a los cambios o nuevas
situaciones
Capacidad para la comunicación oral y escrita
Capacidad para aplicar las habilidades básicas
COMUNICATIVAS
computacionales o en informática
Capacidad para buscar, manejar y usar información
 CODIGO: 201-300-PRO05-FOR01
UNIVERSIDAD POPULAR DEL CESAR
VERSIÓN: 1

PLAN DE ASIGNATURA PÁG.: 3 de 6

Especificas:
• Resolver problemas de la vida cotidiana mediante la aplicación de teoremas de conjuntos
• Desarrollar los diferentes tipos de proposiciones, utilizando los diferentes conectivos lógicos y apoyándose
en las tablas de verdad.
• Simplificar circuitos lógicos complejos usando expresiones booleanas
• Aplicar los conocimientos para proponer y desarrollar métodos para la solución de problemas cotidianos.

Genéricas:
• Estructurar la solución de problemas bajo una secuencia de instrucciones que facilite el desarrollo de
software.
• Proporcionar al individuo la preparación teórica y práctica requerida para el desarrollo de software usando
computación lógica, para ayudar en la solución de problemas reales de su entorno social.
• Desarrollar y utilizar modelos físico-matemáticos de los problemas de la Ingeniería en forma acorde con los
progresos científicos y técnicos.

METODOLOGÍA
El curso por ser teórica se basará en conferencias magistrales, con el fin de presentar el
panorama global del tema y conceptualizarlo por parte del docente, por consiguiente el
estudiante podrá participar activamente durante las conferencias, además de tener lecturas
complementarias asociadas a cada tema propuesto.
Los estudiantes realizaran talleres de investigación formativa.

ESTRATEGIAS METODOLÓGICAS
Se presenta a los estudiantes diferentes alternativas didácticas y metodológicas, con el fin que el
estudiante se apropie del conocimiento.
Las consultas de temas específicos, ayudado de talleres que potencialicen los saberes de los
estudiantes harán efectiva la relación alumno- docente

CONTENIDO
UNIDAD CONTENIDO SEMANA
• Presentación Curricular, Metodología,
Porcentaje, Fechas Parciales y Examen. 1
• Conjuntos, elementos y representación de
conjuntos.
• Conjuntos numéricos
• Relación y presentación gráfica entre 2
UNIDAD 1 conjuntos
Teoría de conjuntos • Conjunto familia y conjunto potencia
• Operaciones entre conjuntos 3
• Principio de contar
• Socialización taller pre-parcial 4
• Aplicaciones en solución de problemas
APLICACIÓN PRIMER PARCIAL 5
 CODIGO: 201-300-PRO05-FOR01
UNIVERSIDAD POPULAR DEL CESAR
VERSIÓN: 1

PLAN DE ASIGNATURA PÁG.: 4 de 6

Socialización del primer parcial.

• Simbolización y proposiciones simples 6
• Conectivos lógicos y tablas de verdad
• Tautologías, Inferencias y Contradicciones 7
• Diagrama de árbol
UNIDAD 2
• Valuación de enunciados 8
Cálculo • Leyes de implicación y de equivalencia.
proposicional • Demostraciones mediante leyes lógicas
Principios de lógica • Silogismos categóricos: Proposición 9
categórica, sujeto y predicado.
APLICACIÓN SEGUNDO PARCIAL 10
Socialización del primer parcial.
• Introducción al álgebra booleana.
• Variables y constantes booleanas 11
• Expresiones y funciones booleanas.
UNIDAD 3 • Propiedades del álgebra booleana
Álgebra booleana • Dualidad en expresiones booleana. 12
• Desarrollos en sumas de producto FND
• Diagramas de karnaugh 13
• Desarrollo en sumas de producto FNC
• Circuitos lógicos.
• Representación de los circuitos 14
• Compuertas lógicas.
UNIDAD 4 • Combinaciones de puertas lógicas
• Grafos
Compuertas lógicos • Isomorfismos de grafos. 15
y Grafos • Conexión en grafos
APLICACIÓN EXAMEN FINAL.
16
Socialización del primer parcial.
 CODIGO: 201-300-PRO05-FOR01
UNIVERSIDAD POPULAR DEL CESAR
VERSIÓN: 1

PLAN DE ASIGNATURA PÁG.: 5 de 6

EVALUACIÓN
Se realizarán evaluaciones cualitativas de los alumnos, las cuales le permitirán al docente
tener una visión global sobre la apropiación del conocimiento por parte del alumno:
Participación del alumno
En clase mediante preguntas
Exámenes parciales
Talleres.

Se contemplan tres evaluaciones durante el semestre y se dividen en dos exámenes

parciales y un examen final, la ponderación de cada corte quedará así:

PRIMER CORTE 30%

SEGUNDO CORTE30%
EXAMEN FINAL 40%

REFERENCIAS BIBLIOGRÁFICAS
• Matemática Digital, Barco C. Barco G y Aristizábal W. McGraw-Hill 1998
• Teoría de conjuntos schaumm 1992
• Algebra y Trigonometría, Segunda edición, McGraw-Hill Dennis G. Zill 1999
• Seymour, lipschutz, 2000 problemas de matemática discreta. McGraw-Hill
• Matemáticas discreta. Seymour L y Marc L. McGraw-Hill 2007
• Matemática discreta y sus aplicaciones. 5a edición Kenneth h. Rosen. McGraw-Hill. 2004
• Matemática discreta y lógica, Winfried Karl Grassmann. Prentice hall 1997
• Lógica, nociones y aplicaciones (McGraw-Hill, 2004); Escobar Gustavo.
• Teoría de conjuntos Schaumm 1992
• Introducción a la lógica matemática, Patrick S y Shirley H, Reverté Colombia 1998.

CIBERGRAFIA

Aula Virtual: http://aula.upc-aguachica.edu.co/

 CODIGO: 201-300-PRO05-FOR01
UNIVERSIDAD POPULAR DEL CESAR
VERSIÓN: 1

PLAN DE ASIGNATURA PÁG.: 6 de 6