informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (83 courses)
pubblicato
1.771 click
2.983 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 Economia 1434 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 Giurisprudenza 1276 visualizzazioni

Diritto Amministrativo - UniNettuno 40 lezioni

Prof.Maria Alessandra Sandulli - Università degli Studi di Roma Tre Scopo del corso: Il corso si propone di far raggiungere allo studente una adeguata conoscenza degli istituti fondamentali del d...


Universita Medicina 416 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 Architettura 507 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 1625 visualizzazioni

Programmazione ad oggetti in Java - UniNettuno 26 lezioni

Prof.Giovanni Malnati - Politecnico di Torino Prof.Marco Temperini - Università di Roma "La Sapienza" Il corso introduce la metodologia di programmazione ad oggetti e ne mostra l'utilizzo con il li...


Universita Ingegneria 2611 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 Economia 1052 visualizzazioni

Organizzazione Aziendale - UniNettuno 20 lezioni

Prof. Giovanni Costa - Università di Padova Il corso si propone di: a) fornire gli strumenti per interpretare le problematiche organizzative in termini di esigenze strategiche e ambientali, di strut...


Universita Ingegneria 1772 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 Ingegneria 2246 visualizzazioni

Corso di Basi di Dati - UniNettuno 30 lezioni

Prof. Paolo Atzeni - Università Roma Tre Scopi del corso: Fornire la nozione di base di dati, intesa come insieme di archivi, e le metodologie per il loro progetto e realizzazione. Descrivere e f...


Universita Sociologia 566 visualizzazioni

Cognizione Sociale - UniNettuno 15 lezioni

Prof.Luciano Arcuri Scopi Il corso si propone di illustrare i lineamenti fondamentali dell'approccio cognitivo allo studio della psicologia sociale evidenziando gli assunti fondamentali della cogniz


Statistiche web

Community: 21.013 utenti
Corsi attivi: 1.165
Lezioni: 29.280
Data: 83 GB
Online: 1 utente

Ricevi notizie sui nuovi corsi