Libri UniversitariLogica e Calcolabilita' – prof. Antongiulio Fornasiero
Matematica · Università degli Studi di Firenze · 3º anno · 2º semestre · Applicativo · 6 CFU · canale unico
Libri del canale
Logica e Calcolabilita' 6 CFU
Il docente indica 2 testi (3 libri tra cui scegliere)
Mundici – 'Dalla macchina di Turing a P/NP'Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Garey – 'Computers and intractability'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 ProofsIl 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.
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Apri nel catalogo: Matematica, 3º anno, tutte le materie e i canali ›
Testi d'esame di Logica e Calcolabilita' del prof. Antongiulio Fornasiero, canale unico, corso di laurea in Matematica (Laurea triennale (L-35)), Università degli Studi di Firenze, 3º anno · 2º semestre · Applicativo · 6 CFU, a.a. 2026/2027. Libri adottati: Mundici – 'Dalla macchina di Turing a P/NP'; Garey – 'Computers and intractability'; Cover – Per chi volesse approfondire le Zero-Knowledge Proofs.
Altre materie del prof. Fornasiero
- Logica Matematica · Logica, Filosofia delle Scienze e Metodi della Ricerca · esame facoltativo · 6 CFU
- Logica Matematica · Matematica · esame facoltativo · 9 CFU