informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
2.211 click
3.513 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 2269 visualizzazioni

Elementi di Meccanica Razionale - UniNettuno 40 lezioni

Prof. Pasquale Renno - Facoltà di Ingegneria - Università degli Studi di Napoli - Federico II Scopo del corso Gli schemi e i teoremi generali della Maccanica Razionale costituiscono fondamento s...


Universita Medicina 2531 visualizzazioni

Corso di Statistica Medica 38 lezioni

Il videocorso comprende 46 video per una durata totale di oltre otto ore. Autore: prof. N. Esposito. Videocorso completo senza pubblicità sul sito www.29elode.it


Universita Economia 1718 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 1492 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 769 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 Scienze 663 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 Ingegneria 3444 visualizzazioni

Precorso di Fisica - Uniclam 9 lezioni

Prof. Jeffery Wyss - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale - coordinate cartesiane ortogonali (e non); - trigonometria nel piano, cerchio unitario, funzioni coseno, ...


Universita Sociologia 798 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


Universita Ingegneria 605 visualizzazioni

Qualità nei Prodotti e nei Processi - UniNettuno 40 lezioni

Prof.Francesco Jovane - Politecnico di Milano Prof.Armando Brandolese - Politecnico di Milano Prof.Federico Marchetti - Politecnico di Milano Prof.Giorgio Paolini - Politecnico di Milano Ing.Tulli


Universita Biomedica 1910 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...


Statistiche web

Community: 21.129 utenti
Corsi attivi: 1.160
Lezioni: 27.686
Data: 83 GB
Online: 24 utenti

Ricevi notizie sui nuovi corsi