informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
2.692 click
4.163 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 Medicina 758 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 1715 visualizzazioni

Fondamenti Di Automatica - UniNettuno 40 lezioni

Prof.Claudio Bonivento - Università di Bologna Prof.Alberto Tonielli - Università di Bologna Prof.Lorenzo Sciavicco - Università di Napoli "Federico II" Prof.Paolo Spirito - Università di Napol...


Universita Ingegneria 1188 visualizzazioni

Controlli Automatici - UniNettuno 40 lezioni

Prof.Alberto Isidori - Università degli studi di Roma "La Sapienza" Scopi Illustrare i principi di funzionamento e i principali criteri di progetto di servomeccanismi, azionamenti e in generale sis...


Universita Matematica 1166 visualizzazioni

Calcolo Numerico - UniNettuno 20 lezioni

Prof.Giovanni Monegato - Politecnico di Torino Scopi Vengono illustrati quei metodi numerici che sono considerati di base per il calcolo scientifico, e in particolare per la risoluzione dei sistem


Universita Matematica 5613 visualizzazioni

Corso propedeutico di Matematica - UniNettuno 40 lezioni

Prof.Paolo Boieri - Politecnico di Torino Precorso di matematica


Universita Ingegneria 2838 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 Scienze 1238 visualizzazioni

Fluidodinamica Applicata - UniNettuno 40 lezioni

Prof.Giovanni Maria Carlomagno - Università di Napoli Federico II Prof.Claudio Cancelli - Politecnico di Torino Prof.Giorgio Graziani - Università "La Sapienza" Roma Scopi Fornire allo student...


Universita Ingegneria 797 visualizzazioni

Qualità nei Prodotti e nei Processi - UniNettuno 40 lezioni

Prof.Francesco Jovane - Politecnico di Milano Prof.Armando Brandolese - Politecnico di Milano Prof.Federico Marchetti - Politecnico di Milano Prof.Giorgio Paolini - Politecnico di Milano Ing.Tulli


Universita Ingegneria 2276 visualizzazioni

Analisi Matematica 2 - Uniclam 75 lezioni

Prof. Antonio Corbo Esposito - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale Spazi vettoriali su R o C .Definizione e prime proprietà. Nozione di dipendenza lineare. Parte ...


Universita Giurisprudenza 2387 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...


Statistiche web

Community: 21.296 utenti
Corsi attivi: 1.162
Lezioni: 27.688
Data: 83 GB
Online: 92 utenti

Ricevi notizie sui nuovi corsi