Computabilidade, Funções Computáveis, Lógica E Funções Matemáticas - 2 Edição
Walter Carnielli
R$65,00
Comprar
O livro é um manual de lógica, computabilidade, funções computáveis e fundamentos da matemática, que oferece uma base filosófica para alunos de ensino superior das três áreas.
Autor de 2 livros disponíveis em nosso catálogo.
O livro é um atualizado manual de Lógica, Computabilidade, funções computáveis e Fundamentos da Matemática, que oferece uma sólida base filosófica para alunos de ensino superior das três áreas, além de promover uma interação entre a Filosofia e essas ciências. É objetivo, didático e traz grande quantidade de exercícios.
Referência por apresentar questões complexas do estudo de Lógica de forma acessível, este livro dirige-se, em especial, a estudantes de Filosofia e Matemática, mas pode ser útil inclusive a alunos de outras áreas, ainda que não dominem as ciências exatas em profundidade. Alternativa para os que almejam obter conhecimento mais avançado sobre o assunto em relação ao que conseguiriam por meio de cursos introdutórios, o volume aborda um leque amplo de tópicos, entre os quais se incluem a teoria da computabilidade de Turing e o teorema de Ramsey.
Esta obra apresenta a concepção de ensino público de um dos pedagogos mais influentes da História, Syvestre-François Lacroix, a cujas ideias, em especial a respeito do ensino de Matemática, curvaram-se, no século 19, vários países da Europa e das Américas, inclusive o Brasil. No texto, aqui apresentado pioneiramente em português, Lacroix faz uma defesa apaixonada dos ideais iluministas e do modelo de instrução pública adotado durante a Revolução Francesa, o qual, inclusive, ajudou a construir. Editado quatro vezes na França entre 1805 e 1838, o livro atravessou os períodos revolucionário e napoleônico e alcançou a Restauração.
Michael Otte é professor e diretor do Institut der Didaktik da Universidade de Bielefeld, da Alemanha, e tem colaborado no Programa de Educação Matemática da UNESP de Rio Claro. Trabalhando com as categorias de formal, social e subjetivo, constrói uma teoria inovadora da educação matemática que se traduz praticamente em uma didática dessa disciplina, que, por sua vez, não pode ser separada da crítica da ciência.