Centro Universitrio Fundao Santo Andr

FAFIL
Plano de Disciplina 2012
Curso: Licenciatura em Matemtica
Disciplina: lgebra I
Srie: 1.srie
Carga Horria:
04 h/a/semana-----------------------144 h/a/ano
Professor: Carlos Roberto Rodrigues e Vanderlei Mariano
I Ementa
Conjunto.Proposio lgica. Implicao e Equivalncia Lgica. Argumento. Quantificao.
Aplicaes da lgica Matemtica.Relao. Relao inversa e de ordem. Funo. Funo
sobrejetora, injetora e inversa. Funo composta. Operao e propriedades. Grupo e propriedades
elementares.
Ao longo do ano desenvolveremos atividades relativas s Prticas Pedaggicas, leitura e
interpretao de enunciados de problemas.
II Objetivos
Gerais:
Desenvolver a sistematizao e generalizao de conceitos da matemtica elementar;
Desenvolver a capacidade de abstrao e do raciocnio lgico;
Desenvolver novos conceitos e mtodos que permitam ao aluno reconhecer a inter-relao entre
os vrios campos da Matemtica;
Desenvolver habilidades no uso linguagem lgica, tcnicas algbricas essncias na formao de
um profissional do ensino da Matemtica.
Por meio da Prtica de Ensino visamos contribuir na formao de um profissional critico,
participativo e competente para atuar em sala de aula.
Especficos:
Adquirir habilidades especficas tais como: construir e interpretar grficos.
Adquirir habilidades especficas em generalizar propriedades operacionais;
Conhecer e aplicar terminologia matemtica e suas convenes;
Adquirir habilidade interpretar e transladar problemas verbais em expresses simblicas;
Conhecer e aplicar tcnicas dedutivas da lgica simblica;
Aplicar os conceitos de relao e funo.
Analisar, sintetizar e criticar os conceitos de relao e funo.
Conceituar e aplicar operaes e suas propriedades.
III Programa detalhado da Disciplina
Proposio, implicao e equivalncia.
Tcnicas de demonstraes de proposies e equivalncias.
Argumentos vlidos: mtodo da prova direta e indireta.
Quantificao lgica e argumentos com quantificao.
Aplicao da Lgica Matemtica: mtodos dedutivos, conjuntos e regra de contagem.
Relao : domnio, imagem ,relao inversa e relao de ordem.
Funo: injetora , sobrejetora, bijetora, inversa e composta.
Operaes: comutativa , associativa, elemento neutro e elemento simtrico.

IV - METODOLOGIAS
x
x

Aulas Expositivas quadro negro

Aulas Expositivas retroprojetor
Aulas Expositivas TV, vdeo
Aulas Expositivas Projetor Multimdia
Aulas Expositivas Apostilas, Jornais e outros
Aulas Prticas Anlise de Casos
Aulas Prticas de Laboratrio
Elaborao de Relatrios

x
x

Elaborao de Projetos
Elaborao de Projetos de Estgio
Trabalhos Individuais
Trabalhos em Grupo
Seminrios
Estudo de Casos
Estudo de Campo
Utilizao de Softwares

V Critrios de Avaliao
Avaliao classificatria: provas individuais escritas constitudas de questes de mltipla escolha
ou dissertativas com justificativas conceituais de acordo com os objetivos , os contedos e a
bibliografia da disciplina.
Avaliao investigatria: testes , observao sistemtica do professor, atividades individuais e em
grupo.
Obs.: "avaliao formativa ao longo do processo", como diagnstico para o aluno e professor; e
"avaliao somativa ao final do processo" para efeito de promoo ou reteno.
A mdia final do ano para efeito de aprovao ter peso 40% para a atividade e 60% para a
prova
VI Inter- relacionamento Disciplinar
Esta disciplina por ser de srie inicial no possui qualquer disciplina como pr-requisito e subsidia a
disciplina lgebra II.
VII Bibliografia
Bsica:
MONTEIRO, L. H. Jacy. Iniciao s Estruturas Algbricas. So Paulo: Ed. GEEM, 1969.
ALENCAR FILHO, Edgard de. Teoria Elementar de Conjuntos. So Paulo: Ed. Nobel, 1970.
LIPSCHUTZ, Seymor. Teoria dos Conjuntos. So Paulo: Ed.Makron, 1967.
Complementar:
IEZZI, Gelson. lgebra Moderna. So Paulo: Ed. Atual, l986.
MONTEIRO, L.H.Jacy. Elementos de lgebra. Rio de Janeiro: Ed. Ao Livro Tcnico, 1969.
DAGHLIAN ,Jacob. Lgica e lgebra de Boole. So Paulo: Ed. Atlas, l986.
ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. So Paulo: Ed. Nobel, l972.
RODRIGUES, Carlos Roberto. lgebra I . So Paulo: Ed. Pliade, l996
Disciplina: lgebra I
Srie: 1B
Professor: Carlos Roberto Rodrigues e Vanderlei Mariano
Semanas
1
2
3
4
5
6
7
8
9

ASSUNTO
Apresentao do programa e orientaes gerais.
Proposio e conectivos lgicos.
Tabelas verdade : e , ou, no, condicional e bicondicional
Exerccios de tabelas verdade de proposies compostas
Tautologia, contradio e contingncia.
Exerccios
Equivalncia lgica: definio e exemplos
Exerccios.
Aplicao das equivalncias lgicas em propriedades de conjuntos.
Exerccios.
Implicao lgica e exerccios.
Implicao lgica : condio necessria e suficiente.
Argumentos: regras de inferncia e exemplos.
Exerccios.
Argumentos: prova direta e indireta
Exerccios.
Exerccios de reforo
Avaliao

27

Quantificao: definies.
Exerccios.
Quantificao e argumentos.
Exerccios
Regras de contagem
Exerccios.
Aplicaes da lgica em demonstraes na Matemtica.
Exerccios de aplicao da lgica em demonstraes na Matemtica
Par ordenado e produto cartesiano.
Exerccios gerais de reforo.
Relao: definio
Exerccios de relao
Relao: domnio e imagem
Exerccios
ASSUNTO
Avaliao: P1
Avaliao: P1
Avaliao: P1
Avaliao: P1
Relao: inversa.
Exerccios sobre relao inversa.
Relaes reflexivas, anti-simtricas e transitivas
Relao de ordem e exerccios
Funo: definio
Funo: domnio, imagem e exerccios.
Funo sobrejetora.
Exerccios.
Funo injetora e bijetora.
Exerccios.
Funo inversa.
Propriedades notveis
Exerccios gerais sobre funes inversa.
Funo composta: definio.
Exemplos notveis de funo composta.
Funo composta e inversa: exercicios

28

Semana Cultural

29

35

Operao: definio.
Avaliao: atividade.
Operao: comutativa
Exerccios sobre operao comutativa.
Operao: associativa
Exerccios sobre operao associativa.
Operao: elemento neutro e simtrico.
Exerccios sobre elemento neutro e simtrico.
Exerccios gerais de reforo sobre funo.
Exerccios gerais de reforo sobre operao.
Exerccios gerais de reforo sobre funo.
Exerccios gerais de reforo sobre operao.
Provas P2.

36a

Provas P2.

37

Provas Substitutivas

10
11
12
13
14
15
16
Semanas
17
18
19
20
21
22
23
24
25
26a

30
31
32
33
34

Prof. Carlos Roberto Rodrigues / Prof.Vanderlei Mariano----Fevereiro 2012