XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: COMPLEXITY IN EUCLIDEAN PLANE GEOMETRY Autor: SILVANA MARINI RODRIGUES LOPES
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
HUMBERTO JOSE BORTOLOSSI - ADVISOR
CARLOS TOMEI - CO-ADVISOR
Nº do Conteudo: 3279
Catalogação: 25/02/2003 Liberação: 25/02/2003 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3279@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3279@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.3279
Resumo:
Título: COMPLEXITY IN EUCLIDEAN PLANE GEOMETRY Autor: SILVANA MARINI RODRIGUES LOPES
CARLOS TOMEI - CO-ADVISOR
Nº do Conteudo: 3279
Catalogação: 25/02/2003 Liberação: 25/02/2003 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3279@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3279@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.3279
Resumo:
Two forms of complexity in Euclidean plane geometry are
considered. In the first one, problems are described
algebraically, and the complexity level is measured
essentially by the degree of a polynomial. As a
consequence, many familiar and general results in geometry
can be proved by inspecting two or three special cases. The
second form uses the syntactic description of a theorem
allowing for a quanti.cation of the complexity in logic
terms (number of quantifiers and atoms in the formula).
Inspired by this approach, some procedures in mechanized
proofs are described. We also present some traditional
groups of operations in geometry which simplify the two
approaches. The study of more advanced techniques in
mathematics sheds new light on standard high school topics.
Descrição | Arquivo |
COMPLETE |