informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (83 courses)
pubblicato
1.665 click
2.868 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 644 visualizzazioni

Calcolatori Elettronici 3 - UniNettuno 40 lezioni

Prof.Antonio Natali - Università di Bologna Scopi Fornire una introduzione alla programmazione ad oggetti e ai costrutti linguistici per la programmazione ad oggetti in C++. Fornire criteri per la ...


Universita Ingegneria 839 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 688 visualizzazioni

Informatica Industriale - UniNettuno 25 lezioni

Prof.Arrigo Frisiani - Università di Genova Prof.Massimo Paolucci - Università di Genova Prof.Roberto Sacile - Università di Genova Prof.Renato Zaccaria - Università di Genova Scopi Il corso ...


Universita Economia 1353 visualizzazioni

Microeconomia e Macroeconomia 15 lezioni

Videocorso Microeconomia e Macroeconomia - Prof. A.E. Biondo Relazioni di preferenza Vincolo di bilancio Equilibrio del consumatore Varianti e domanda Produzione Costi di produzione Massimizzaz


Universita Ingegneria 2613 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 Ingegneria 903 visualizzazioni

Comunicazioni Elettriche - UniNettuno 26 lezioni

Prof.Mario Pent - Politecnico di Torino Scopi Il corso è dedicato ad uno degli aspetti fondamentali della teoria e della tecnica delle telecomunicazioni: la trasmissione dell'informazione da una so...


Universita Ingegneria 2413 visualizzazioni

Fondamenti di Meccanica Applicata - UniNettuno 37 lezioni

Prof.Guido Belforte - Politecnico di Torino Università Telematica Internazionale UniNettuno è un ateneo telematico che eroga corsi in e-learning - www.uninettunouniversity.net/


Universita Matematica 1294 visualizzazioni

Corso di Ricerca Operativa - UniNettuno 40 lezioni

La ricerca operativa è una branca della matematica applicata in cui problemi decisionali complessi vengono analizzati e risolti mediante modelli matematici e metodi quantitativi avanzati. Prof.Alber...


Universita Giurisprudenza 903 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 Sociologia 338 visualizzazioni

Gruppi e Influenze Sociali - UniNettuno 15 lezioni

Prof.Chiara Berti Prof.Augusto Palmonari Prof.Giuseppina Speltini Scopi Il corso si pone l'obiettivo di fornire conoscenze in merito ai processi di gruppo nell'ottica teorica della Psicologia soci


Statistiche web

Community: 21.000 utenti
Corsi attivi: 1.163
Lezioni: 29.278
Data: 83 GB
Online: 1 utente

Ricevi notizie sui nuovi corsi