informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
2.985 click
4.616 visualizzazioni
URL
HTML code

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 nascondi descrizione

 

 

Universita Ingegneria 3105 visualizzazioni

Introduzione alla fisica sperimentale: meccanica, termodinamica - Politecnico di Milano 101 lezioni

Il corso affronta le tematiche della meccanica e della termodinamica partendo dall'applicazione del metodo sperimentale, per prepararsi al meglio all'ingresso all'università. Il corso è struttura...


Universita Biomedica 2587 visualizzazioni

Lezioni di Anatomia: Apparato locomotore - Associazione Agorà 43 lezioni

Lezioni di anatomia sull'apparato locomotore di livello universitario. L'Associazione Agorà ha come fine principale quello di formare giovani ricercatori in campo biomedico, dotati di sicure compete...


Universita Ingegneria 2929 visualizzazioni

Meccanica dei fluidi - Uniclam 36 lezioni

Prof. Angelo Leopardi - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale Proprietà dei Fluidi; Statica dei Fluidi; Cinematica dei Fluidi; Le equazioni globali della Meccanica ...


Universita Ingegneria 2986 visualizzazioni

Corso di Informatica Teorica - UniNettuno 15 lezioni

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 pr...


Universita Biomedica 3505 visualizzazioni

Lezioni di anatomia: Apparato cardiocircolatorio - Associazione Agorà 35 lezioni

Lezioni di anatomia sull'apparato cardiocircolatorio di livello universitario. L'Associazione Agorà ha come fine principale quello di formare giovani ricercatori in campo biomedico, dotati di sicure...


Universita Giurisprudenza 3145 visualizzazioni

Diritto commerciale - UniNettuno 40 lezioni

Prof.Francesco Galgano - Università di Bologna Scopi del corso Apprendimento degli aspetti giuridici dell'impresa e della sua collocazione nel mercato nazionale e internazionale. Contenuti Il...


Universita Biomedica 3948 visualizzazioni

Lezioni di Biologia - Associazione Agorà 39 lezioni

Corso di Biologia di livello universitario. L'Associazione Agorà ha come fine principale quello di formare giovani ricercatori in campo biomedico, dotati di sicure competenze professionali e, soprat...


Universita Medicina 885 visualizzazioni

Seminario: Ricerca ed Innovazione per il Sistema Sanitario 27 lezioni

Ricerca ed Innovazione per il Sistema Sanitario da una visione locale all'Europa 23 Novembre 2010 Reggia Emilia, Aula Magna Manodori, Ex caserma Zucchi


Universita Ingegneria 3945 visualizzazioni

Introduzione alla matematica per l'università - Politecnico di Milano 77 lezioni

Il corso copre la matematica di base, permettendo di colmare eventuali lacune e di mettere a punto la preparazione necessaria all'ingresso all'università. Il corso si articola in 5 “settimane”...


Universita Economia 3021 visualizzazioni

Corso di Microeconomia - Università di Catania 11 lezioni

In questa serie di video il prof. Roberto Cellini (Dipartimento di Economia e Impresa, Università di Catania) illustra lo svolgimento di 19 "esercizi tipo" proposti per l'insegnamento di Microeconomi...


Statistiche web

Community: 21.416 utenti
Corsi attivi: 1.176
Lezioni: 27.703
Data: 83 GB
Online: 139 utenti

Ricevi notizie sui nuovi corsi