Articoli correlati a Logica matematica
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.
- EditoreMcGraw-Hill Education
- Data di pubblicazione2003
- ISBN 10 8838608687
- ISBN 13 9788838608681
- RilegaturaCopertina flessibile
- Numero di pagine195
(nessuna copia disponibile)
Cerca: Inserisci un desiderataSe 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