Vai al contenuto principale
Oggetto:
Oggetto:

Alternative Computing Paradigms: reversible and quantum

Oggetto:

Alternative Computing Paradigms: reversible and quantum

Oggetto:

Academic year 2017/2018

Course ID
INF0087-2
Teacher
Prof. Luca Luigi Paolini (Titolare del corso)
Year
1° anno 2° anno 3° anno
Teaching period
Ciclo di incontri
Type
A scelta dello studente
Credits/Recognition
4
Course disciplinary sector (SSD)
INF/01 - informatica
MAT/01 - logica matematica
Delivery
Tradizionale
Language
Inglese
Oggetto:

Sommario del corso

Oggetto:

Program

Mathematicians have studied algorithms and computation since ancient times, but the study of computability has not been systematically handled until the last century. A computing theory is a meta-mathematical description of the pervasive notion of calculus, i.e. of the notion of "mechanical manipulation of symbols".


The more successfully notion of computation is the classical one that borrows its main ingredients from the classical mechanics. However, physics has developed alternative models of mechanics (sometimes with limited aims) including probabilistic, reversible and quantum mechanics. All them suggest alternative models of computation.


Probabilistic computing is a non-deterministic model of computing. In it, computations evolve randomly and produce  stochastic (according to some probability distribution) results. This kind of models is profitable when we look to problems looking for approximated solutions.


Reversible computing, in a general sense, means computing using reversible operations, that is, operations that can be easily and exactly reversed, or undone. When this kind of reversibility is maintained at the lowest level, in the physical mechanisms of operation of our bit-devices (such as transistors), it avoids dissipating the energy that is associated with the bits of information that are being manipulated. This can help to reduce the overall energy dissipation of computations, which can in turn increase battery life or processing speed in heat-limited systems.


Quantum computing is frontier research. The successful construction of a large-scale quantum computer may be some years away but, secure communication involving quantum cryptography has already been implemented. The amount of theoretical research and experimental developments in quantum computing grows rapidly. At the same time, interest grows within the science and technology community, especially in physics and theoretical computing.

Suggested readings and bibliography

Oggetto:

-- Introduction to Reversible Computing, Kalyan S. Perumalla
-- Quantum Computing for Computer Scientists, Noson S. Yanofsky and Mirco A. Mannucci
-- Computing with Cells and Atoms, Cris Calude and Gheorghe Paun

Le slides del corso sono disponibili a: DIR



Oggetto:

Class schedule

Lessons: dal 01/11/2018 to 31/05/2019

Notes: Il corso si dovrebbe svolgere nel corso di 3 settimane (ragionevolmente 6 ore/settimana).
Il periodo viene stabilito dopo aver sentito le esigenze degli studenti interessati.

Oggetto:
Last update: 23/05/2018 14:07
Location: https://dott-informatica.campusnet.unito.it/robots.html
Non cliccare qui!