Andere Kunden interessierten sich auch für
![Princípios de Teoria dos Conjuntos]( "Princípios de Teoria dos Conjuntos")
Princípios de Teoria dos Conjuntos19,99 €![Fundamentos Axiomáticos das Disciplinas Científicas]( "Fundamentos Axiomáticos das Disciplinas Científicas")
Fundamentos Axiomáticos das Disciplinas Científicas23,99 €![Teoria algebrica dei meccanismi automatici]( "Teoria algebrica dei meccanismi automatici")
Teoria algebrica dei meccanismi automatici33,99 €![Introducao ao calculo lambda]( "Introducao ao calculo lambda")
Introducao ao calculo lambda22,99 €![Una introducción a la teoría lógica de la Edad Media]( "Una introducción a la teoría lógica de la Edad Media")
Una introducción a la teoría lógica de la Edad Media24,99 €![Un modèle formel de la syllogistique d'Aristote]( "Un modèle formel de la syllogistique d'Aristote")
Un modèle formel de la syllogistique d'Aristote18,99 €![L'Emergence de La Presse Mathematique En Europe Au 19eme Siecle]( "L'Emergence de La Presse Mathematique En Europe Au 19eme Siecle")
L'Emergence de La Presse Mathematique En Europe Au 19eme Siecle25,99 €
O livro faculta uma introdução autossuficiente à lógica matemática e à teoria da computabilidade para alunos de matemática ou de ciência da computação. Está organizado em três partes à volta dos sucessos e fracassos do programa de Hilbert de formalização da Matemática. A Parte I aborda a questão da formalização e a computabilidade. A Parte II apresenta a lógica de primeira ordem, incluindo o teorema da completude de Gödel e o teorema da coerência de Gentzen. A Parte III está focada na aritmética, na representabilidade de aplicações computáveis, nos teoremas da incompletude de Gödel e na decidibilidade da aritmética de Presburger. A Parte IV inclui respostas detalhadas a exercícios selecionados. Um curso de graduação poderá ser baseado nas duas primeiras partes, excluindo o cálculo de Gentzen e terminando com uma panorâmica do caminho para o primeiro teorema da incompletude. Num curso mais avançado poder-se-á suprimir o material introdutório já do conhecimento dos alunos e estabelecer os resultados positivos e negativos do programa de Hilbert, abordando, desta forma, a demonstração da coerência proposta por Gentzen e a Parte III na íntegra. Esta segunda edição alargada também incorpora as correções e muitas revisões pontuais do texto preparadas desde a sua publicação original.