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.306 visualizzazioni
|
|
410 visualizzazioni
|
|
665 visualizzazioni
|
|
374 visualizzazioni
|
|
299 visualizzazioni
|
|
|
465 visualizzazioni
|
|
309 visualizzazioni
|
|
335 visualizzazioni
|
|
389 visualizzazioni
|
|
361 visualizzazioni
|
|
487 visualizzazioni
|
|
599 visualizzazioni
|
|
355 visualizzazioni
|
|
278 visualizzazioni
|
Altri corsi
Corso di Algebra: i numeri GRATIS
Corso di algebra realizzato dal prof. Carlo Incarbone, soprannominato INCA Maggiori informazioni su http://www.incarlo.com/
PHP: Hypertext Preprocessor - videoCorso Completo GRATIS
PHP da zero nel modo più completo e professionale che ci sia! In sole 16 ore e 30 minuti con teoria e pratica, tutto in video formato! L'architettura a tre livelli del WEB il linguaggio di s...
Applicazioni per bambini per iPhone, iPad e Android GRATIS
Video recensioni delle migliori e più belle applicazioni per bambini e ragazzi per iPhone e iPad (presenti su App store) ma anche per Android (presenti su Google Play). Faccio queste recensioni per...
Corso di lingua italiana - oneworld GRATIS
Impara l'italiano con i nostri esclusivi "One World Italiano" video, con sottotitoli!
Contraccezione ormonale GRATIS
Questi video sono dedicati alla contraccezione ormonale e ai suoi positivi effetti sulla salute della donna. Per saperne di più: www.alessandragraziottin.it
Password Vault Lite, memorizzare tutte le password GRATIS
Un programma per creare password (ad esempio per la banca), memorizzarle in modo sicuro e richiamarle in modo facile senza doversele ricordare a memoria!
Formattare il testo e rimuovere i quote su Mac OS X GRATIS
Software scaricabile da http://www.apimac.com - Come rimuovere i simboli di \"quote\" e aggiustare i paragrafi di un testo in automatico su Mac OS X con il programma Apimac Clean Text
Corso Social Media: Facebook, Instagram, LinkedIn, TikTok, YouTube 244 €
Il corso si propone di illustrare caratteristiche e funzionalità dei principali social network. Partendo da un inquadramento generale del social media marketing si entra nel dettaglio delle princi...
Corso Online MOS Office Excel Core + Expert 2010 150 €
Excel 2010 è il programma del pacchetto Office da utilizzare come foglio di calcolo. Attraverso Excel è possibile gestire dei dati numerici, avvalendosi di una serie di strumenti di calcolo e di ela...
TAG Cloud
Statistiche web
Corsi attivi: 74.474
Lezioni: 2.066.701
Data: 74 GB
Online: 40 utenti