Libri UniversitariApri il catalogo

Mundici – 'Dalla macchina di Turing a P/NP'

Libro adottato a Firenze, a.a. 2026/2027 · 1 canale

«Mundici – 'Dalla macchina di Turing a P/NP'» è adottato per Logica e Calcolabilita' dal prof. Antongiulio Fornasiero (Matematica – Firenze).

Mundici – 'Dalla macchina di Turing a P/NP'Cerca su Amazon ›

Come lo indica il docente: D.Mundici, 'Dalla macchina di Turing a P/NP', McGraw-Hill, 2013

Titolo
Dalla macchina di Turing a P/NP
Autori
Daniele <1946- > Daniele Mundici Mundici
Editore
McGraw-Hill, 2013
ISBN
9788838674020

Chi lo adotta

Programma e testi di ogni canale

Logica e Calcolabilita' – Prof. Antongiulio Fornasiero Canale unico

Corso di laurea: Matematica · Laurea triennale (L-35) · 3º anno · 2º semestre · Applicativo · 6 CFU

Firenze · Matematica e Informatica 'Ulisse Dini' · 6 CFU · apri nel catalogo · Matematica · 3º anno · 2º semestre ›

Mundici – 'Dalla macchina di Turing a P/NP'questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Altri testi consigliati

Garey – 'Computers and intractability'Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cover – Per chi volesse approfondire le Zero-Knowledge ProofsCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Le dispense P. Crescenzi: le trovate suo sito. E' un libro per informatici, per cui presenta molto più materiale di quanto vediamo al corso.

Argomenti del programma: Macchine di Turing. La macchina universale. Cenni di calcolabilità. Nozioni logiche fondamentali di sintassi e semantica delle formule CNF della logica di Boole. La Classe NP, i problemi NP completi.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a