informatica teorica uninettuno mooc

Corso di Informatica Teorica - UniNettuno

Corso di Informatica Teorica - UniNettuno

segnalato da (83 courses)
pubblicato
1.933 click
3.228 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 Matematica 723 visualizzazioni

Logica Matematica - UniNettuno 20 lezioni

Prof.Piergiorgio Odifreddi - Università di Torino


Universita Ingegneria 1954 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 Matematica 2697 visualizzazioni

Probabilità e Statistica - UniNettuno 20 lezioni

Prof.Romano Scozzafava - Università di Roma "La sapienza" Scopo del corso Il corso di Probabilità e Statistica per la Facoltà di Ingegneria ha come obiettivo principale, quello di condurre lo s...


Universita Biomedica 2716 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 2071 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 Economia 1143 visualizzazioni

Organizzazione Aziendale - UniNettuno 20 lezioni

Prof. Giovanni Costa - Università di Padova Il corso si propone di: a) fornire gli strumenti per interpretare le problematiche organizzative in termini di esigenze strategiche e ambientali, di strut...


Universita Ingegneria 851 visualizzazioni

Elementi di Teoria dei Sistemi - UniNettuno 25 lezioni

Prof.Salvatore Monaco - Università di Roma "La Sapienza" Scopo del corso è introdurre ai principali metodi di studio dei sistemi dinamici orientati con particolare riferimento alla classe dei siste...


Universita Ingegneria 1544 visualizzazioni

Dispositivi e Circuiti Elettronici - UniNettuno 32 lezioni

Prof.Fabrizio Bonani - Politecnico di Torino Prof.Giovanni Soncini - Politecnico di Torino Prof.Vincenzo Pozzolo - Politecnico di Torino Il corso si propone di completare la formazione di base in E


Universita Ingegneria 2697 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 Ingegneria 5573 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...


Statistiche web

Community: 21.045 utenti
Corsi attivi: 1.165
Lezioni: 29.280
Data: 83 GB
Online: 51 utenti

Ricevi notizie sui nuovi corsi