- Oggetto:
Alternative Computing Paradigms: reversible and quantum
- Oggetto:
Alternative Computing Paradigms: reversible and quantum
- Oggetto:
Academic year 2016/2017
- Course ID
- INF0087
- Teacher
- Prof. Luca Luigi Paolini (Titolare del corso)
- Year
- 1° anno 2° anno 3° anno
- Type
- A scelta dello studente
- 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- Oggetto: