Prof. Giorgio Ausiello - Università di Roma "La Sapienza"
Scopi del corso
Presentare vari modelli formali adatti a descrivere linguaggi ed a rappresentare macchine e programmi ed illustrarne i principali aspetti: proprietà sintattiche dei linguaggi e verifiche di correttezza sintattica potere computazionale dei vari modelli di calcolo varianti deterministiche e non deterministiche costi di computazione
Approfondire le proprietà del concetto di calcolabilità e comprendere i limiti teorici dei calcolatori (problemi non decidibili, funzioni non calcolabili)
Approfondire il concetto di costo di risoluzione di un problema (complessità computazionale) e comprendere i limiti pratici dei calcolatori (problemi computazionalmente intrattabili).
Contenuti
Linguaggi formali e automi.
Macchine di Turing e calcolabilità
Macchine a registri
Funzioni ricorsive e linguaggi funzionali
Complessità di algoritmi e problemi.
Prerequisiti
Fondamenti di Informatica I e II
Università Telematica Internazionale UniNettuno è un ateneo telematico che eroga corsi in e-learning - uninettunouniversity.net/
Lezioni |
---|
1.540 visualizzazioni
|
464 visualizzazioni
|
722 visualizzazioni
|
596 visualizzazioni
|
338 visualizzazioni
|
|
523 visualizzazioni
|
367 visualizzazioni
|
388 visualizzazioni
|
507 visualizzazioni
|
402 visualizzazioni
|
673 visualizzazioni
|
654 visualizzazioni
|
540 visualizzazioni
|
313 visualizzazioni
|
Altri corsi
Workflow per VideoMaker 84.99 €
Come ottimizzare il flusso di lavoro video nella fase di post-produzione
Video public speaking 49.99 €
Come parlare bene in video e anche dal vivo. Molti esercizi per un training immediato di oratoria e public speaking.
Come creare una corretta strategia di Marketing 84.99 €
I Principi del Marketing e della Comunicazione con Certificato.
Amministrare un'azienda di servizi. Software Access a vita 19.99 €
Clienti, fornitori, listino prezzi, ordini e preventivi, fatture, magazzino, personale, controllo di gestione, ISO 9001
Cristalloterapia applicata alle griglie - corso avanzato 84.99 €
Griglie di cristallo e cristalloterapia applicata alle griglie, corso avanzato - certificato
Corporate Innovation Learn & Play 49.99 €
Tutta la teoria e la pratica di cui hai bisogno per fare Innovazione in un contesto Corporate. Adorerai le Play Session!
Video Ricetta: Colomba Pasquale GRATIS
La ricetta della Colomba Pasquale: Ingredienti e procedimento http://ricette.giallozafferano.it/Colomb
TAG Cloud
Statistiche web
Corsi attivi: 77.116
Lezioni: 2.066.701
Data: 74 GB