UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA

DEPARTAMENTO DE MATEMATICA

PROGRAMA ANALTICO
ALGEBRA I (MAT 100)

1. IDENTIFICACION

Asignatura ALGEBRA I
Cdigo de asignatura(Sigla) MAT 100
Semestre I
Prerrequisitos NINGUNO
Horas semanal (HS) HT 4 HP 2 LAB 0 THS 6
Crditos (CR) 5
Perodo acadmico II/2011
Docente DEPARTAMENTO DE MATEMATICAS

2. JUSTIFICACION

El Algebra constituye una de las ms poderosas herramientas tericas de la

Matemtica Aplicada. Su aprendizaje y su utilizacin en los programas de Ingeniera
es fundamental, pues gracias a ellas es posible modelar en forma dinmica una
enorme variedad de procesos en reas tales como la Fsica, la Qumica, la
Geometra y otras de la Ingeniera en particular y de la Ciencia en general., haciendo
posible la ampliacin del razonamiento lgico, visin y comprensin del mundo que
nos rodea y su aplicacin en el aprendizaje de otras materias especficas de la
carrera.

3. OBJETIVOS

Traducir proposiciones verbales del lenguaje usual al simblico y viceversa.

Identificar razonamientos vlidos.
Interpretar relaciones y funciones geomtricamente.
Analizar las estructuras matemticas bsicas.

1
 UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

4. CONTENIDO TEMATICO

Introduccin a la Lgica Simblica.- Conjuntos, relaciones y funciones.- Nociones de

estructuras matemticas.

UNIDADES DEL PROGRAMA

UNIDAD I: INTRODUCCION A LA LOGICA SIMBOLICA

Tiempo: 30 horas

Objetivos:

Traducir proposiciones verbales del lenguaje usual al simblico y viceversa.

Valorar proposiciones lgicas.
Plantear esquemas preposicionales.
Identificar razonamientos vlidos

Contenido:
INTRODUCCION
1.1 Lenguaje de la lgica
1.2 Resumen de la historia de la lgica

LOGICA DE PROPOSICIONES
PROPOSICION
1.3 Definicin
1.4 Valor de verdad
1.5 Clasificacin

OPERACIONES CON PROPOSICIONES

1.6 Negacin
1.7 Conjuncin
| 1.8 Disyuncin
1.9 Disyuncin exclusiva
1.10 Condicional
1.11 Bicondicional
1.12 Propiedades de las operaciones con proposiciones

2
 UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

FORMULAS PROPOSICIONALES
1.13 Tautologa
1.14 Contradiccin
1|.15 Contingencia

RELACIONES ENTRE FORMULAS

1.16 Implicacin Lgica
1.17 Equivalencia Lgica

CIRCUITOS LOGICOS
1.18 Circuitos en serie
1.19 Circuitos en paralelo
1.20 Circuitos compuestos
1.21 Circuitos complementarios

INFERENCIA LGICA
1.22 Definicin
1.23 Inferencia vlida
1.24 Reglas de Inferencia
1.25 Mtodos de Demostracin

LOGICA DE PREDICADOS
ESQUEMA PROPOSICIONAL EN UNA VARIABLE
1.26 Definicin
1.27 Valor de un esquema proposicional
1.28 Raz de una E.P. en una variable
1.29 Operaciones con E.P.
1.30 Cuantificador universal
1.37 Cuantificador existencial
1.38 Negacin de enunciados cuantificados
1.39 Reglas de inferencia con esquemas proposicionales

ESQUEMA PROPOSICIONAL EN DOS VARIABLES

1.40 Definicin
1.41 Valor de un E.P. para un valor de una de las variables y para un par de
valores
1.42 Cuantificador Simple
1.43 Cuantificador Doble
1.44 Negacin de enunciados doblemente cuantificados
1.45 Razonamiento deductivo con enunciados cuantificados

3
 UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

UNIDAD II: TEORIA DE CONJUNTOS

Tiempo: 20 horas

Objetivos:

Plantear operaciones con conjuntos.

Contenido:
CONJUNTOS
2.1 Nociones primitivas
2.2 Relaciones de inclusin e igualdad
2.3 Formas de determinar un conjunto
2.4 Conjuntos especiales
2.5 Conjunto potencia
2.5 Conjunto solucin

OPERACIONES CON CONJUNTOS

2.6 Unin de conjuntos
2.7 Interseccin de conjuntos
2.8 Diferencia de conjuntos
2.9 Complemento de un conjunto
2.10 Diferencia simtrica
2.11 Operaciones generalizadas
2.12 Propiedades de las operaciones conjuntistas
2.13 Formas de demostracin de igualdades conjuntistas
2.14 Intervalos
2.15 Nmero de elementos de un conjunto

UNIDAD III : RELACIONES Y FUNCIONES

Tiempo: 20 horas

Objetivos:

Interpretar relaciones y funciones geomtricamente.

Contenido:

RELACIONES

4
 UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

3.1 Par ordenado y producto cartesiano

3.2 Grficas del producto cartesiano
3.3 Conjunto solucin de un E.P. en dos variables
3.4 Relacin de un conjunto en otro
3.5 Dominio y Recorrido de una relacin
3.6 Relacin inversa
3.7 Composicin de relaciones
3.8 Propiedades de las relaciones en un conjunto
3.9 Clases de equivalencia
3.10 Conjunto cociente
3.11 Particin de un conjunto
3.12 Relacin de orden

FUNCIONES
3.13 Definicin (condiciones de existencia y unicidad)
3.14 Interpretacin geomtrica
3.15 Propiedades (inyectiva, sobreyectiva, biyectiva)
3.16 Funcin inversa
3.17 Composicin de funciones
3.18 Operacin con funciones

UNIDAD IV: SUCESIONES

Tiempo: 10 hrs.
Objetivos:
Interpretar y plantear operaciones con conjuntos.
Contenido:
SUCESIONES Y ANALISIS COMBINATORIO
DEFINICION
4.1 Principio de induccin completa
4.2 Sucesin suma simple y suma doble
4.3 Sucesin factorial
4.4 Sucesin nmero combinatorio
4.5 Permutaciones
4.6 Combinaciones
4.7 Variaciones
4.8 Binomio de Newton

5
 UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

UNIDAD V: NOCIONES DE ESTRUCTURAS ALGEBRAICAS

Tiempo: 16 horas
Objetivo:
Identificar estructuras matemticas
Contenido:
OPERACIONES
5.1 Ley de composicin binaria interna
5.2 Propiedades
5.3 Elementos distinguidos
5.4 Grupoide
5.5 Semigrupo
5.6 Monoide
5.7 Grupo
5.8 Definicin
5.9 Grupo de permutaciones
5.10 Sub grupo
5.11 Homomorfismo entre grupos
5.12 Sub - grupos normales
5.13 Clases laterales y prioridades

ANILLO
5.14 Definicin
5.15 Propiedades
5.16 Tipos de anillos (anillos conmutativos y anillos con unidad )
5.17 Anillos sin divisores de cero
5.18 Dominio de integridad
5.19 Sub-anillos e ideales

CUERPO o CAMPO
5.20 Definicin
5.21 Propiedades

5. METODOLOGA
Para el dictado de los contenidos se ha determinado los siguientes mtodos de enseanza:
a) Clases de carcter terico-conceptual: Clases a cargo del profesor, a modo orientador,
presentando los temas para situar intelectualmente a los alumnos en el desarrollo de su

6
 UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

razonamiento lgico. Su desarrollo se basar en el uso de elementos auxiliares para la

enseanza, como pizarra, proyector de multimedia.
b) Desarrollo de Trabajos Prcticos: Los conceptos introducidos en las clases tericas,
especialmente los relativos a la solucin de problemas y aplicaciones de la vida real, tendrn
una componente prctica basada en la propuesta y resolucin de problemas, de carcter
individual o grupal, as como tambin la investigacin de tpicos referentes a las unidades
programticas.
c) Prcticas de Laboratorio: Se utilizarn los Laboratorios de Matemticas para la
realizacin de prcticas especficas que permitan conocer el uso de sistemas de aplicacin
computacionales.
d) Elaboracin del proyecto final de la materia: El proyecto es de carcter grupal,
consistente en un trabajo de investigacin sobre aplicacin de los problemas (Nivel
conceptual, intermedio y fsico) de un caso real, proporcionado por la ctedra. El proyecto
deber ser entregado en la fecha fijada por la ctedra.

6. CRONOGRAMA DE ACTIVIDADES

CROGRAMA DE AVANCE
SEMANAS UNIDAD UNIDAD UNIDAD UNIDAD UNIDAD EXAMENES EXMENES EXMEN
#1 # 2 #3 #4 #5 PRCTICOS PARCIALES FINAL
1 X DIAGNSTICO
2 X
3 X
4 X
5 X 1 EXAMEN
6 X
7 X
8 X 1 PARCIAL
9 X
10 X
11 X
12 X
13 X
14 X 2 EXAMEN
15 X
16 X 2 PARCIAL
17 X EXAMEN
FINAL

7
 UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

7. EVALUACIN
La evaluacin se realizara siguiendo los parmetros que a continuacin se describen.

ITEM DESCRIPCIN PROCENTAJE TEMAS

1 Primer examen parcial 20% Unidades 1,2

2 Segundo examen parcial 20% Unidades 3,4,5

3 Examen, proyecto o trabajo prctico 20 % Aplicacin de la materia.

4 Examen Final 40 % Todas las Unidades

1) Primer examen parcial

La evaluacin del primer parcial tendr 3 componentes:

a) Terico, conceptual.

b) Razonamiento lgico en la resolucin de problemas reales referente al modelado de

datos.

c) Prctico en laboratorio de Matemticas en lo referente a la aplicacin de sistemas

computacionales.

2) Segundo examen parcial

La evaluacin del segundo parcial tendr 2 componentes:

a) Razonamiento lgico en la resolucin de problemas.

b) Prctico en la resolucin de ejercicios en laboratorio de Matemticas.

3) Proyecto

La evaluacin del proyecto final de la materia se realizar en dos fases: Primera, ser la
presentacin de un modelo conceptual, intermedio y fsico de un problema de un caso real.
Segunda, ser la implementacin del diseo de la primera fase en algn sistema
computacional.

4) Examen final

8
 UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

La evaluacin final ser terica y se aplicar el criterio de razonamiento lgico en la

resolucin de problemas referente al Algebra I.

8. BIBLIOGRAFIA

1. Bosh Jorge : Introduccin al Simbolismo Lgico

2. Galicia, A: Introduccin a la lgica matemtica Mxico Ed. Mc. Graw-Hill.
3. Godement R : lgebra Madrid, Ed. Tecnos.
4. Oubia, Lia : Introduccin a la teora de conjuntos.
5. Sagastume B. Y Fernndez: Algebra y Calculo numrico. B. Aires Ed. Kapeluz.
6. Pinzon, E.Alvaro: Conjuntos y estructuras, Mxico; Harla S.A.
7. Rojo, Armando: Algebra I, B. Aires. Ed. El Ateneo.
8. Bigard, Crestey y Grappy: Problemas de lgebra moderna, Barcelona, Ed.
Reverte S.A.
9. Suger, Morales y Pinot: introd. a la matemtica moderna Mxico. Ed. Limusa S.A.
10. Solucin de Mtodo Simplex en forma Matricial.
11. Procedimiento global y ejercicios varios.