Professor: Severino Toscano do Rego Melo Aulas: terças às 8, sextas às 10, na Sala B6.

Programa: Diversas abordagens diferentes podem ser adotadas para cumprir a ementa desta disciplina. Nosso foco será no método axiomático de Euclides. Vamos estudar a formulação de Hilbert da geometria euclideana (plana), seguindo o livro de Greenberg. Construções com régua e compasso serão tratadas abstratamente, como parte da teoria euclideana.

PCoC. O trabalho deve ser feito por equipes de 1 a 4 pessoas. Deve ser entregue em papel ou em vídeo, deve ser apresentado em sala por todos os membros da equipe. Para mais detalhes e sugestões de temas, veja aqui.

Avaliação: Teremos três provas (em 19 de setembro, 24 de outubro e 5 de dezembro) e uma substitutiva aberta (12 de dezembro), todas com o mesmo peso.
Caso a nota do trabalho seja maior ou igual a cinco, a nota das provas terá peso quatro na média final e a nota de trabalho, peso um. Caso a nota do trabalho seja menor do que cinco, a média final será o mínimo entre a nota do trabalho e a média ponderada com pesos quatro e um; além disso, o trabalho precisará ser refeito na recuperação.
Para que a(o) aluna(o) receba crédito de extensão, é necessário e suficiente que toda a equipe concorde em ter o trabalho (vídeo ou pdf) divulgado na internet.
Prazo para que o professor seja comunicado sobre a formação da equipe e a escolha do tema do trabalho: 3 de outubro.

(1) M. J. Greenberg. Euclidean and Non-Euclidean Geometries: development and history, 3ª edição. W. H. Freeman, 2003. pdf
(2) R. Hartshorne. Geometry: Euclid and Beyond. Springer, 1997.
(3) D. Hilbert. The Foundations of Geometry.
(4) R. Millman e G. Parker. Geometry - a metric approach with models. Springer, 1991.
(5) E. E. Moise. Elementary Geometry from an Advanced Standpoint. Addison-Wesley, 1963. pdf
(6) E.E. Moise e F.L. Downs. Geometria Moderna, volumes 1. Edgard Blücher, 1971.
(7) Os Elementos de Euclides. Tradução de Irineu Bicudo. Editora da UNESP, 2009.