informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
2.402 click
3.723 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 Scienze 1026 visualizzazioni

Ecologia Applicata I - UniNettuno 20 lezioni

Prof.Pier Francesco Ghetti - Università Cà Foscari di Venezia Scopi Il corso propone i concetti essenziali e le basi scientifiche dell'Ecologia, dai fondamenti e dall'analisi dei principali ecosis...


Universita Giurisprudenza 1819 visualizzazioni

Diritto commerciale - UniNettuno 40 lezioni

Prof.Francesco Galgano - Università di Bologna Scopi del corso Apprendimento degli aspetti giuridici dell'impresa e della sua collocazione nel mercato nazionale e internazionale. Contenuti Il...


Universita Medicina 648 visualizzazioni

Seminario: Ricerca ed Innovazione per il Sistema Sanitario 27 lezioni

Ricerca ed Innovazione per il Sistema Sanitario da una visione locale all'Europa 23 Novembre 2010 Reggia Emilia, Aula Magna Manodori, Ex caserma Zucchi


Universita Ingegneria 1538 visualizzazioni

Sistemi Operativi - UniNettuno 30 lezioni

Prof.Maurelio Boari - Alma Mater Studiorum - Università di Bologna Prof.Paolo Ancilotti - Scuola Superiore Sant'Anna - Pisa Scopi Il corso si propone di fornire i concetti fondamentali dei siste...


Universita Ingegneria 2503 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 Scienze 783 visualizzazioni

Tecniche Per La Gestione Della Qualità - UniNettuno 40 lezioni

Prof.Giulio Barbato - Politecnico di Torino Prof.Fiorenzo Franceschini - Politecnico di Torino Prof.Raffaello Levi - Politecnico di Torino Scopi Il corso si propone di presentare un quadro dei pri


Universita Biomedica 2020 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 Filosofia 1545 visualizzazioni

Storia della Filosofia Contemporanea - UniNettuno 15 lezioni

UniNettuno - Storia della Filosofia Contemporanea Telehumanities, Il Pensiero Filosofico 1 La fine della bella époque. Tramonto dell'Occidente e spirito dell'avanguardia. Gianni Vattimo 2 La po...


Universita Architettura 765 visualizzazioni

Architettura del Paesaggio - UniNettuno 12 lezioni

Prof.Mariella Zoppi - Università di Firenze Scopi Fornire informazioni sul campo di applicazione delle discipline e sulla evoluzione del concetto di paesaggio. Contenuti Evoluzione disciplina...


Universita Ingegneria 1889 visualizzazioni

Reti di Calcolatori II - UniNettuno 25 lezioni

Prof.Pier Luca Montessoro - Università di Udine Prof.Mario Baldi - Politecnico di Torino Ing.Davide Pierattoni - Università di Udine Scopi Il corso si propone di approfondire temi avanzati sulla...


Statistiche web

Community: 21.185 utenti
Corsi attivi: 1.160
Lezioni: 27.686
Data: 83 GB
Online: 35 utenti

Ricevi notizie sui nuovi corsi