€ 22.52€ 26.50
    Risparmi: € 3.98 (15%)
Spedizione a 1 euro sopra i € 25
Normalmente disponibile in 10/15 giorni lavorativi
Punti di ritiroScegli il punto di consegnae ritira quando vuoiScopri come

Ne hai uno usato?
Vendilo!
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

di Dario Palladino


  • Editore: Carocci
  • Collana: Università
  • Data di Pubblicazione: febbraio 2004
  • EAN: 9788843029006
  • ISBN: 8843029002
  • Pagine: 202
  • Formato: brossura
Posizione 18° in Logica matematica
 Questo prodotto appartiene alla promozione  Sconti Potenti! Università  e Professionale
Questo articolo è acquistabile
con il Bonus Cultura "18app"

Descrizione del libro

Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.

Tutti i libri di Dario Palladino

Acquistali insieme

Gli utenti che comprano Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità acquistano anche Corso di logica. Introduzione al calcolo dei predicati di Dario Palladino € 28.90
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
aggiungi
Corso di logica. Introduzione al calcolo dei predicati
aggiungi
€ 51.42

Voto medio del prodotto:  4 (4 di 5 su 1 recensione)

4Un buon manuale, 15-03-2012
di - leggi tutte le sue recensioni
Il testo è un buon manuale sul quale approfondire temi di logica abbastanza avanzati, quali i teoremi di completezza e incompletezza di Godel. Seppur con qualche difficoltà, il testo risulta nel complesso chiaro e utile soprattutto per scopi accademici. C'è inoltre da sottolineare che non è indirizzato a matematici, in quanto contiene solo l'apparato concettuale dei temi sopra indicati.
Ritieni utile questa recensione? SI NO