informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
2.585 click
4.003 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 Storia 1644 visualizzazioni

Storia Dell'Arte Medievale - UniNettuno 40 lezioni

Laurea in Operatore dei Beni Culturali Prof.Antonio Paolucci - Soprintendente ai Beni Artistici di Firenze Scopi L'obiettivo è la conoscenza dei principali temi del periodo trattato e l'acquisizio...


Universita Ingegneria 792 visualizzazioni

Calcolatori Elettronici II - UniNettuno 25 lezioni

Prof.Matteo Sonza Reorda - Politecnico di Torino Prof.Gianni Conte - Politecnico di Torino Prof.Giovanni Chiola - Politecnico di Torino Scopi Il corso mira a fornire le conoscenze di base sull'a


Universita Ingegneria 2586 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 838 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 745 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 Ingegneria 2744 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 Sociologia 1024 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 3538 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 Biomedica 3382 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 Ingegneria 3588 visualizzazioni

Introduzione alla matematica per l'università - Politecnico di Milano 77 lezioni

Il corso copre la matematica di base, permettendo di colmare eventuali lacune e di mettere a punto la preparazione necessaria all'ingresso all'università. Il corso si articola in 5 “settimane”...


Statistiche web

Community: 21.268 utenti
Corsi attivi: 1.161
Lezioni: 27.687
Data: 83 GB
Online: 20 utenti

Ricevi notizie sui nuovi corsi