Toffalori, Cintioli – Logica matematica – McGraw-Hill 2000

cm. 24 x 17, pp. 196, brossura, in ottime condizioni.

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.