Compartir
Fundamentos de l Gica e Teoria da Computa o (en Portugués)
Am Lcar Sernadas; Cristina Sernadas (Autor)
·
College Publications
· Tapa Blanda
Fundamentos de l Gica e Teoria da Computa o (en Portugués) - Am Lcar Sernadas; Cristina Sernadas
24,31 €
25,59 €
Ahorras: 1,28 €
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis ListasSe enviará desde nuestra bodega entre el
Miércoles 12 de Junio y el
Viernes 14 de Junio.
Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.
Reseña del libro "Fundamentos de l Gica e Teoria da Computa o (en Portugués)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Portugués.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.
