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