Home
Home
Connect

McGraw-Hill Education (Italy) srl

ITALIA Indian Flag
Strumenti Tools Print Larger font Smaller font Bookmark this page
 
Share/Bookmark

DISCIPLINE
Economia ed Economia aziendale
Informatica
Ingegneria e architettura
Medicina
Scienze infermieristiche e professioni sanitarie
Scienze matematiche, fisiche, chimiche e biologiche
Scienze umane e sociali
Monografie
Pubblicazioni dalle aziende
Logica matematica

Di: Carlo Toffalori, Patrizio Cintioli


Logica matematica


ISBN: 9788838673207,
Prezzo: € 16,50
Pubblicazione: marzo 2000
Pagine: 200
Metti nel carrello


Mi piace questo libro

Indice dettagliato (formato PDF)
Visualizza titoli simili:
Categoria:
Collana: Istruzione scientifica

Descrizione | Gli autori |

DESCRIZIONE

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.

GLI AUTORI

Carlo Toffalori, Patrizio Cintioli

Carlo Toffalori è professore ordinario di Logica Matematica presso l’Università di Camerino.
Patrizio Cintioli è ricercatore associato di Logica Matematica presso l’Università di Camerino.

Top

Chi siamo | Condizioni di utilizzo | Informativa sulla privacy | Normativa sul diritto d’autore| Modello di organizzazione, gestione e controllo | Contattaci | Assistenza | Come ordinare | Mappa del sito

Copyright © 2002 -2017 McGraw-Hill Education (Italy) srl
Via Ripamonti 89, 20139 Milano, Italia - Telefono +39 02/5357181 - Fax +39 02/5397633
Cap. Soc. Euro 10.000 Int. vers. | Codice Fiscale e P. IVA 07805780967 - Iscritta presso la C.C.I.A.A. di Milano numero di iscrizione 07805780967 | R.E.A. 1982936