it informatica teorica uninettuno mooc 5/5 (1)

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

Fotografia Udemy

Workflow per VideoMaker 84.99 €

Come ottimizzare il flusso di lavoro video nella fase di post-produzione


Come fare per Udemy 111 visualizzazioni

Video public speaking 49.99 €

Come parlare bene in video e anche dal vivo. Molti esercizi per un training immediato di oratoria e public speaking.



Internet Udemy 206 visualizzazioni

Come creare una corretta strategia di Marketing 84.99 €

I Principi del Marketing e della Comunicazione con Certificato.


Software Udemy 224 visualizzazioni

Amministrare un'azienda di servizi. Software Access a vita 19.99 €

Clienti, fornitori, listino prezzi, ordini e preventivi, fatture, magazzino, personale, controllo di gestione, ISO 9001



Tempo Libero Udemy

Cristalloterapia applicata alle griglie - corso avanzato 84.99 €

Griglie di cristallo e cristalloterapia applicata alle griglie, corso avanzato - certificato


Affari Udemy 198 visualizzazioni

Corporate Innovation Learn & Play 49.99 €

Tutta la teoria e la pratica di cui hai bisogno per fare Innovazione in un contesto Corporate. Adorerai le Play Session!


Cucina Giallozafferanotv 6595 visualizzazioni

Video Ricetta: Colomba Pasquale GRATIS

La ricetta della Colomba Pasquale: Ingredienti e procedimento http://ricette.giallozafferano.it/Colomb


Salute & Benessere Udemy

Stretching Biodinamico 64.99 €

Stretching della medicina cinese e craniosacrale biodinamico


Statistiche web

Community: 17.384 utenti
Corsi attivi: 77.116
Lezioni: 2.066.701
Data: 74 GB