informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
3.494 click
5.237 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 4593 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 Ingegneria 3409 visualizzazioni

Meccanica dei fluidi - Uniclam 36 lezioni

Prof. Angelo Leopardi - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale Proprietà dei Fluidi; Statica dei Fluidi; Cinematica dei Fluidi; Le equazioni globali della Meccanica ...


Universita Ingegneria 2363 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 Economia 3549 visualizzazioni

Corso di Microeconomia - Università di Catania 11 lezioni

In questa serie di video il prof. Roberto Cellini (Dipartimento di Economia e Impresa, Università di Catania) illustra lo svolgimento di 19 "esercizi tipo" proposti per l'insegnamento di Microeconomi...


Universita Matematica 1548 visualizzazioni

Logica Matematica - UniNettuno 20 lezioni

Prof.Piergiorgio Odifreddi - Università di Torino


Universita Ingegneria 3920 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 Biomedica 3060 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 Matematica 3321 visualizzazioni

Analisi Matematica 3 - Uniclam 61 lezioni

Prof. Antonio Gaudiello - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale


Universita Giurisprudenza 4138 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 4489 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.538 utenti
Corsi attivi: 1.180
Lezioni: 27.706
Data: 83 GB
Online: 140 utenti

Ricevi notizie sui nuovi corsi