Příspěvky uživatele Radegast
1. 5. 2022
- 11:291. 5. 2022, 11:29 rozdíl historie +32 N Ultraprodukt přesměrování na Filtr (matematika) aktuální značka: nové přesměrování
24. 4. 2022
- 17:4824. 4. 2022, 17:48 rozdíl historie 0 m Type shifter Oprava logického zápisu aktuální
- 12:0724. 4. 2022, 12:07 rozdíl historie +436 Závislostní typ +rovnostní typy aktuální
- 11:4624. 4. 2022, 11:46 rozdíl historie +684 N Type shifter První verze
15. 4. 2022
- 09:2415. 4. 2022, 09:24 rozdíl historie +86 m ADT +algebraický datový typ aktuální
11. 4. 2022
- 00:2611. 4. 2022, 00:26 rozdíl historie +57 m Algebraický datový typ +kategorie aktuální
10. 4. 2022
- 12:4210. 4. 2022, 12:42 rozdíl historie +26 m Statická analýza kódu →Formální metody: +odkaz aktuální
- 12:1810. 4. 2022, 12:18 rozdíl historie −1 m Algebraický datový typ oprava odkazu (Idriss -> Idris)
- 12:1810. 4. 2022, 12:18 rozdíl historie +2 m Continuation →Funkcionálně: přidány prázdné řádky do kódu pro lepší čitelnost aktuální
- 12:0510. 4. 2022, 12:05 rozdíl historie +291 Continuation →Funkcionálně: příklad v jazyce Idris značka: odkazy na rozcestníky
- 11:5310. 4. 2022, 11:53 rozdíl historie +31 m Algebraický datový typ +kategorie
- 10:0210. 4. 2022, 10:02 rozdíl historie +50 m Teorie typů +odkaz
- 09:5810. 4. 2022, 09:58 rozdíl historie +1 275 N Algebraický datový typ První verze značka: odkazy na rozcestníky
23. 2. 2022
- 17:2723. 2. 2022, 17:27 rozdíl historie +192 m Curryho–Howardův isomorfismus rovnostní typy
- 17:1923. 2. 2022, 17:19 rozdíl historie +392 Závislostní typ příklad typové funkce v signatuře funkce
22. 1. 2022
- 01:3222. 1. 2022, 01:32 rozdíl historie +4 m Lambda kalkul →Věta o pevném bodě: +odkaz na kombinátor pevného bodu
1. 4. 2021
- 12:231. 4. 2021, 12:23 rozdíl historie +44 m Monoidální kategorie +odkaz
- 12:231. 4. 2021, 12:23 rozdíl historie +32 m Kategorie endofunktorů oprava odkazu aktuální
18. 2. 2021
- 22:0518. 2. 2021, 22:05 rozdíl historie +221 m Typová inference +inference typových parametrů
- 22:0018. 2. 2021, 22:00 rozdíl historie +8 m Typový systém →Závislé typy: oprava terminologie + odkaz
- 21:5518. 2. 2021, 21:55 rozdíl historie +4 m Typový systém +odkaz
- 21:5018. 2. 2021, 21:50 rozdíl historie +749 Typová kontrola +typová inference
11. 2. 2021
- 17:2511. 2. 2021, 17:25 rozdíl historie +564 Go (programovací jazyk) +typový systém
26. 1. 2021
- 17:5526. 1. 2021, 17:55 rozdíl historie +149 m Korektor překlepů →Popis: přidána reference
31. 12. 2020
- 01:4131. 12. 2020, 01:41 rozdíl historie +23 m C++/CLI upřesnění odkazu
- 01:4031. 12. 2020, 01:40 rozdíl historie +261 C++/CLI +informace o C++/CX
- 01:3731. 12. 2020, 01:37 rozdíl historie +144 C++ přídána poznámka o variantách (C++/CLI, C++/CX, Objective-C++)
- 01:3031. 12. 2020, 01:30 rozdíl historie +1 248 N C++/CLI první verze
- 01:1631. 12. 2020, 01:16 rozdíl historie +4 m Microsoft Visual C++ +odkaz na C++/CLI
- 01:1531. 12. 2020, 01:15 rozdíl historie +101 m Objective-C →Objective-C++: doplnění o C++ třídách v ObjC onjektech
5. 7. 2020
- 11:135. 7. 2020, 11:13 rozdíl historie +101 m Unifikační gramatika + kategorie & anglické termíny
- 03:415. 7. 2020, 03:41 rozdíl historie +52 m Unifikační gramatika Oprava odkazů
- 03:365. 7. 2020, 03:36 rozdíl historie +1 572 N Unifikační gramatika První verze
- 03:145. 7. 2020, 03:14 rozdíl historie +84 m Unifikace (logika) +odkaz na unifikační gramatiky značka: přepnuto z Vizuálního editoru
- 02:155. 7. 2020, 02:15 rozdíl historie +75 Diskuse:Continuation +poznámka o přidání příkladu v C++ aktuální
- 02:135. 7. 2020, 02:13 rozdíl historie +501 Continuation →Funkcionálně: přidán příklad implementace v C++
- 01:135. 7. 2020, 01:13 rozdíl historie +175 Diskuse:Continuation Odpověď
- 01:005. 7. 2020, 01:00 rozdíl historie +167 Diskuse:Monáda (funkcionální programování) Odpověď aktuální
- 00:345. 7. 2020, 00:34 rozdíl historie 0 Continuation Verze 18784210 uživatele Jj14 (diskuse) zrušena — na závorkách sice záleží, ale původní verze byla správně, ta změněná ani neprojde typovou kontrolou značka: vrácení zpět
26. 3. 2020
- 23:4626. 3. 2020, 23:46 rozdíl historie +27 Entropie →Odvození entropie: Nahrazení nefunkčního odkazu jiným článkem (se stejným odvozením entropie) značky: editace z mobilu editace z mobilního webu pokročilá editace z mobilního zařízení
11. 3. 2020
- 18:4311. 3. 2020, 18:43 rozdíl historie +6 m Larmorova precese →Larmorova frekvence: oprava matematického zápisu
28. 9. 2019
- 23:4228. 9. 2019, 23:42 rozdíl historie +38 N Monoidální objekt Přesměrování na Monoid#Teorie kategorií aktuální značka: nové přesměrování
- 23:3828. 9. 2019, 23:38 rozdíl historie +120 m Monoid →Teorie kategorií: doplnění podmínek
- 23:3428. 9. 2019, 23:34 rozdíl historie +2 m Monoidální kategorie Oprava vzorce
- 23:3228. 9. 2019, 23:32 rozdíl historie +358 Monoidální kategorie +doplnění o kategorii endofunktorů
- 23:2828. 9. 2019, 23:28 rozdíl historie +556 N Monoidální kategorie První verze
- 23:1628. 9. 2019, 23:16 rozdíl historie +669 Monoid +kategoriální monoidy
- 22:5928. 9. 2019, 22:59 rozdíl historie +323 Volná monáda Rozšíření článku o matematický kontext
22. 9. 2019
- 00:5722. 9. 2019, 00:57 rozdíl historie +54 m Continuation →Funkcionálně: +typ monády
1. 9. 2019
- 02:041. 9. 2019, 02:04 rozdíl historie +1 m Předsvazek oprava překlepu