
Corso di Informatica Teorica - UniNettuno
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 |
---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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...
Corso di Statistica Medica 38 lezioni
Il videocorso comprende 46 video per una durata totale di oltre otto ore. Autore: prof. N. Esposito. Videocorso completo senza pubblicità sul sito www.29elode.it
Fisica Generale - Uniclam 121 lezioni
Prof. Jeffery Wyss - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale Il corso fornisce agli studenti le conoscenze di base della meccanica classica, nonché rudimenti di termo...
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...
Analisi Matematica 3 - Uniclam 61 lezioni
Prof. Antonio Gaudiello - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale
Elettronica dei Sistemi Digitali - UniNettuno 40 lezioni
Prof.Ing. Paolo Spirito - Università di Napoli Federico II Prof.Ing. Guido Masetti - Università di Bologna Prof.Ing. Pier Ugo Calzolari - Università di Bologna Scopo del corso Il corso svilup...
Analisi Matematica 2 - Uniclam 75 lezioni
Prof. Antonio Corbo Esposito - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale Spazi vettoriali su R o C .Definizione e prime proprietà. Nozione di dipendenza lineare. Parte ...
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...
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...
Lezioni di Istologia - Associazione Agorà 43 lezioni
Corso di Istologia di livello universitario. L'Associazione Agorà ha come fine principale quello di formare giovani ricercatori in campo biomedico, dotati di sicure competenze professionali e, sopra...
TAG Cloud
Statistiche web
Corsi attivi: 1.180
Lezioni: 27.706
Data: 83 GB
Online: 113 utenti
Ricevi notizie sui nuovi corsi