Fundamentos De Logica E Teoria Da Computacao
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Amilcar Sernadas
Cristina Sernadas
- Portugees
- Paperback
- 9781848900813
- 16 augustus 2012
- 356 pagina's
Samenvatting
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."
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- pt
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 16 augustus 2012
- Aantal pagina's
- 356
- Illustraties
- Met illustraties
Betrokkenen
- Hoofdauteur
- Amilcar Sernadas
- Tweede Auteur
- Cristina Sernadas
- Hoofduitgeverij
- College Publications
Overige kenmerken
- Extra groot lettertype
- Nee
- Studieboek
- Ja
- Verpakking breedte
- 156 mm
- Verpakking hoogte
- 234 mm
- Verpakking lengte
- 234 mm
- Verpakkingsgewicht
- 500 g
EAN
- EAN
- 9781848900813
Je vindt dit artikel in
- Beschikbaarheid
- Leverbaar
- Taal
- Portugees
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
De prijs van dit product is 23 euro en 99 cent.
2 - 3 weken
Verkoop door bol
- Prijs inclusief verzendkosten, verstuurd door bol
- Ophalen bij een bol afhaalpunt mogelijk
- 30 dagen bedenktijd en gratis retourneren
- Dag en nacht klantenservice
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.