Now showing items 1-4 of 4

    • Cílené vyhledávání informací na webu 

      Author: Myslík Martin; Supervisor: Mařík Radek; Opponent: Jakob Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-07-04)
    • Karetní hra bridž jako úloha modální logiky 

      Author: Szadkowski Rudolf Jakub; Supervisor: Štěpánková Olga; Opponent: Mařík Radek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-02-05)
    • Kongruence na konečných automatech 

      Author: Grimová Nela; Supervisor: Demlová Marie; Opponent: Mařík Radek
      Cílem této práce je seznámení s kongruencemi na konečných automatech, a to zejména se elementární stavovou kongruencí. Jsou zde popsány algoritmy na konstrukci této kongruence a následně jsou diskutovány jejich výsledky ...
    • Sekvence pro identifikaci stavu konečných automatů 

      Author: Soucha Michal; Supervisor: Mařík Radek; Opponent: Demlová Marie
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)