Fundamentos De L Gica E Teoria Da Computa O - Cristina Sernadas - Książki - College Publications - 9781848900813 - 16 sierpnia 2012
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Fundamentos De L Gica E Teoria Da Computa O Portuguese edition

Cristina Sernadas

Cena
zł 134,90

Zamówione z odległego magazynu

Przewidywana dostawa 10 - 19 lut
Dodaj do swojej listy życzeń iMusic

Fundamentos De L Gica E Teoria Da Computa O Portuguese edition

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.

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 16 sierpnia 2012
ISBN13 9781848900813
Wydawcy College Publications
Strony 356
Wymiary 154 × 19 × 230 mm   ·   498 g
Język Portuguese