República Bolivariana de Venezuela Semestre: I

Ministerio del Poder Popular para la Educación Superior

Instituto Universitario de Tecnología Valencia Código: 3122
Departamento de Informática
Unidades Crédito: 2

Asignatura Lógica
Pre-Requisitos Co-Requisito

Horas Semanales 4
Horas Teóricas 4
Elaborado por: Horas Prácticas 0
Lic. Basan Asfur Ultima Actualización:

Objetivo General Sinóptico

Al finalizar el curso, el estudiante evaluara la o Unidad I: Concluida la Unidad I, el

validez de un razonamiento lógico, táctico o alumno debe ser capaz de determinar la
formal, lingüístico o simbólico, demostrando validez ó no de un razonamiento lógico
dominio y destreza de los procedimientos de
análisis, así como el establecimiento de
esquemas analógicos con la lógica Booleana,
utilizando compuertas lógicas y sistemas de
Unidad II: Teoría de Conjuntos. .
numeración binario y hexadecimal.
Unidad III: Relaciones reales. .
Unidad IV: Lógica Booleana.

Bibliografía.
3122 Lógica
Contenido Detallado

Unidad I: Concluida la Unidad I, el alumno debe ser capaz de Teoremas de DE Morgan y de Boole.
determinar la validez ó no de un razonamiento lógico. Universalidad de las compuertas Nand, Nor.
 
1.1 Elementos que definen a la lógica como Ciencia. Sistemas de Numeración (Binario – Hexadecimal).
1.2 Lógica Matemática.
1.4 Lenguajes. Tipos. 
2.1 Proposición Unidad IV:
3. Proposición simple y compuesta.
IV:4.1 Principios básicos de la lógica booleana. 
4. Símbolos primitivos de la Lógica: variable proporcional.
IV.4.2 Constantes y variables booleanas. 
Conectivos Lógicos. Símbolos de agrupación. 
IV.4.3 Tabla de valores. 
5. Forma proporcional.
IV.4.4 Operaciones logicas: OR, AND, NOT. 
6. Formas proporcionales: negación, conjunción, disyunción,
IV.4.5 Descripciones algebraicas de los circuitos lógicos. 4.6
condicional y bicondicional
IV.Compuertas lógicas. 
7. Tablas de verdad de una forma proporcional. 
IV.4.6 Teoremas de DE Morgan y de Boole.
8. Tautología, contradicción y contingencia.
IV.4.7 Universalidad de las compuertas Nand, Nor. 
9. método (Quine abreviado). 
IV.4.8 Sistemas de Numeración (Binario – Hexadecimal).
10. Equivalencia lógica.
11. Álgebra de proposiciones. 
1.Simplificación de formas proporcionales
13 Condicionales asociados a uno dado: condicional directo,
condicional reciproco, condicional contrario, condicional
contrarecíproco
14 implicación lógica. 
15. Condición suficiente y condición necesaria.
16 Razonamiento lógico 
17. Reglas de inferencia.

Unidad II:

2.1 Definiciones Fundamentales y

Operaciones básicas con conjuntos. Representación y diagramas
de Vonn de las operaciones con conjuntos. Leyes del Álgebra
de conjuntos. Familia de partes y partición de un conjunto. 
2.2 Números de elementos de un conjunto: Par Ordenado y
Producto Cartesiano de conjuntos. 
2.3 Relaciones binarias entre conjuntos. Funciones lógicas de
una y dos variables.
Cuantificación y cuantificadores.

Unidad III:

3.1 Región solución. 

3.2 Lógica Algorítmica. 
3.3 Resolución de Problemas.

Unidad IV:

Principios básicos de la lógica booleana. 

Constantes y variables booleanas. 
Tabla de valores. 
Operaciones logicas: OR, AND, NOT. 
Descripciones algebraicas de los circuitos lógicos. Compuertas
lógicas. 

Firma y Sello Dpto. de Informática Firma y Sello Dpto. Control de Estudios