9788838608681: Logica matematica
Vedi tutte le copie di questo ISBN:
 
 

Brossura. Ricco di esempi e di riferimenti bibliografici, questo testo è pensato per corsi di base di Logica classica e per corsi più avanzati di teoria dei modelli, o di computabilità e complessità. Dopo una breve introduzione alla teoria degli insiemi, il libro illustra la logica proposizionale, con particolare riferimento al problema della soddisfacibilità e alla congettura P=NP. Viene poi trattata la logica del primo ordine, descrivendo la relativa teoria dei modelli e le sue connessioni con algebra e geometria. L'ultima sezione del libro è dedicata alla computabilità e alla complessità, delle quali sono introdotti i più recenti sviluppi (algoritmi probabilistici, quantum computer). Un'appendice finale tratta brevemente la logica del secondo ordine e altre possibili logiche. In buone condizioni.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Se non trovi il libro che cerchi su AbeBooks possiamo cercarlo per te automaticamente ad ogni aggiornamento del nostro sito. Se il libro è ancora reperibile da qualche parte, lo troveremo!

Inserisci un desiderata