informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (46 courses)
pubblicato
2.296 click
3.608 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 2297 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 Biomedica 2990 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 6793 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 2402 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 1248 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 Ingegneria 3144 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 Scienze 703 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 Sociologia 836 visualizzazioni

Cognizione Sociale - UniNettuno 15 lezioni

Prof.Luciano Arcuri Scopi Il corso si propone di illustrare i lineamenti fondamentali dell'approccio cognitivo allo studio della psicologia sociale evidenziando gli assunti fondamentali della cogniz


Universita Economia 1786 visualizzazioni

Microeconomia e Macroeconomia 15 lezioni

Videocorso Microeconomia e Macroeconomia - Prof. A.E. Biondo Relazioni di preferenza Vincolo di bilancio Equilibrio del consumatore Varianti e domanda Produzione Costi di produzione Massimizzaz


Universita Architettura 729 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...


Statistiche web

Community: 21.157 utenti
Corsi attivi: 1.160
Lezioni: 27.686
Data: 83 GB
Online: 40 utenti

Ricevi notizie sui nuovi corsi