Files (48):

Files
Nome File Tipo Peso Data Accessi
Lezione20-grammaticheRegolariIntroComplexity.pdf Lezione 20: ancora sulle grammatiche regolari; introduzione alla Teoria della Complessità Computazionale pdf 473.77 KB 23 May 2026, 08:49 89
Lezione29-caratterizzazioneNP.pdf Lezione 29: caratterizzazione alternativa di NP pdf 475.97 KB 23 May 2026, 08:56 88
Lezione19-grammaticheRegolari.pdf Lezione 19: grammatiche regolari pdf 498.29 KB 23 May 2026, 08:48 75
Lezione26-problemiECodifiche.pdf Lezione 26: problemi e codifiche pdf 500.64 KB 23 May 2026, 08:53 95
Lezione34-costanti-oltreNP.pdf Lucidi della lezione 34: il ruolo delle costanti, oltre NP, esercizi pdf 529.62 KB 30 May 2026, 06:43 115
Lezione09-HaltingProblemRiduzioni.pdf Lezione 9: indecidibilità dell'Halting Problem e riduzioni fra linguaggi pdf 538.2 KB 23 May 2026, 08:39 88
Lezione01-Introduzione.pdf Lezione 1: introduzione al corso pdf 548.21 KB 23 May 2026, 08:30 98
Lezione17-grammaticheContextFree.pdf Lezione 17: grammatiche context-free pdf 559.31 KB 23 May 2026, 08:46 75
Lezione32-proveDiNPcompletezza.pdf Lezione 32: dimostrazioni di NP-completezza pdf 573.27 KB 23 May 2026, 08:58 115
Lezione05-nonDeterminismo.pdf Lezione 5: Macchina di Turing non deterministica pdf 638.97 KB 23 May 2026, 08:34 86
Lezione03-macchineDiTuring.pdf Lezione 3: macchine di Turing pdf 644.2 KB 23 May 2026, 08:32 110
Lezione06-macchinaUniversale.pdf Lezione 6: la macchina di Turing Universale pdf 651.24 KB 23 May 2026, 08:34 85
Lezione11-daTuringAPascal.pdf Lezione 11: ancora sul modello di calcolo PascalMinimo pdf 655.2 KB 23 May 2026, 08:41 77
Lezione30-teoremaCook-Levin.pdf Lezione 30: il teorema di Cook-Levin pdf 657.87 KB 23 May 2026, 08:56 80
Lezione09-storia.pdf Breve storia della calcolabilità pdf 723.17 KB 23 May 2026, 08:58 95