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