informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
3.325 click
5.033 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 Biomedica 2897 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 Medicina 3832 visualizzazioni

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


Universita Ingegneria 9860 visualizzazioni

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


Universita Ingegneria 3326 visualizzazioni

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


Universita Matematica 3151 visualizzazioni

Analisi Matematica 3 - Uniclam 61 lezioni

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


Universita Ingegneria 3114 visualizzazioni

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


Universita Ingegneria 2910 visualizzazioni

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


Universita Ingegneria 3409 visualizzazioni

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


Universita Biomedica 4273 visualizzazioni

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


Universita Biomedica 2647 visualizzazioni

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


Statistiche web

Community: 21.508 utenti
Corsi attivi: 1.180
Lezioni: 27.706
Data: 83 GB
Online: 113 utenti

Ricevi notizie sui nuovi corsi