|
|
Atividade
| 115010 - Introdução à Lógica e à Argumentação Matemática |
| Período da turma: | 08/01/2024 a 26/01/2024
|
||||
|
|
|||||
| Descrição: | Noções de lógica proposicional: linguagem, valoração, tabela-verdade, tautologia, contradição, contingência, fórmulas equivalentes, leis de De Morgan. Recíproca e contrapositiva. Falácias e silogismos formais - negando o antecedente, negando o consequente, afirmando o antecedente, afirmando o consequente - e suas relações com demonstrações matemáticas corretas e incorretas.
Tipos de demonstrações: prova direta, prova indireta, prova por absurdo, prova por exaustão (caso a caso), indução matemática. Erros comuns de demonstrações cometidos no nível do Ensino Básico. A evolução do conceito de demonstração matemática ao longo do tempo: concepções de provas matemáticas de Tales, Euclides, Russell e Hilbert. Os paradoxos lógicos e suas consequências na matemática. Teoremas de incompletude de Gödel. Heurística (processo de descoberta) de uma demonstração. Diferença entre prova e argumentos intuitivos e geométricos. Discussões filosóficas diversas. Bibliografia • Fajardo, Rogério. Lógica Matemática. 1ª reimp. São Paulo, Edusp, 2019. • Eves, Howard. Introdução à História da Matemática. Trad. Higyno H. Domingues. Campinas, Editora da Unicamp, 2014. • Pólya, George. A Arte de Resolver Problemas. Trad. Heitor Lisboa de Araújo. 2ª reimpr. Rio de Janeiro, Interciência, 1995. • Pólya, George. Mathematics and Plausible Reasoning. Princeton, Princeton University Press, 1954. • Davis, Philip; Hersh, Reuben. A Experiência Matemática. Lisboa, Gradiva Publicações, 1995. |
||||
| Carga Horária: |
30 horas |
||||
| Tipo: | Obrigatória | ||||
| Vagas oferecidas: | 70 | ||||
| Ministrantes: |
Ana Carolina Hernandes de Almeida |
 voltar |
|
Créditos © 1999 - 2024 - Superintendência de Tecnologia da Informação/USP |