Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Didattica
Informatica teorica (complementi)


Docenti:
Prof. Giorgio De Michelis
Dott. Luca Bernardinello

Crediti: 6

Programma:

La semantica denotazionale dei programmi ricorsivi

Un semplice linguaggio ricorsivo e isuoi programmi
Semantiche operazionali di programmi ricorsivi: call-by-value e call-by-name
Semantica denotazionale dei programmi ricorsivi: equivalenza e non-equivalenza tra semantiche operazionali e semantica denotazionale

Tipi di dati astratti

La programmazione ad oggetti e la sua semantica
La specifica di un oggetto
Algebre multi-sorted
Segnature; Sig-Algebre e Sig-Algebre dei termini
Specifiche: Spec-Algebre, equazioni e congruenza sui termini
Le Spec-algebre dei termini
Algebre iniziali nella categoria delle Spec-Algebre

Teoria generale delle reti

Discipline della comunicazione
Automi elementari
La sintesi dagli automi elementari
Sistemi a rete elementari
La struttura sincronica
La struttura enlogica

Computazione quantistica

La reversibilità nella computazione
Macchine di Turing probabilistiche
Macchina di Turing quantistica
Cenni di fisica quantistica e di algebra lineare
Qubit, registri e circuiti quantistici
Classi di complessità
Esempi di algoritmi quantistici

Modelli di calcolo universali

Cenni storici
Automi cellulari

Bibliografia

Sarà comunicata in seguito

Vai al sito web del corso

Approfondimenti

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 28/03/2011