it informatica teorica uninettuno mooc 5/5 (1)

URL
HTML code
segnalato da (46 corsi)
aggiornato
6.948 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

Scienza Videoreporter 3297 visualizzazioni

Corso di Algebra: i numeri GRATIS

Corso di algebra realizzato dal prof. Carlo Incarbone, soprannominato INCA Maggiori informazioni su http://www.incarlo.com/



Informatica Withartur 4193 visualizzazioni

PHP: Hypertext Preprocessor - videoCorso Completo GRATIS

PHP da zero nel modo più completo e professionale che ci sia! In sole 16 ore e 30 minuti con teoria e pratica, tutto in video formato! L'architettura a tre livelli del WEB il linguaggio di s...


Famiglia Videoreporter 1865 visualizzazioni

Applicazioni per bambini per iPhone, iPad e Android GRATIS

Video recensioni delle migliori e più belle applicazioni per bambini e ragazzi per iPhone e iPad (presenti su App store) ma anche per Android (presenti su Google Play). Faccio queste recensioni per...


Lingue Oneworlditaliano 3588 visualizzazioni

Corso di lingua italiana - oneworld GRATIS

Impara l'italiano con i nostri esclusivi "One World Italiano" video, con sottotitoli!


Medicina Alessandra graziottin 1688 visualizzazioni

Contraccezione ormonale GRATIS

Questi video sono dedicati alla contraccezione ormonale e ai suoi positivi effetti sulla salute della donna. Per saperne di più: www.alessandragraziottin.it


Internet Mirkojax 5020 visualizzazioni

Password Vault Lite, memorizzare tutte le password GRATIS

Un programma per creare password (ad esempio per la banca), memorizzarle in modo sicuro e richiamarle in modo facile senza doversele ricordare a memoria!


Computer Macsoftwareguide 4605 visualizzazioni

Formattare il testo e rimuovere i quote su Mac OS X GRATIS

Software scaricabile da http://www.apimac.com - Come rimuovere i simboli di \"quote\" e aggiustare i paragrafi di un testo in automatico su Mac OS X con il programma Apimac Clean Text


Universita 24orebs

Corso Social Media: Facebook, Instagram, LinkedIn, TikTok, YouTube 244 €

Il corso si propone di illustrare caratteristiche e funzionalità dei principali social network. Partendo da un inquadramento generale del social media marketing si entra nel dettaglio delle princi...


Informatica Pcacademy

Corso Online MOS Office Excel Core + Expert 2010 150 €

Excel 2010 è il programma del pacchetto Office da utilizzare come foglio di calcolo. Attraverso Excel è possibile gestire dei dati numerici, avvalendosi di una serie di strumenti di calcolo e di ela...


Statistiche web

Community: 17.009 utenti
Corsi attivi: 74.474
Lezioni: 2.066.701
Data: 74 GB
Online: 40 utenti