PONTIFCIA UNIVERSIDADE CATLICA DE GOIS

Pr-Reitoria de Graduao - PROGRAD

Plano de Ensino 2016/1

Ateno! Este Plano de Ensino um Rascunho. Sua impresso no est

liberada por se tratar de um documento no aprovado pela PUC Gois.
Disciplina: MAF1127 - LGICA E TEORIA DOS CONJUNTOS
Turma: C01 Subturma(s): Todas as Subturmas desta Turma
Crditos: 4 Carga Horria: 60 Horas/Aula
Professor: SERGIO REIS FERNANDES

1. Ementa
Proposies, princpios fundamentais da lgica matemtica, Operaes lgicas com proposies,
Tabela de verdade, Tcnicas dedutivas, Quantificadores. Relaes e funes em conjuntos. Os
nmeros complexos.

2. Objetivos
2.1. Objetivos Gerais
Adaptar o aluno linguagem matemtica, dando-lhe hbitos de preciso e ordem.
2.2. Objetivos Especficos
Dar ao aluno informaes necessrias para que possa operar com proposies lgicas e
desenvolver um raciocnio abstrato na teoria dos conjuntos.

3. Contedo Programtico
1. Sistemas dicotmicos
1.1 Interruptores.
1.2 Preposies
2. Operaes Lgicas com Preposies
2.1 Negao e conjuno.
2.2 Disjuno, condicional e bi condicional.
3. Relao de Implicao e equivalncia
3.1 Relaes de implicao
3.2 Relao de equivalncia
3.3 Propriedades.

4. Tcnicas dedutivas
4.1 Prova direta
4.2 Prova condicional e bi condicional
4.3 Prova indireta ou por absurdo.
5. Quantificadores
5.1 Sentena aberta
5.2 Quantificador Universal e existencial.
5.3 Negao de sentenas e valores lgicos
6. Relaes e funes
6.1 Relaes de equivalncia
6.2 Funes
6.3 Funes injetoras, sobrejetoras e bijetoras.
7. Conjuntos numricos
7.1 Nmeros Naturais
7.2 Nmeros Inteiros
7.3 Nmeros Racionais
7.4 Nmeros Reais e Complexos

4. Metodologia
1.
2.
3.
4.
5.
6.

Aulas expositivas dialogadas;

Aulas com recurso Datashow e calculadora
Formao de grupos para discusso e definies de problemas;
Estudo dirigido: resoluo de exerccios em classe;
Aplicao de provas escritas;
Aulas de dvidas e reforo.

5. Avaliao
4 provas escritas
1 prova Repositiva - repe uma prova perdida
1 prova Substitutiva - substitui a menor nota das provas P3 e P4
4 trabalhos - valor 1,0 cada
Avaliao Interdisciplinar (A.I.) - valor 1,0 ponto
N1 = P1 (9,0) + P2 (9,0) +Trab , N1 10,0.
N2 = P1 (8,0) + P2 (8,0) + Trab, RN2 9,0.
N2 = RN2 (9,0) + A.I. (1,0)
A frequncia ser computada em cada encontro, ser considerado aprovado na disciplina o aluno
que obtivera frequncia mnima de 75% e Nota Final (NF) igual ou superior a cinco.

6. Bibliografia Bsica
1. EDGARD, A. F. Iniciao Lgica Matemtica. So Paulo: Nobel. 2008. 2. BISPO, C. A.
S.FILHO, O. M. Introduo a Lgica Matemtica. So Paulo. Cincias Exatas. 2011. 3. DANTE,
Luiz. Matemtica, Vol. nico. So Paulo: tica, 2008.

7. Bibliografia Complementar
1. ZAHN, Maurcio. Teoria Elementar das Funes. So Paulo. Editora Cincia Moderna. 2009. 2.
IEZZI, G. et all. Fundamentos da Matemtica Elementar. Logaritmos, Vol. 2, Atual Editora, 2004. 3.
IEZZI, G. et all. Fundamentos da Matemtica Elementar. Vol. 1, Atual Editora, 2004. 4. DOLCE,
Osvaldo e POMPEO, Jos. Fundamentos de Matemtica Elementar, vol. 9 e 10. So Paulo: Atual
Editora, 2001. 5. LIMA, Elon Lajes. A Matemtica do Ensino Mdio, vol. 2 Rio de Janeiro:
Sociedade Brasileira de Matemtica, 2003.

8. Atividades Externas da Disciplina (AED)

AED1
Assistir o filme: A Prova (2005 )
Fazer uma sntese com suas palavras em folhas de A4 sobre o filme, e destacar as partes onde
aparecem termos matemticos.
Entrega:26/04.

AED 2 (Data de entrega: 10/06):

Procurar vdeos de material com os contedos:
- 3 contedos de Lgica Matemtica (definio e exemplos).
Apresentar um resumo do vdeo, com suas palavras em folhas de A4.
Constar bibliografias e endereo dos vdeos.

9. Cronograma
1. 12/02 Atividades extracurriculares Semana do Calouro
2. 16/02 Apresentao do programa e comentrios sobre a disciplina.
3. 19/02 Introduo: Interruptores, conjuntos.
4. 23/02 Preposies
5. 26/02 Resoluo de exerccios
6. 01/03 Negao e conjuno
7. 04/03 Disjuno, condicional e bi condicional.
8. 08/03 Trabalho em grupo.
9. 11/03 Reviso e estudo dirigido.
10 . 15/03 Avaliao 1 N1.
11. 18/03 Correo da prova e entrega.

12. 22/03 Relao de implicao e relao de equivalncia e propriedades.

13. 29/03 Resoluo de exerccios.
14. 01/04 Prova direta
15. 05/04 Prova condicional e bi condicional
16. 08/04 Prova indireta ou por absurdo
17. 12/04 Trabalho em grupo.
18. 15/04 Reviso e estudo dirigido.
19. 18/04 Avaliao 2 N1.
20. 26/04 Correo da prova e entrega.
21. 29/04 Sentena aberta
22. 03/05 Quantificador Universal e existencial.
23. 06/05 Negao de sentenas e valores lgicos
24. 10/05 Conjuntos numricos.
25. 13/05 Aula de exerccios
26. 17/05 Avaliao 1 N2.
27. 20/05 Entrega de provas e relaes de equivalncia.
28. 24/05 Jornada da Cidadania.
29. 31/05 Aplicaes de derivadas Crescimento e decrescimento de funes
30. 03/06 Funes
31. 07/06 Funes injetivas, sobrejetivas e bijees.
32. 10/06 Resoluo de exerccios.
33. 14/06 Avaliao 2 N2.
34. 17/06 Entrega das provas e Resultado Parcial
35. 21/06 Avaliao de reposio.
36. 24/06 Resultado Final.
37. AED
38. AED
39. AED
40. AED

10. Material de Apoio

Vdeos relacionados ao contedo da disciplina;
Exerccios e problemas de reforo.
Ateno! Este Plano de Ensino um Rascunho. Sua impresso no est liberada por se tratar de um documento no aprovado
pela PUC Gois.

Dados da Impresso
Impresso em 03 de Agosto de 2016 s 09:35 por
Sua chave de acesso DD86E165-80E2-4184-A50B-6CBA287A5EAC a partir do IP

191.216.29.18
Lembre-se, todo acesso ao Sistema Acadmico da PUC Gois monitorado para sua segurana.