Computabilidade, Funções Computáveis, Lógica E Funções Matemáticas - 1 Edição
Walter Carnielli
R$60,00
Comprar
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.
Autor de 2 livros disponíveis em nosso catálogo.
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.
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.