EUR 21,58
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 22,87
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Portoghese
Editore: College Publications 8/16/2012, 2012
ISBN 10: 1848900813 ISBN 13: 9781848900813
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condizione: New. Fundamentos de L Gica E Teoria Da Computa O. Book.
Lingua: Portoghese
Editore: College Publications 2012-08-16, 2012
ISBN 10: 1848900813 ISBN 13: 9781848900813
Da: Chiron Media, Wallingford, Regno Unito
EUR 17,91
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 22,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 20,86
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 24,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 31,43
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 34,72
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.
Da: preigu, Osnabrück, Germania
EUR 32,65
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Fundamentos de L Gica E Teoria Da Computa O | Am Lcar Sernadas (u. a.) | Taschenbuch | Kartoniert / Broschiert | Portugiesisch | 2012 | College Publications | EAN 9781848900813 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.