News

Un calcolo logico per la computazione quantistica

ARGOMENTI: Convegni Dottorato

SEMINARIO DOTTORATO
Mercoledi` 12 dicembre 2007 alle ore 15:30, in aula 2BC/60
Paola ZIZZI (dottorato in Matematica Pura)
"Un calcolo logico per la computazione quantistica"

-Abstract
Il calcolo dei sequenti (LK), un sistema di deduzione logica introdotto da Gentzen inizialmente per la logica Classica, e in seguito esteso alla logica Intuizionistica (LJ), esiste oggi anche per le logiche sub-strutturali, come la logica Lineare di Girard, e la logica di Base di Sambin. In questo seminario, dopo una prima parte introduttiva, ci proponiamo di introdurre un adeguato calcolo dei sequenti per la computazione quantistica (finora descritta solo in termini di reti di cancelli logici quantistici). Dai risultati finora ottenuti, sembra che il calcolo dei sequenti della logica di Base, possa, con le opportune modifiche, servire a tale scopo.

Rif. int. C. Marastoni, T. Vargiolu

Download Seminario Dottorato

NEWS: Sciopero dei docenti e svolgimento degli esami - L'eventuale astensione riguardera' il primo appello d'esame programmato nel periodo 28 agosto - 31 ottobre 2017. X