Lidé
prof. Ing. Mirko Navara, DrSc.
Disertační témata
Logika kvantových systémů
- Program: Informatika – Katedra kybernetiky
- Katedra: Katedra kybernetiky
-
Popis:
Klasická teorie pravděpodobnost studuje pouze ty náhodné pokusy, které lze libovolně opakovat. Tento předpoklad je porušen nejen v kvantové teorii, ale i v sociologii, psychologii, medicíně apod. Jeho matematický popis naráží na řadu obtíží, při jejichž řešení hrají důležitou roli i algoritmy počítačové algebry. Téma je proto vhodné jak pro teoretiky, tak i pro informatiky schopné implementovat nové postupy. Další informace lze nalézt na http://cmp.felk.cvut.cz/~navara/