informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
2.091 click
3.415 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 712 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 Architettura 641 visualizzazioni

Architettura del Paesaggio - UniNettuno 12 lezioni

Prof.Mariella Zoppi - Università di Firenze Scopi Fornire informazioni sul campo di applicazione delle discipline e sulla evoluzione del concetto di paesaggio. Contenuti Evoluzione disciplina...


Universita Ingegneria 1168 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 Psicologia 568 visualizzazioni

Affetti e Relazioni Interpersonali - UniNettuno 16 lezioni

Prof.Nino Dazzi - Università di Roma "La Sapienza" Prof.Massimo Ammaniti - Università di Roma "La Sapienza" Prof.Alessandra De Coro - Università di Roma "La Sapienza" Prof.Margherita Lang - Univ...


Universita Scienze 708 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 Medicina 545 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 Scienze 614 visualizzazioni

Tecniche Per La Gestione Della Qualità - UniNettuno 40 lezioni

Prof.Giulio Barbato - Politecnico di Torino Prof.Fiorenzo Franceschini - Politecnico di Torino Prof.Raffaello Levi - Politecnico di Torino Scopi Il corso si propone di presentare un quadro dei pri


Universita Giurisprudenza 1317 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 Ingegneria 3177 visualizzazioni

Introduzione alla fisica sperimentale: elettromagnetismo, ottica, fisica moderna - Politecnico di Milano 74 lezioni

Il corso affronta le tematiche dell’elettromagnetismo e dell’ottica partendo dall'applicazione del metodo sperimentale, per prepararsi al meglio all'ingresso all'università. Il corso affronta ...


Universita Matematica 4167 visualizzazioni

Corso propedeutico di Matematica - UniNettuno 40 lezioni

Prof.Paolo Boieri - Politecnico di Torino Precorso di matematica


Statistiche web

Community: 21.098 utenti
Corsi attivi: 1.156
Lezioni: 27.681
Data: 83 GB
Online: 40 utenti

Ricevi notizie sui nuovi corsi