MAT 131 - Introdução à Álgebra – Turmas 1 e 2

Programa Analítico – 2006/

MAIO
∗ Apresentação da disciplina
16 TER
∗ Argumentos válidos e não válidos. Verdade e validade
∗ Noções de Lógica Matemática: proposição;
18 QUI
∗ Conectivos e tabelas-verdade
23 TER ∗ Condicional e bicondicional
25 QUI ∗ Tautologia e contradição
30 TER ∗ Implicação e equivalência. Simplificação de proposições
JUNHO
∗ Negação de proposições
01 QUI
∗ Proposições associadas a uma condicional
∗ Operações com sentenças abertas. Quantificadores.
06 TER
∗ Negação de proposições quantificadas
08 QUI ∗ Noções sobre demonstração
13 TER ∗ Exercícios
14 Quarta ∗ 1a prova – PVA 201 e PVA 209 - 18:20h
15 QUI ∗ Feriado
∗ Conjuntos: conceitos principais
20 TER
∗ subconjuntos
∗ Partes de um conjunto
22 QUI
∗ Operações com Conjuntos e propriedades
27 TER ∗ Demonstração de propriedades de conjuntos
∗ Produto cartesiano
29 QUI
∗ Gráficos e diagramas
JULHO
04 TER ∗ Relações: conceito, exemplos e representação
∗ Relação inversa e propriedades
06 QUI
* Imagem Direta e Inversa
∗ Composição e propriedades
11 TER
* Propriedades das relações
∗ Propriedades das relações
13 QUI
* Relações de ordem
17-22 Semana do Fazendeiro
25 TER ∗ Exercícios
27 Quinta ∗ 2a prova – PVA 201 e PVA 209 - 18:20h
AGOSTO
01 TER ∗ Relações de equivalência
∗ Classes de equivalência
03 QUI ∗ Conjunto Quociente
∗ Partição
∗ Funções ou Aplicações: conceito
08 TER
∗ Domínio, Imagem
10 QUI ∗ Imagem direta e imagem inversa
∗ aplicações injetoras e sobrejetoras
15 TER ∗ Aplicação inversa
∗ Composição de aplicações
∗ Restrição e prolongamento
17 QUI
∗ Aplicações monótonas
∗ Operações Binárias: conceituação e propriedades
22 TER
∗ parte fechada para uma operação
24 QUI ∗ propriedades das operações
29 TER ∗ tábua de uma operação
31 QUI ∗ estruturas definidas por uma e duas operações e Grupos
SETEMBRO
05 TER * Exercícios
06 Quarta ∗ 3a prova – PVA 201 e PVA 209 - 18:20h
07 QUI ∗
12 TER ∗
13 Quarta ∗ Prova Substitutiva – PVA 301 / 313 / 383 - 20:30h
14 ∗
16 TER Término das aulas
18-20 ∗ Exame Final
Bibliografia:
1. ELEMENTOS DE TEORIA DOS CONJUNTOS - Benedito Castrucci, G.E.E.M.
2. TEORIA DOS CONJUNTOS - Seymour Lipschutz, McGraw-Hill.
3. ÁLGEBRA MODERNA – Hygino H. Domingues e Gelson Iezzi, Atual Editora.
4. FUNDAMENTOS DE MATEMÁTICA ELEMENTAR vol. 1 - Gelson Iezzi e Carlos Murakami,
Atual Editora.
5. INICIAÇÃO À LÓGICA MATEMÁTICA - Edgard de Alencar Filho, Editora Nobel.
6. TEORIA ELEMENTAR DOS CONJUNTOS - Edgard de Alencar Filho, Editora Nobel.
7. A MATEMÁTICA DO ENSINO MÉDIO, Vol. 1 – Elon Lages Lima e outros, SBM.
8. INICIAÇÃO ÀS ESTRUTURAS ALGÉBRICAS – Jaci Monteiro, G.E.E.M.
9. INTRODUÇÃO À LÓGICA MATEMÁTICA - Benedito Castrucci, G.E.E.M.
10. INTRODUÇÃO À ÁLGEBRA – Leopoldo Nachbin, Editora McGraw-Hill.
11. LÓGICA - Wesley Salmon, ZAHAR EDITORES, 1978.
12. LÓGICA? É LÓGICO! - Nilson José Machado, - Coleção Vivendo a Matemática, Editora Scipione

Avisos:

1. As listas de exercícios e outros materiais da disciplina estarão disponíveis no site:

www.ufv.br/dma/intermat e nas copiadoras RJ (P.H. Rolfs, 314) e do Centro de Vivência.
2. As mudanças de turma devem ser efetuadas junto ao Registro Escolar.
3. A disciplina terá três avaliações que serão aplicadas fora do horário de aula, nas datas indicadas no
plano de estudo.
4. A prova substitutiva substituirá a menor nota, independente do resultado. . O conteúdo da prova
substitutiva será todo o conteúdo ministrado na disciplina.
5. O exame final será aplicado na data a ser divulgada pelo registro.
6. Na realização das provas serão permitidos apenas os seguintes materiais: lápis, borracha, caneta e
régua. A utilização de calculadoras ou tecnologias similares implicará no anulamento da prova.

Horários:

Segunda Terça Quarta Quinta Sexta

08:00 às T1 – PVB105
10:00 (Mercio)

Monitor: Darlei Monitor: Darlei

10:00 às T1 – PVB105
Atendimento/CCE31 Atendimento/CCE31
12:00 (Mercio)
0 0

Monitores
Monitor: Darlei
12:30 às Monitor: Darlei Voluntários:
Atendimento/CCE31
14:00 Aula Exercícios Cristiane e Roney
0
Atendimento/CCE

Monitor: Darlei
14:00 às T2 – PVA153 T3 – PVA209
Atendimento/CCE31
16:00 (Mercio) (Mercio)
0

16:00 às T3 – PVA209 T2 – PVA153

18:00 (Mercio) (Mercio)