INSTITUTO UNIVERSITARIO DE TECNOLOGÍA
“ANTONIO JOSÉ DE SUCRE”
EXTENSIÓN BARQUISIMETO
ESPECIALIDAD: INFORMÁTICA
ASIGNATURA: ALGEBRA I
CODIGO: 7820521
UNIDADES CREDITOS: 2 U.C.
DENSIDAD HORARIA:
H.T.: 1
H.P.: 2
H.L.: -
T.H.: 3
PRELACION: S/P
OBJETIVO TERMINAL DE LA ASIGNATURA:
Al finalizar el semestre, el alumno estará en capacidad de interpretar la lógica del
Computador.
PAG 1
INSTITUTO UNIVERSITARIO DE TECNOLOGÍA
“ANTONIO JOSÉ DE SUCRE”
EXTENSIÓN BARQUISIMETO
UNIDAD I:
LOGICA PROPOSICIONAL.
DURACIÓN: 7 SEMANAS
CONTENIDO PROGRAMATICO:
1.1.- Proposiciones:
- Definición.
- Términos de enlace o conectivos lógicos.
- Forma de las proposiciones moleculares.
- Simbolización.
- Tabla de verdad.
- Algebra de proposiciones:
a- Tautología.
b- Equivalencia lógica.
c- Leyes del álgebra de proposiciones.
1.2.-Implicación lógica:
- Razonamiento deductivo válido.
- Regla de inferencia.
UNIDAD II:
PROCESO DE INFERENCIA
DURACIÓN: 6 SEMANAS
CONTENIDO PROGRAMATICO:
PAG 2
2.1.-Proceso de inferencia. Métodos:
- Demostración condicional.
INSTITUTO UNIVERSITARIO DE TECNOLOGÍA
“ANTONIO JOSÉ DE SUCRE”
EXTENSIÓN BARQUISIMETO
- Demostración por reducción al absurdo o contradicción.
2.2.-Términos y predicados:
- Simbolización.
2.3.-Función proposicional:
- Cuantificadores.
- Negación de funciones proposicionales cuantificadas.
- Simbolización de razonamientos con cuantificadores.
UNIDAD III:
TEORIA DE CONJUNTOS
DURACIÓN: 5 SEMANAS
CONTENIDO PROGRAMATICO:
3.1.- Conjunto: definición, notación y caracterización.
- Operaciones entre conjuntos unión, intersección, complemento, diferencia,
conjunto de partes, inclusión y productos naturales.
- Números naturales.
- Axiomas.
- Principio de inducción.
3.4.-Relaciones y funciones.
- Relación: definición.
- Propiedades.
- Relación de equivalencia.
- Relación de orden.
- Clases de equivalencia.
- Partición de un conjunto.
- Funciones: definiciones.
- Clasificación de funciones (Sobreyectiva, Inyectiva, Biyectiva).
PAG 3

Programa de algebra_uts

  • 1.
    INSTITUTO UNIVERSITARIO DETECNOLOGÍA “ANTONIO JOSÉ DE SUCRE” EXTENSIÓN BARQUISIMETO ESPECIALIDAD: INFORMÁTICA ASIGNATURA: ALGEBRA I CODIGO: 7820521 UNIDADES CREDITOS: 2 U.C. DENSIDAD HORARIA: H.T.: 1 H.P.: 2 H.L.: - T.H.: 3 PRELACION: S/P OBJETIVO TERMINAL DE LA ASIGNATURA: Al finalizar el semestre, el alumno estará en capacidad de interpretar la lógica del Computador. PAG 1
  • 2.
    INSTITUTO UNIVERSITARIO DETECNOLOGÍA “ANTONIO JOSÉ DE SUCRE” EXTENSIÓN BARQUISIMETO UNIDAD I: LOGICA PROPOSICIONAL. DURACIÓN: 7 SEMANAS CONTENIDO PROGRAMATICO: 1.1.- Proposiciones: - Definición. - Términos de enlace o conectivos lógicos. - Forma de las proposiciones moleculares. - Simbolización. - Tabla de verdad. - Algebra de proposiciones: a- Tautología. b- Equivalencia lógica. c- Leyes del álgebra de proposiciones. 1.2.-Implicación lógica: - Razonamiento deductivo válido. - Regla de inferencia. UNIDAD II: PROCESO DE INFERENCIA DURACIÓN: 6 SEMANAS CONTENIDO PROGRAMATICO: PAG 2 2.1.-Proceso de inferencia. Métodos: - Demostración condicional.
  • 3.
    INSTITUTO UNIVERSITARIO DETECNOLOGÍA “ANTONIO JOSÉ DE SUCRE” EXTENSIÓN BARQUISIMETO - Demostración por reducción al absurdo o contradicción. 2.2.-Términos y predicados: - Simbolización. 2.3.-Función proposicional: - Cuantificadores. - Negación de funciones proposicionales cuantificadas. - Simbolización de razonamientos con cuantificadores. UNIDAD III: TEORIA DE CONJUNTOS DURACIÓN: 5 SEMANAS CONTENIDO PROGRAMATICO: 3.1.- Conjunto: definición, notación y caracterización. - Operaciones entre conjuntos unión, intersección, complemento, diferencia, conjunto de partes, inclusión y productos naturales. - Números naturales. - Axiomas. - Principio de inducción. 3.4.-Relaciones y funciones. - Relación: definición. - Propiedades. - Relación de equivalencia. - Relación de orden. - Clases de equivalencia. - Partición de un conjunto. - Funciones: definiciones. - Clasificación de funciones (Sobreyectiva, Inyectiva, Biyectiva). PAG 3