MATFYZ 60 2012 - Matfyz 60

MATFYZ 60 2012 - Matfyz 60 | Page 75

Informati ka na MFF UK Počítačová graﬁ ka str. 94 Diskrétní matemati ka a opti malizace Kombinatorika str. 76 Algoritmy a opti malizace str. 78 Soft warové inženýrství Diskrétní geometrie str. 80 Servisně orientované systémy str. 90 Datové inženýrství Podobnostní vyhledávání str. 92 Veriﬁ kace programů str. 84 Soft warové komponenty str. 82 Tvoříme přívěti vější web str. 86 Webové a XML inženýrství str. 88 Matemati cká lingvisti ka Teoreti cká informati ka Umělá inteligence str. 98 Deklarati vní programování str. 96 Lingvisti cká data pro jazykové teorie str. 100 Strojový překlad – sen a realita str. 102