- Oggetto:
- Oggetto:
Alternative Computing Paradigms: reversible and quantum
- Oggetto:
Alternative Computing Paradigms: reversible and quantum
- Oggetto:
Academic year 2018/2019
- 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
- Type of examination
- Relazione finale
- Prerequisites
- Basic knowledge of logics and familiarity with the formal approaches learned in basic courses of algebra, geometry, analysis.
- Oggetto:
Sommario del corso
- Oggetto:
Course objectives
The aim is to make students aware of the limits of the computability model behind the classic digital computers. Formal models of classic, reversible, probabilistic and quantum computers are defined in term of Turing machines and in some case, also, in term of circuits. A crucial point is the comparison of these models. Some emphasis is given to show how the quantum computing can outperform the classic computing.
- Oggetto:
Learning assessment methods
La verifica avverra tramite un seminario concordato tra studente e docente.
- 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:
-- Quantum Computation and Quantum Information - Isaac Chuang, Michael Nielsen
-- Quantum Computing for Computer Scientists - Noson S. Yanofsky and Mirco A. Mannucci
-- Introduction to Reversible Computing - Kalyan S. PerumallaLe slides del corso sono disponibili a: DIR
- Oggetto:
Class schedule
Lessons: dal 01/11/2017 to 31/05/2018
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:
Note
Le date di svolgimento del corso verranno concordate con gli studenti interessati al corso.
- Oggetto: