Výzkum
	Matematická kolokvia

Faktorizace velkých čísel. Aparát kvantové mechaniky umožňuje rychlý rozklad čísel na součin prvočinitelů. To drasticky snižuje bezpečnost šifrovacích protokolů. Ukážeme Shorův algoritmus pro faktorizaci a diskrétni logaritmus.

Obrázkový kalkulus pro QM (Abramsky, Coecke, Selinger) umožňuje konceptuální uchopení formalismu některých protokolů z QM (teleportace, superdense coding). Ukážeme, jak tento kalkulus zavést, jeho výhody a nevýhody a krátce zmíníme nejnovější vývoj (klasická versus kvantová data), kalkulus spektrálních rozkladů bez biproduktu (Coecke, Pavlovic, 2006).

Studium podprostorů antisymetrických prvků ve spočetně generovaných algebrách se dá zjednodušit zavedením jednogenerovaných superalgeber. Zavedeme potřebné definice a ukážeme vše na příkladech.

Shrneme základní motivace, které byly stimulující pro vývoj matematické fuzzy logiky a vysvětlíme, co se dnes pod pojmem matematická fuzzy logika chápe. Uvedeme hlavní směry, které se momentálně ve fuzzy logice studují. Zmíníme několik hlavních výsledků, kterých přednášející dosáhl v posledních letech.