informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
3.165 click
4.817 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 4634 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 9359 visualizzazioni

Fisica Generale - Uniclam 121 lezioni

Prof. Jeffery Wyss - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale Il corso fornisce agli studenti le conoscenze di base della meccanica classica, nonché rudimenti di termo...


Universita Ingegneria 2940 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 Biomedica 2758 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 Biomedica 4112 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 947 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 3616 visualizzazioni

Fisica Tecnica - Uniclam 37 lezioni

Prof. Marco Dell'Isola - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale Concetti e definizioni di base, sistema internazionale e cifre significative, bilancio di massa e di e...


Universita Ingegneria 4114 visualizzazioni

Analisi Matematica 1 - Uniclam 107 lezioni

Prof. Antonio Corbo Esposito - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale Nozioni di: assioma, concetto primitivo, definizione, teorema, dimostrazione. Dimostrazione dire...


Universita Economia 2418 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 2218 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.470 utenti
Corsi attivi: 1.179
Lezioni: 27.706
Data: 83 GB
Online: 101 utenti

Ricevi notizie sui nuovi corsi