Web projektu DAR

Výzkumné centrum
Data - Algoritmy - Rozhodování

Založeno v roce 2005 s podporou MŠMT ČR (projekt 1M0572)

Přednášky

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

Přednášející:

Velebil J., Katedra matematiky FEL ČVUT

Od:

May. 10 2010 1:30PM

Do:

May. 10 2010 3:00PM

Místo:

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

Popis:

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).

Kontaktní osoba:

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

V rámci akce:

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