Functional Data Stuctures and Algorithms
| Název práce v češtině: | Funkcionální datové struktury a algoritmy |
|---|---|
| Název v anglickém jazyce: | Functional Data Stuctures and Algorithms |
| Klíčová slova: | perzistentní datové struktury, perzistentní pole, algoritmy se složitostí v nejhorším případě, čistě funkcionální datové struktury, Haskell |
| Klíčová slova anglicky: | persistent data structures, persistent arrays, worst-case algorithms, purely functional data structures, Haskell |
| Akademický rok vypsání: | 2008/2009 |
| Typ práce: | disertační práce |
| Jazyk práce: | angličtina |
| Ústav: | Informatický ústav Univerzity Karlovy (32-IUUK) |
| Vedoucí / školitel: | prof. Mgr. Zdeněk Dvořák, Ph.D. |
| Řešitel: | RNDr. Milan Straka, Ph.D. - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 28.04.2008 |
| Datum zadání: | 10.09.2008 |
| Datum a čas obhajoby: | 27.09.2013 11:00 |
| Datum odevzdání elektronické podoby: | 12.08.2013 |
| Datum odevzdání tištěné podoby: | 12.08.2013 |
| Datum proběhlé obhajoby: | 27.09.2013 |
| Oponenti: | prof. Mgr. Michal Koucký, Ph.D. |
| Prof. Gerth Brodal | |