informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
2.481 click
3.843 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 3738 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 5121 visualizzazioni

Corso propedeutico di Matematica - UniNettuno 40 lezioni

Prof.Paolo Boieri - Politecnico di Torino Precorso di matematica


Universita Economia 1124 visualizzazioni

Economia II per L'Ingegneria - UniNettuno 15 lezioni

Prof.Piercarlo Ravazzi - Politecnico di Torino Scopi Obiettivo del corso è l'apprendimento delle principali tecniche aziendali utilizzate nella realtà allo scopo di valutare la performance dell'im...


Universita Ingegneria 2615 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 Ingegneria 2404 visualizzazioni

Elettronica dei Sistemi Digitali - UniNettuno 40 lezioni

Prof.Ing. Paolo Spirito - Università di Napoli Federico II Prof.Ing. Guido Masetti - Università di Bologna Prof.Ing. Pier Ugo Calzolari - Università di Bologna Scopo del corso Il corso svilup...


Universita Ingegneria 975 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 Ingegneria 934 visualizzazioni

Campi Elettromagnetici I - UniNettuno 40 lezioni

Prof.Renato Orta - Politecnico di Torino Scopi Lo scopo del corso, unitamente a quello di Campi Elettromagnetici II, è quello di fornire le conoscenze di base nel campo dell'Elettromagnetismo. L'ap...


Universita Ingegneria 2482 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 Architettura 788 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 1515 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...


Statistiche web

Community: 21.214 utenti
Corsi attivi: 1.160
Lezioni: 27.686
Data: 83 GB
Online: 39 utenti

Ricevi notizie sui nuovi corsi