UNIVERSIDAD TCNICA DE ORURO

FACULTAD NACIONAL DE INGENIERA

A. IDENTIFICACIN

CARRERA : Todas las carreras
ASIGNATURA : LGEBRA I
SIGLA : MAT 1100
DURACIN : Un semestre acadmico (20 semanas)
HORAS SEMANALES : Tericas: 4, Prcticas: 2, TOTAL: 6
PLAN DE ESTUDIOS : 2011


B. CONTRIBUCIN AL PERFIL

Objetivos:

Proveer al estudiante las habilidades en el lgebra Moderna (abstracta) con temas de inicio en el razonamiento
matemtico de las estructuras algebraicas.

Unidades de competencia:

Capacidad de manejar y entender el lenguaje lgico y simblico.
Manejar Herramientas propias del lgebra de conjuntos.
Realizar operaciones con relaciones y funciones, operaciones binarias, grupos, anillos y cuerpos.
Manejar adecuadamente el cuerpo de los complejos.
Conocer el anlisis combinatorio y matricial.

C. CONTENIDO PROGRAMTICO

Contenido mnimo:

Algebra proposicional.- Teora de conjuntos.- Relaciones, funciones y estructuras Algebraicas.- El cuerpo de los
Complejos.- Anlisis combinatorio.- Teora de las ecuaciones.- Algebra matricial.

Contenido analtico:

Tema 1: lgebra proposicional

1.1 La proposicin.
1.2 Variables y constantes.
1.3 Valores de verdad.
1.4 Negacin.
1.5 Conjuncin.
1.6 Disyuncin incluyente.
1.7 Disyuncin excluyente.
1.8 El condicional.
1.9 El bicondicional.
1.10 Posibilidades lgicas.
1.11 Tautologa.
1.12 La proposicin lgicamente falsa.
1.13 Leyes de clculo proposicional: idempotencia, asociatividad, conmutatividad, distributividad, identidad,
complementacin, Leyes de Morgan.
1.14 Relaciones lgicas: implicacin, equivalencia, inconsistencia, etc.
1.15 Razonamiento vlido.
1.16 El contrarecproco de una proposicin y la demostracin reductio ad absurdum.
1.17 Cuantificador universal.
1.18 Cuantificador existencial.
1.19 lgebra de Boole.
1.20 Dualidad.
1.21 Tercia de Peano.
1.22 Sistemas axiomticos de Peano.


Tema 2: Teora de conjuntos

2.1 Conjuntos y elementos.
2.2 Diagramas de Venn.
2.3 Conjunto universal y conjunto vaco. Subconjuntos.
2.4 El conjunto de verdad de una proposicin.
2.5 La conexin entre el lenguaje proposicional y el lenguaje conjuntista.
2.6 Complemento y negacin, interseccin y conjuncin incluyente.
2.7 Los conjuntos de verdad del condicional y del bicondicional.
2.8 Las zonas en que se particiona el conjunto universal y las posibilidades lgicas.
2.9 Relaciones entre los conjuntos.
2.10 Inclusin a implicacin, igualdad y equivalencia.
2.11 Conjuntos disjuntos e inconsistencia, etc.
2.12 Las leyes del lgebra de conjuntos.
2.13 Diagramas de Venn y razonamiento.

Tema 3: Relaciones, funciones y estructuras algebraicas

3.1 Par ordenado.
3.2 Relacin, definicin.
3.3 Propiedades, reflexiva, simtrica y transitiva.
3.4 Relaciones de orden parcial y orden total.
3.5 Supremo e nfimo.
3.6 Relaciones de equivalencia.
3.7 Clases de equivalencia y conjunto cociente.
3.8 Relaciones de equivalencia compatible con una operacin o ley interna.
3.9 Funciones.
3.10 Rango y dominio.
3.11 Grfica de una funcin.
3.12 Funciones inyectivas, sobreyectivas y biyectivas.
3.13 Composicin de funciones.
3.14 Igualdad de funciones.
3.15 Funcin identidad y funcin inversa.
3.16 Operaciones binarias. Propiedades: asociatividad, idempotencia, simplificacin, elementos regulares, elementos
neutros y simtricos, conmutatividad, distributividad.
3.17 Estructuras: grupo, subgrupo, homomorfismo en teora de grupos.
3.18 Anillos y sus propiedades. Subanillos. Anillo conmutativo. Homomorfismo entre anillos. Ideales.
3.19 Cuerpos y sus propiedades: Nmeros naturales. Induccin matemtica. Cuerpos de los nmeros reales.

Tema 4: El cuerpo de complejos

4.1 Definicin.
4.2 El Plano de Argand-Cauchy.
4.3 Propiedades.
4.4 Notacin. Binmica, trigonomtrica y exponencial.
4.5 Complejos conjugados.
4.6 Mdulo y argumento.
4.7 Operaciones: suma, resta, producto, divisin.
4.8 Potencia y radicacin de ndice natural.
4.9 Teorema de Moivre.
4.10 Races de la Unidad.
4.11 Raz n-sima en los complejos.
4.12 Aplicaciones.

Tema 5: Anlisis combinatorio

5.1 Orden en N.
5.2 Conjuntos finito y numerable.
5.3 Sumatorias y productorias.
5.4 Funcin factorial.
5.5 Nmero combinatorio.
5.6 Permutaciones, variaciones o combinaciones.
5.7 Teorema del binomio.
5.8 Probabilidades.

5.9 Aplicaciones.
5.10 Inters compuesto.
5.11 Anualidades y amortizaciones.

Tema 6: Teora de las ecuaciones

6.1 Teoremas elementales.
6.2 Regla de descartes de los signos.
6.3 Races y coeficientes.
6.4 Funciones simtricas de las races.
6.5 Mtodo de Horner.
6.6 Transformacin de ecuaciones.
6.7 Ecuaciones recprocas.
6.8 Ecuaciones cbicas.
6.9 Ecuaciones curticas.
6.10 Ecuaciones logartmicas y trascendentes.
6.11 Sistemas de ecuaciones de grado superior.
6.12 Sistema de Sturm
6.13 Acotacin de races.
6.14 Clculo aproximado de races.

Tema 7: lgebra matricial

7.1 Matrices.I
7.2 Igualdad de matrices.
7.3 Suma de matrices.
7.4 Producto de una matriz y un escalar.
7.5 Producto de matrices.
7.6 Transformaciones elementales de una matriz y un escalar.
7.7 Transformaciones elementales de una matriz.
7.8 Forma cannica en escaln.
7.9 Matrices cuadradas.
7.10 Matriz identidad.
7.11 Matrices elementales.
7.12 Inversa de una matriz no singular.
7.13 Determinante de una matriz cuadrada.
7.14 Propiedades de los determinantes.
7.15 Sistema de ecuaciones lineales y sus soluciones.
7.16 Ecuaciones consistentes e inconsistentes.
7.17 Sistema de ecuaciones homogneas.
7.18 Matrices y sistemas de ecuaciones lineales.

D. REFERENCIAS BIBLIOGRFICAS

[1] Ayres, Frank (1969). lgebra Moderna. Edit. Schaum.
[2] Rivaud, Lentin (1968). lgebra Moderna. Edit. Aguilar.
[3] Seymur, Lipschut (1972). Matemticas finitas. Edit. Schaum.
[4] Ayres, Frank (1992). Matrices. Edit. Schaum.
[5] Kuroch (1981). lgebra Superior. Edit. MIR.
[6] Hall and Knigt (1967). lgebra Superior. Edit. Uteha.