PLANO DE ENSINO DE DISCIPLINA PERÍODO LETIVO:
ÓRGÃO OFERTANTE:
2019.1
COORDENAÇÃO DE GRADUAÇÃO DE BACHARELADO EM MATEMÁTICA UNIVERSIDADE FEDERAL DE
PERNAMBUCO
DIRETORIA DE GESTÃO ACADÊMICA
PRÓ-REITORIA PARA ASSUNTOS ACADEMICOS
Disciplina CH Teórica Crédito
ELEMENTOS DE MATEMÁTICA 60 0 4.0
CH Prática
Turma
Identificação Cursos que Atende Período
XM
FÍSICA - BACHARELADO; MATEMÁTICA - LICENCIATURA; MATEMÁTICA - BACHARELADO; ENGENHARIA ELETRÔNICA; ENGENHARIA DE
PRODUÇÃO
2019.1
Horário
TER - 08 00 08 50 | 09 00 09 50; QUI - 10 00 10 50 | 11 00 11 50;
Professor N. Qtd Subturmas 0
FERNANDO JOSE OLIVEIRA DE SOUZA Ementa
O OBJETIVO DO CURSO É FAZER UMA EXPOSIÇÃO ELEMENTAR E TÉCNICAS USADAS EM MATEMÁTICA PARA OS CALOUROS DO BACHARELADO. OS EXEMPLOS UTILIZADOS PARA ATINGIR TAL OBJETIVO VÊM DA TEORIA ELEMENTAR DOS NÚMEROS, DA ÁLGEBRA E DA GEOMETRIA.
Objetivo
Fazer uma exposição elementar dos métodos e técnicas da matemática. usando, para tanto, noções básicas da lógica clássica para argumentação, da teoria ingênua dos conjuntos, e da aritmética dos números naturais.
Metodologia
Aula expositiva e dialógica incluindo a discussão de conceitos, proposições e exemplos. Uso de materiais complementares elaborados pelo professor. Maiores detalhes em https//sites.google.com/site/fernandojosouzadmatufpe/ma989-2019_1
Os exercícios escolares 1 e 2 são exames escritos com 100 minutos de duração cada. O Exercício Escolar 3 é a média das 20 melhores notas de atividades com duração de 10 a 15 minutos a serem realizadas nos dias em que não houver exames. Não haverá segunda chamada de cada atividade, mas os estudantes poderão fazer, se desejarem, a prova de Segunda Chamada para substituírem a nota do Exercício Escolar 3 pela nota dela.
Avaliação Três Exercícios Forma de Avaliação
Bibliografia BÁSICA:
Nenhuma bibliografia basica cadastrada para o componente curricular.
COMPLEMENTAR:
TEXTOS ADOTADOS. Textos do professor em https //sites.google.com/site/fernandojosouzadmatufpe/ Raciocínio Lógico.
A L M E I D A , D . C . P . d e e t a l . L ó g i c a / C á l c u l o P r o p o s i c i o n a l C l á s s i c o . W i k i l i v r o s . D i s p o n í v e l e m h t t p s //pt.wikibooks.org/wiki/L%C3%B3gica/C%C3%A1lculo_Proposicional_Cl%C3%A1ssico HEGENBERG, L. Lógica. Forense Universitária, Grupo Gen, 2012. Raciocínio na Matemática. MORAIS FILHO, D. C. Um Convite à Matemática. Com técnicas de demonstração e notas históricas. 3. ed. Rio de Janeiro, SBM, 2016. CPM 23. Teoria dos Conjuntos. ALENCAR Fo., E.
de. Teoria Elementar dos Conjuntos. São Paulo, Nobel, 1974. HALMOS, P. R. Teoria Ingênua dos Conjuntos. Rio de Janeiro, Ciência Moderna, 2001. Números Naturais. HEFEZ, A. Aritmética. 2. ed. Rio de Janeiro, SBM, 2016 (ou HEFEZ, A.
Elementos de Aritmética. 2. ed. Rio de Janeiro, SBM, 2006). HEFEZ, A. Exercícios Resolvidos de Aritmética. Rio de Janeiro, SBM, 2016. TEXTOS AUXILIARES. FEITOSA, H. de A.; NASCIMENTO, M. C. do; ALFONSO, A. B. Teoria dos Conjuntos Sobre a fundamentação matemática e a construção dos conjuntos numéricos. Rio de Janeiro, Ciência Moderna. Raciocínio Lógico. SUPPES, P.; HILL, S. First Course in Mathematical Logic. Nova Iorque, Dover, 2002. Em espanhol, Primer Curso de Lógica Matemática. Barcelona, Reverte, 1968. Raciocínio na Matemática. ALENCAR Fo., E. de. Introdução à Lógica Matemática. São Paulo, Nobel, 2002. COURANT, R.; ROBBINS, H. O que é Matemática. Uma abordagem elementar de métodos e conceitos. Rio de Janeiro, Ciência Moderna, 2000. DAEPP, U.; GORKIN, P. Reading, Writing, and Proving. A closer look at mathematics. 2nd e. Nova Iorque, Springer, 2011. KRANTZ, S. G. The Proof is in the Pudding. The changing nature of mathematical proof. Nova Iorque, Springer, 2011.
25/04/2019 Não enviado
Data Impresso: Status do Relatório:
1 / 4
PLANO DE ENSINO DE DISCIPLINA PERÍODO LETIVO:
ÓRGÃO OFERTANTE:
2019.1
COORDENAÇÃO DE GRADUAÇÃO DE BACHARELADO EM MATEMÁTICA UNIVERSIDADE FEDERAL DE
PERNAMBUCO
DIRETORIA DE GESTÃO ACADÊMICA
PRÓ-REITORIA PARA ASSUNTOS ACADEMICOS
LAKINS, T. J. The Tools of Mathematical Reasoning. 2016. Providence, RI, AMS, AMSTEXT 26. MADDOX, R. B. Mathematical Thinking and Writing. Boston, Harcourt/Academic Press, 2002. SOLOW, D. How to Read and Do Proofs. Nova Iorque, Wiley, 1982.
Em espanhol, Como Entender y Hacer Demostraciones en Matematicas. Cidade do México, Limusa Noriega, 1987. VELLEMAN, D.
J. How to Prove It. 2nd e. Cambridge, CUP, 2006. Teoria dos Conjuntos. ENDERTON, H. B. Elements of Set Theory. San Diego, Academic Press, 1977. SUPPES, P. Axiomatic Set Theory. Nova Iorque, Dover, 1972. Em espanhol, Teoría Axiomática de Conjuntos. Cali, Norma, 1968. Números Naturais. FERREIRA, J. A Construção dos Números. 3. ed. Rio de Janeiro, SBM, 2013. MUNIZ NETO, A. C. Topicos de Matematica Elementar v.5 teoria dos numeros. 2. ed. Rio de Janeiro, SBM, 2013.
Unidade Programática
Data Conteúdo
Qtd de Aulas Teórica Prática
Professor Responsável Início Fim
Horário
19/02/2019
(Ter) Plano de ensino. Debate sobre a 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
21/02/2019
(Qui) Visão panorâmica dos tópicos e 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
26/02/2019
(Ter) Generalidades sobre lógica. 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
28/02/2019
(Qui) Conectivos lógicos mais comuns e sua 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
07/03/2019
(Qui) Tautologias, contradições e 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
12/03/2019
(Ter) Exercícios com e aplicações (exemplos 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
14/03/2019
(Qui) Formas normais conjuntiva e disjuntiva; 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
19/03/2019
(Ter) Visualizações Diagramas de Venn; 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
21/03/2019
(Qui) Falácias lógicas. Predicados e 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
26/03/2019
(Ter) Igualdade; unicidade e arbitrariedade. 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
28/03/2019
(Qui) Dedução e argumentação na lógica de 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
02/04/2019
(Ter) Dedução e argumentação na lógica de 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
04/04/2019
(Qui) Igualdade e inclusão de conjuntos; suas 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
09/04/2019
(Ter) Par desordenado; conjunto das partes. 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
11/04/2019
(Qui) Diferença de conjuntos; interseção e 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
16/04/2019
(Ter) Propriedades de e exemplos com 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
23/04/2019
(Ter) 1º EXERCÍCIO ESCOLAR 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
25/04/2019
Par ordenado e produto cartesiano. 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
25/04/2019 Não enviado
Data Impresso: Status do Relatório:
2 / 4
PLANO DE ENSINO DE DISCIPLINA PERÍODO LETIVO:
ÓRGÃO OFERTANTE:
2019.1
COORDENAÇÃO DE GRADUAÇÃO DE BACHARELADO EM MATEMÁTICA UNIVERSIDADE FEDERAL DE
PERNAMBUCO
DIRETORIA DE GESTÃO ACADÊMICA
PRÓ-REITORIA PARA ASSUNTOS ACADEMICOS
Unidade Programática
Data Conteúdo
Qtd de Aulas Teórica Prática
Professor Responsável Início Fim
Horário
25/04/2019
(Qui) Par ordenado e produto cartesiano. 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
30/04/2019
(Ter) Relações de ordem 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
02/05/2019
(Qui) Conjuntos parcial e totalmente 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
07/05/2019
(Ter) Funções; composição de funções 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
09/05/2019
(Qui) Tipos especiais de funções 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
14/05/2019
(Ter) Operações binárias; alguns de seus 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
16/05/2019
(Qui) Relações de equivalência; partições; 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
21/05/2019
(Ter) Interações de funções com ordem, 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
23/05/2019
(Qui) Axiomática de Peano-Dedekind 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
28/05/2019
(Ter) Demonstração por indução finita; 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
30/05/2019
(Qui) Algumas propriedades das operações 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
04/06/2019
(Ter) Propriedades das operações algébricas 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
06/06/2019
(Qui) Indução completa. Prática com induções 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
11/06/2019
(Ter) Prática com induções finita e completa 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
13/06/2019
(Qui) Múltiplos e divisores; mmc e mdc 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
18/06/2019
(Ter) Bases de enumeração 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
25/06/2019
(Ter) Naturais primos e compostos. 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
27/06/2019
(Qui) Introdução à teoria da cardinalidade 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
02/07/2019
(Ter) 2º EXERCÍCIO ESCOLAR (exame) 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 08:00 09:50
04/07/2019
(Qui) SEGUNDA CHAMADA 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
25/04/2019 Não enviado
Data Impresso: Status do Relatório:
3 / 4
PLANO DE ENSINO DE DISCIPLINA PERÍODO LETIVO:
ÓRGÃO OFERTANTE:
2019.1
COORDENAÇÃO DE GRADUAÇÃO DE BACHARELADO EM MATEMÁTICA UNIVERSIDADE FEDERAL DE
PERNAMBUCO
DIRETORIA DE GESTÃO ACADÊMICA
PRÓ-REITORIA PARA ASSUNTOS ACADEMICOS
Unidade Programática
Data Conteúdo
Qtd de Aulas Teórica Prática
Professor Responsável Início Fim
Horário
11/07/2019
(Qui) EXAME FINAL 2 0 FERNANDO JOSE OLIVEIRA
DE SOUZA 10:00 11:50
Turma Téorica Prática Segunda Prova Final
Resumo número de aulas
Perceptoria
Turma XM 72 0 2 2 0
FERNANDO JOSE OLIVEIRA DE SOUZA Professor:
Coordenador:
Data de Envio:
Data de Aprovação:
25/04/2019 Não enviado
Data Impresso: Status do Relatório:
4 / 4
