Web projektu DAR

Research Centre
Data - Algorithms - Decision Making

Established in 2005 under support of MŠMT ČR (project 1M0572)

Lectures and Presetations

Obrázkový kalkulus kvantové mechaniky a kvantový programovací jazyk

Lecturer:

Velebil J., Katedra matematiky FEL ČVUT

From:

May. 10 2010 1:30PM

To:

May. 10 2010 3:00PM

Place:

místnost č.25, ÚTIA AV ČR

Description:

Krátké seznámení s obrázkovým kalkulem pro QM autorů Boba Coecka a Samsona Abramskeho (2002). Ukážeme aplikaci kalkulu pro sémantiku programovacího jazyka kvantových počítačů, navrženého Peterem Selingerem (2004).

Contact person:

Tomáš Kroupa (ÚTIA - Oddělení matematické teorie rozhodování)

Within the event:

Pravidelný seminář Inteligentní systémy (Contact person: Tomáš Kroupa)