Fundamentos de L Gica E Teoria Da Computa O » książka
Fundamentos de L Gica E Teoria Da Computa O
ISBN-13: 9781848900813 / Portugalski / Miękka / 2012 / 356 str.
O livro faculta uma introducao autossuficiente a logica matematica e a teoria da computabilidade para alunos de matematica ou de ciencia da computacao. Esta organizado em tres partes a volta dos sucessos e fracassos do programa de Hilbert de formalizacao da Matematica. A Parte I aborda a questao da formalizacao e a computabilidade. A Parte II apresenta a logica de primeira ordem, incluindo o teorema da completude de Godel e o teorema da coerencia de Gentzen. A Parte III esta focada na aritmetica, na representabilidade de aplicacoes computaveis, nos teoremas da incompletude de Godel e na decidibilidade da aritmetica de Presburger. A Parte IV inclui respostas detalhadas a exercicios selecionados. Um curso de graduacao podera ser baseado nas duas primeiras partes, excluindo o calculo de Gentzen e terminando com uma panoramica do caminho para o primeiro teorema da incompletude. Num curso mais avancado poder-se-a suprimir o material introdutorio ja do conhecimento dos alunos e estabelecer os resultados positivos e negativos do programa de Hilbert, abordando, desta forma, a demonstracao da coerencia proposta por Gentzen e a Parte III na integra. Esta segunda edicao alargada tambem incorpora as correcoes e muitas revisoes pontuais do texto preparadas desde a sua publicacao original."
O livro faculta uma introduçao autossuficiente a lógica matemática e a teoria da computabilidade para alunos de matemática ou de ciencia da computaçao. Está organizado em tres partes a volta dos sucessos e fracassos do programa de Hilbert de formalizaçao da Matemática. A Parte I aborda a questao da formalizaçao 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 coerencia de Gentzen. A Parte III está focada na aritmética, na representabilidade de aplicaçoes 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çao 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çao da coerencia proposta por Gentzen e a Parte III na íntegra. Esta segunda ediçao alargada também incorpora as correçoes e muitas revisoes pontuais do texto preparadas desde a sua publicaçao original.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
