it informatica teorica uninettuno mooc 5/5 (1)

URL
HTML code
segnalato da (46 corsi)
aggiornato
7.868 visualizzazioni

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

 

Altri corsi

Medicina Telecolor 2755 visualizzazioni

Il Glutine - Box Mozzi GRATIS

Puntata del 11.04.214il dottore Piero Mozzi parla del glutine.


Design Filipposicuranza 5096 visualizzazioni

Modelli 3d da foto - Photoscan GRATIS

Registrazione di una lezione del corso di Disegno Digitale presso la Scuola di Architettura e Design di Ascoli Piceno a.a 2013/2014.In questo filmato, viene presentato photoscan e illustra


Informatica Pcacademy

Corso Online Presentarsi alle Aziende in modo professionale 50 €

Riuscire a trovare lavoro dipende da una complessa quantità di fattori: competenze, esperienze, età, politiche per l’occupazione, ma certamente dipendente anche dal modo che ognuno di noi sceglie ...


Universita Polimi 5920 visualizzazioni

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

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”...


Cucina Greedyweb 18038 visualizzazioni

Come decorare una torta GRATIS

Come decorare una torta con semplicita\' e in poche mosse ;-)


Software Informex 12309 visualizzazioni

Corso MS Excel GRATIS

La parte iniziale del corso Excel realizzato da Informex eLearningFactory. Maggiori dettagli sono disponibili sul sito (http://www.elearningfactory.it/lms/ )


Scuola Studentville 2166 visualizzazioni

Video Lezioni Algebra GRATIS

Per il video-corso completo di Algebra visita il sito http://bit.ly/ytvideolezionimatematica


Lingue Videoreporter 2862 visualizzazioni

Corso Shenker Easy English GRATIS

Easy English: esclusivo corso Shenker per imparare a comunicare in lingua inglese in modo agile e veloce. 32 lezioni in 7 unità che prendono spunto da una storia accattivante, raccontata attraverso s...


Universita Uninettuno 6010 visualizzazioni

Elementi di Meccanica Razionale - UniNettuno GRATIS

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...



Statistiche web

Community: 17.024 utenti
Corsi attivi: 74.474
Lezioni: 2.066.701
Data: 74 GB
Online: 77 utenti