Kubické množiny
Kubické množiny jsou předsvazky na kategorii . Kubické množiny a semi-kubické komplexy jsou matematické struktury vhodné pro modelování souběžnosti v informatice. Cílem bakalářské práce je uvést do problematiky kubických množin čtenáře s elementární znalostí teorie kategorií a zmínit příklady využit...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2008.
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/139877/prif_b/ |
| LEADER | 03962ctm a22008177a 4500 | ||
|---|---|---|---|
| 001 | MUB01000555209 | ||
| 003 | CZ BrMU | ||
| 005 | 20231027125933.0 | ||
| 008 | 080709s2008 xr ||||| |||||||||||eng d | ||
| STA | |a POSLANO DO SKCR |b 2017-06-28 | ||
| 035 | |a (ISMU-VSKP)135224 | ||
| 040 | |a BOD114 |b cze |d BOD004 | ||
| 072 | 7 | |a 512 |x Algebra |2 Konspekt |9 13 | |
| 080 | |a 512.58 |2 MRF | ||
| 080 | |a 515.14 |2 MRF | ||
| 080 | |a 512 |2 MRF | ||
| 100 | 1 | |a Dražanová, Jana |7 mub20231205810 |% UČO 139877 |4 dis | |
| 242 | 1 | 0 | |a Cubical sets |y eng |
| 245 | 1 | 0 | |a Kubické množiny |h [rukopis] / |c Jana Fabriková. |
| 260 | |c 2008. | ||
| 300 | |a 26 l. | ||
| 500 | |a Vedoucí práce: Jiří Rosický. | ||
| 502 | |a Bakalářská práce (Bc.)--Masarykova univerzita, Přírodovědecká fakulta, 2008. | ||
| 520 | 2 | |a Kubické množiny jsou předsvazky na kategorii . Kubické množiny a semi-kubické komplexy jsou matematické struktury vhodné pro modelování souběžnosti v informatice. Cílem bakalářské práce je uvést do problematiky kubických množin čtenáře s elementární znalostí teorie kategorií a zmínit příklady využití kubických množin v informatice. |% cze | |
| 520 | 2 | 9 | |a Cubical sets are presheaves on a special category called the box category. Cubical sets and semi-cubical complexes are interesting mathematical structures to model the behaviour of concurrent processes in informatics. The aim of this text is to introduce cubical sets to the undergraduate reader with some basic knowledge of the category theory and to give some elementary examples of their usage in concurrency theory. |9 eng |
| 650 | 0 | 7 | |a algebraická topologie |7 ph118345 |2 czenas |
| 650 | 0 | 7 | |a kategorie |2 CZ-BrMU |
| 650 | 0 | 9 | |a algebraic topology |2 eczenas |
| 655 | 7 | |a bakalářské práce |7 fd132403 |2 czenas | |
| 655 | 9 | |a bachelor's theses |2 eczenas | |
| 658 | |a Matematika |b Obecná matematika |c PřF B-MA OM (OM) |2 CZ-BrMU | ||
| 700 | 1 | |a Rosický, Jiří, |d 1946- |7 mzk2002160808 |% UČO 2634 |4 ths | |
| 710 | 2 | |a Masarykova univerzita. |b Přírodovědecká fakulta. |b Katedra matematiky |7 kn20050428005 |4 dgg | |
| 856 | 4 | 1 | |u http://is.muni.cz/th/139877/prif_b/ |
| CAT | |c 20080709 |l MUB01 |h 0451 | ||
| CAT | |a DRIMLOVA |b 02 |c 20081009 |l MUB01 |h 1157 | ||
| CAT | |a JANA |b 02 |c 20081030 |l MUB01 |h 1510 | ||
| CAT | |a BATCH-UPD |b 02 |c 20091102 |l MUB01 |h 0649 | ||
| CAT | |a BATCH-UPD |b 02 |c 20091103 |l MUB01 |h 0151 | ||
| CAT | |c 20091203 |l MUB01 |h 0214 | ||
| CAT | |c 20091203 |l MUB01 |h 1856 | ||
| CAT | |a BATCH-UPD |b 00 |c 20091219 |l MUB01 |h 0757 | ||
| CAT | |c 20100428 |l MUB01 |h 1010 | ||
| CAT | |a BATCH-UPD |b 00 |c 20100501 |l MUB01 |h 1157 | ||
| CAT | |a KOZOVAX |b 02 |c 20100608 |l MUB01 |h 1444 | ||
| CAT | |a KOZOVAX |b 02 |c 20100608 |l MUB01 |h 1445 | ||
| CAT | |a POSPEL |b 02 |c 20100720 |l MUB01 |h 1250 | ||
| CAT | |a BATCH-UPD |b 02 |c 20100929 |l MUB01 |h 0332 | ||
| CAT | |c 20110627 |l MUB01 |h 1913 | ||
| CAT | |c 20110627 |l MUB01 |h 2321 | ||
| CAT | |a batch |b 00 |c 20120324 |l MUB01 |h 0116 | ||
| CAT | |c 20120610 |l MUB01 |h 1927 | ||
| CAT | |a HANAV |b 02 |c 20120718 |l MUB01 |h 1414 | ||
| CAT | |a HANAV |b 02 |c 20130211 |l MUB01 |h 1246 | ||
| CAT | |a BATCH |b 00 |c 20130303 |l MUB01 |h 1015 | ||
| CAT | |a POSPEL |b 02 |c 20131217 |l MUB01 |h 1511 | ||
| CAT | |c 20150901 |l MUB01 |h 1442 | ||
| CAT | |c 20150921 |l MUB01 |h 1403 | ||
| CAT | |a BATCH |b 00 |c 20151225 |l MUB01 |h 2338 | ||
| CAT | |a CERVINKOVX |b 02 |c 20170507 |l MUB01 |h 1058 | ||
| CAT | |c 20170628 |l MUB01 |h 1110 | ||
| CAT | |c 20210614 |l MUB01 |h 0933 | ||
| CAT | |c 20210614 |l MUB01 |h 1922 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1138 | ||
| CAT | |a POSPEL |b 02 |c 20231005 |l MUB01 |h 2149 | ||
| CAT | |a POSPEL |b 02 |c 20231027 |l MUB01 |h 1259 | ||
| CAT | |a POSPEL |b 02 |c 20231027 |l MUB01 |h 1302 | ||
| LOW | |a POSLANO DO SKCR |b 2017-06-28 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m VYSPR |1 PRIF |a Přírodovědecká fakulta |2 PRFSK |b ÚK sklad |3 K-9032 |5 3145343096 |8 20081009 |f 71 |f Prezenční SKLAD |q 20180420 |r 20081009 |s dar |
| AVA | |a SCI50 |b PRIF |c ÚK sklad |d K-9032 |e available |t K dispozici |f 1 |g 0 |h N |i 0 |j PRFSK | ||