informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
3.767 click
5.632 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 Ingegneria 2577 visualizzazioni

Comunicazioni Elettriche - UniNettuno 26 lezioni

Prof.Mario Pent - Politecnico di Torino Scopi Il corso è dedicato ad uno degli aspetti fondamentali della teoria e della tecnica delle telecomunicazioni: la trasmissione dell'informazione da una so...


Universita Matematica 3653 visualizzazioni

Analisi Matematica 3 - Uniclam 61 lezioni

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


Universita Biomedica 3312 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 Ingegneria 4972 visualizzazioni

Elementi di Meccanica Razionale - UniNettuno 40 lezioni

Prof. Pasquale Renno - Facoltà di Ingegneria - Università degli Studi di Napoli - Federico II Scopo del corso Gli schemi e i teoremi generali della Maccanica Razionale costituiscono fondamento s...


Universita Ingegneria 3768 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 Ingegneria 3591 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 4869 visualizzazioni

Analisi Matematica 1 - Uniclam 107 lezioni

Prof. Antonio Corbo Esposito - Ingegneria Industriale - Università di Cassino e del Lazio Meridionale Nozioni di: assioma, concetto primitivo, definizione, teorema, dimostrazione. Dimostrazione dire...


Universita Medicina 1264 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 Biomedica 4058 visualizzazioni

Lezioni di anatomia: Apparato cardiocircolatorio - Associazione Agorà 35 lezioni

Lezioni di anatomia sull'apparato cardiocircolatorio di livello universitario. L'Associazione Agorà ha come fine principale quello di formare giovani ricercatori in campo biomedico, dotati di sicure...


Universita Ingegneria 3813 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...


Statistiche web

Community: 21.548 utenti
Corsi attivi: 1.180
Lezioni: 27.706
Data: 83 GB
Online: 69 utenti

Ricevi notizie sui nuovi corsi