MATFYZ 60 2012 - Matfyz 60 | Page 77

Katedry v budově: Kabinet soft ware a výuky informati ky Katedra aplikované matemati ky Katedra distribuovaných a spolehlivých systémů Katedra soft warového inženýrství Katedra teoreti cké informati ky a matemati cké logiky Středisko informati cké sítě a laboratoří Ústav formální a aplikované lingvisti ky Insti tut teoreti cké informati ky Témata: Kombinatorika a teorie grafů Algoritmy a opti malizace Diskrétní a výpočetní geometrie Soft warové komponenty Verifi kace programů Tvoříme přívěti vější web Webové a XML inženýrství Servisně orientované systémy Podobnostní výhledávání Počítačová grafi ka Deklarati vní programování Umělá inteligence Lingvisti cká data pro jazykové technologie Strojový překlad – sen a realita … 76 … 78 … 80 … 82 … 84 … 86 … 88 … 90 … 92 … 94 … 96 … 98 … 100 … 102