UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA

FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN

CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE
INFORMACIN
PENSUM 2015

CDIGO:
PRE-REQUISITO:
JORNADA:

005

CRDITOS
POST-REQUISITO:

VESPERTINA

PRESENTACIN:

El curso de lgica primordialmente, trata el estudio de las

caractersticas y propiedades fundamentales de los sistemas lgicos
tradicionales: la lgica de proposiciones y la lgica de predicados. Sin
menospreciar el rigor matemtico se ha dado gran importancia a las
tcnicas de formalizacin, y ms generalmente a las tcnicas de
representacin del conocimiento mediante la lgica, as como a los
procesos deductivos. Conscientemente se ha buscado un equilibrio entre
ambos extremos, lo que distingue al contenido de este curso ya que
hace hincapi en los contenidos matemticos y la meta teora, o bien se
aborda el estudio de la lgica de forma meramente descriptiva y
centrndose en los problemas de deduccin formal (en la propia lgica).
Este curso adems permitir al catedrtico hacer analogas entre los
elementos lgicos y las instrucciones de los lenguajes ms populares.
OBJETIVO GENERAL

Aportar los recursos bsicos en la adquisicin y procesamiento del

conocimiento, promover actitudes coherentes e imprescindibles en el

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA

FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE
INFORMACIN
PENSUM 2015

trabajo intelectual y aportar una base slida a nuevos conocimientos

que el alumno tendr que adquirir a lo largo de su carrera
OBJETIVOS ESPECFICOS

Que el estudiante
Consiga una forma de razonamiento ordenado; para resolver
problemas reales.
Cuente con un recurso bsico en toda forma de razonamiento,
constitucin de la creencia y fundamentacin del conocimiento.
Conciba la necesidad del planteamiento de sus pensamientos
para lograr un resultado confiable.
Obtenga la oportunidad de razonar y hacer planteamientos
antes de obtener resultados concretos.

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA

FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE
INFORMACIN
PENSUM 2014
CONTENIDO PROGRAMTICO DEL CURSO
1. Lgica
1.1. Nociones Preliminares de Lgica.
1.2. La Lgica.
2. Lgica del Concepto.
2.1. El Concepto.
2.2. Los Objetos
2.3. Tradas del Concepto.
2.4. rboles Lgicos.
3. El Lenguaje y la Lgica de las Proposiciones.
3.1. Lgica de las Proposiciones.
3.2. Lgica Matemtica.
3.3. Funciones del Lenguaje.
4. Razonamientos y Falacias.
4.1. El Razonamiento.
4.2. Clasificacin de los Razonamientos.
4.3. La Inferencia.
4.4. Falacias.
4.5. Falacias de atingencia.
4.6. Falacias de ambigedad.
5. La Creatividad y Bloqueos Mentales.
5.1. La Creatividad.
5.2. La Prctica de la Creatividad.
5.3. Bloqueos Mentales.
5.4. Tipos de Bloqueos Mentales.
6. lgebra de Boole, Circuitos y Compuertas Lgicas.
6.1. lgebra de Boole. Conceptos, definiciones y teoremas.
6.2. Compuertas Lgicas. La compuertas OR, AND, NOT, NOR, NAND.
6.3. Circuitos.
6.4. Circuitos Lgicos.
6.5. Simplificacin de Circuitos Lgicos.
7
Lgica de la Resolucin de Un Problema
1.1. Introduccin
1.2. Planteamiento de problemas
1.3. Anlisis Bsico
1.4. Diseo de la solucin
1.5. Validacin del diseo
1.6. Prueba y depuracin: depuradores, estrategias bsicas de prueba y
depuracin
1.7. Documentacin interna y externa

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA

FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE
INFORMACIN
PENSUM 2015

Modelo Conceptual de la Metodologa UML.

7.1. Identificar clases, objetos y atributos.
7.2. Identificar relaciones.
7.3. Casos de Uso

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA

FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN
CARRERA: LICENCIATURA EN INGENIERA EN SISTEMAS DE
INFORMACIN
PENSUM 2014
EVALUACIN

Primer Parcial

10
puntos

Segundo Parcial

20
puntos

Laboratorios,
investigacin
Examen Final
Nota Final

Bibliografa

tares

trabajos

de

20
puntos
50
puntos
100
puntos