Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Education
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

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 28/03/2011