Name: Fundamentos de l Gica e Teoria da Computa o (en Portugués)
SKU: 51566123
Price: 32.50 USD
Availability: InStock
Author: Am Lcar Sernadas; Cristina Sernadas

portada Fundamentos de l Gica e Teoria da Computa o (en Portugués)

Fundamentos de l Gica e Teoria da Computa o (en Portugués)

Formato

Libro Físico

Editorial

College Publications

Autor

Am Lcar Sernadas; Cristina Sernadas

Año

2012

Idioma

Portugués

N° páginas

356

Encuadernación

Tapa Blanda

ISBN13

9781848900813

Categorías

Lógica matemática

Fundamentos de l Gica e Teoria da Computa o (en Portugués)

Am Lcar Sernadas; Cristina Sernadas (Autor) · College Publications · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 23 días háb.

$ 65.01$ 32.50

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 32.50

Llega entre el 15 Sep y el 25 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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.