UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA

DEPARTAMENTO DE MATEMATICA

PROGRAMA ANALTICO DE LA ASIGNATURA

ALGEBRA I MAT 100

DATOS GENERALES
ASIGNATURA

: Algebra I

SIGLA Y CODIGO

: MAT 100

PERIODO

: Primer Semestre

REQUISITOS

: Ninguno

HORAS

: 6 (4 HT, 2 HP)

CREDITOS

:5

PROFESOR

: del Departamento de Matemticas

PROGRAMA VIGENTE

: desde Febrero 2007

REVISADO EN

: Jornadas Acadmicas de Febrero / 2007

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

JUSTIFICACION

El Algebra Lineal 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
OBJETIVOS

Traducir proposiciones verbales del lenguaje usual al simblico y viceversa.

Identificar razonamientos vlidos.

Interpretar relaciones y funciones geomtricamente.

Analizar las estructuras matemticas bsicas.

CONTENIDO GENERAL
Introduccin a la Lgica Simblica.- Conjuntos, relaciones y funciones.- Nociones de
estructuras matemticas.

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

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

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 deductivos con enunciados cuantificados

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

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

UNIDAD III :
RELACIONES Y FUNCIONES
Tiempo: 20 horas
Objetivos:

Interpretar relaciones y funciones geomtricamente.

Contenido:
RELACIONES
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
6

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

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

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
5.15
5.16
5.17
5.18
5.19

Definicin
Propiedades
Tipos de anillos (anillos conmutativos y anillos con unidad )
Anillos sin divisores de cero
Dominio de integridad
Sub-anillos e ideales

CUERPO o CAMPO
5.20 Definicin
5.21 Propiedades

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

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
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..

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

EVALUACIN

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

ITEM

DESCRIPCIN

PROCENT

TEMAS

AJE
1

Primer examen parcial

20%

Unidades 1,2

Segundo examen parcial

20%

Unidades 3,4,5

Examen, proyecto o trabajo prctico 20 %

Aplicacin de la materia.

Examen Final

Todas las Unidades

40 %

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 a 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

10

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

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

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

resolucin de problemas referente al Algebra I.

11

UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGIA
DEPARTAMENTO DE MATEMATICA

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

12