Výsledky hledání
Skočit na navigaci
Skočit na vyhledávání
Stránky s odpovídajícím názvem
- …esorů (v [[Paralelní programování|paralelním programování]]). Jeden z cílů teorie složitosti je určit praktické limity toho, co počítače dokážou spočítat a… …je. Tedy zavedení omezení na dostupné zdroje odlišuje teorii složitosti od teorie vyčíslitelnosti, které se ptá, jaké problémy lze, v principu, vyřešit algor …10 KB (1 602 slov) - 15. 10. 2021, 20:22
- '''Galoisova teorie''' je oblast [[algebra|algebry]], která zkoumá vztahy mezi [[kořen (matemat …ebraická geometrie, teorie čísel a algebraická topologie. Pomocí Galoisovy teorie lze také analyzovat konstrukční problémy v geometrii, například klasický pr …5 KB (874 slov) - 19. 1. 2025, 20:51
- [[Soubor:DFAexample.svg|náhled|250px|Teorie automatů se zabývá studiem matematických vlastností abstraktních strojů, kt '''Teorie automatů''' ({{Vjazyce2|en|''automata theory''}}) je studium [[abstraktní… …14 KB (2 349 slov) - 4. 4. 2023, 07:06
- '''Konspirační teorie''' ('''spiklenecká teorie''', '''teorie spiknutí''', '''konspiracionismus'''<ref>{{Citace elektronického periodika }}</ref> Termín má negativní konotaci, protože konspirační teorie se odvolává na spiknutí bez dostatečných důkazů o jeho existenci.<ref name= …66 KB (10 080 slov) - 10. 1. 2025, 22:46
- …ou jako první předložil [[Bertrand Russell]] za účelem vyřešení paradoxů [[teorie množin]], ačkoliv zárodky lze najít již u [[Bernard Bolzano|Bernarda Bolzan V teorie typů existuje univerzum typů a jejich hodnot, přičemž každá proměnná má urč …1 KB (200 slov) - 22. 5. 2022, 14:50
- …á též pod názvy '''teorie sociální spravedlnosti, teorie rovnosti''' či '''teorie ekvity''') se zaměřuje na to, zda je rozdělování zdrojů spravedlivé. Sprav }}</ref> Teorie spravedlnosti, která je považována za jednu z teorií spravedlnosti, byla po …29 KB (4 490 slov) - 11. 12. 2024, 13:42
- '''Teorie grup''' je [[Matematika|matematická]] disciplína zabývající se studiem [[Gr …ko důsledek rozvoje teorie [[algebraická rovnice|algebraických rovnic]], [[teorie čísel]] a [[geometrie]]. Prvními matematiky, kteří se zabývali touto oblast …3 KB (493 slov) - 24. 9. 2024, 10:14
- …a pro [[ukládání dat]]. Studiem kódů se zabývají různé obory, například [[teorie informace]], [[elektrotechnika]], [[matematika]], [[lingvistika]] a [[matem == Historie teorie kódování == …31 KB (5 108 slov) - 10. 11. 2022, 14:34
- …astnost umožňuje polomnožinám sloužit jako základ Vopěnkovy [[alternativní teorie množin]]. == Axiomatizace teorie polomnožin == …7 KB (1 404 slov) - 28. 2. 2025, 20:38
- [[Soubor:6n-graf.svg|náhled|[[Graf (teorie grafů)|Graf]] se šesti [[Vrchol (graf)|vrcholy]]]] …atika|diskrétní matematiky]], který zkoumá vlastnosti takzvaných ''[[Graf (teorie grafů)|grafů]]''. …6 KB (1 011 slov) - 23. 8. 2021, 23:34
- …erá neobsahuje '''spor'''; v opačném případě se používá označení '''sporná teorie'''. …|formule]]) i její [[negace]].{{Sfn|Aplikovaná matematika|p=1875}} Není-li teorie sporná, říkáme, že je '''bezesporná''' neboli '''konzistentní'''. Za '''spo …5 KB (722 slov) - 24. 11. 2024, 16:59
- …úplná [[formální teorie|teorie]]''' označuje teorie, která je [[Bezesporná teorie|bezesporná]] a jejíž každé rozšíření je sporné. V klasické logice to je ekv * [[Bezesporná teorie]] …957 bajtů (143 slov) - 16. 10. 2024, 18:45
- '''Teorie množin''' je [[Matematika|matematická]] teorie, která se zabývá studiem [[množina|množin]]. Množina je buď souhrn nějakých …teorie množin]]. Kromě ní existují [[Axiomatická teorie množin|axiomatické teorie množin]], které přesně formulují vlastnosti množin několika [[axiom]]y a z …11 KB (1 793 slov) - 27. 11. 2024, 21:28
- '''Teorie kategorií''' je odvětví [[matematika|matematiky]] zobecňující pohled na [[M Teorie kategorií zkoumá, jaké vlastnosti [[Matematická_struktura|matematických str …15 KB (2 533 slov) - 29. 10. 2024, 12:00
- {{Možná hledáte|tento=matematické a fyzikální teorii|jiné=[[Teorie chaosu (film)]], americký film z roku 2007}} V [[matematika|matematice]] a [[fyzika|fyzice]] se '''teorie chaosu''' zabývá chováním jistých [[nelinearita|nelineárních]] [[dynamický …17 KB (2 750 slov) - 22. 10. 2024, 18:50
- …vlastnosti těchto množin můžeme zaručit pouze na základě jejich velikosti. Teorie je pojmenována po britském matematikovi [[Frank Ramsey|F. P. Ramseyovi]]. Obvyklý příklad, který se uvádí jako úvod do problematiky Ramseyho teorie, je tento: Uvažujme hospodu, kde daný den popíjí právě 6 lidí. Někteří lidé …10 KB (1 766 slov) - 4. 2. 2025, 22:31
- '''Teorie pravděpodobnosti''' ('''počet pravděpodobnosti''') je [[matematika|matemati …rostor'''. Z tohoto hlediska se teorie pravděpodobnosti jeví jako partie [[teorie míry]], která se zabývá prostory jednotkové míry. …6 KB (922 slov) - 25. 2. 2025, 15:31
- …tematice]] a [[Aplikovaná matematika|aplikované matematice]] pro hledání [[Teorie aproximace|aproximací řešení]] problému vycházejících z přesného [[řešení… …huje v [[Kvantová teorie pole|kvantové teorii pole]]. Článek [[perturbační teorie (kvantová mechanika)]] popisuje použití této metody v [[Kvantová mechanika| …22 KB (3 456 slov) - 17. 2. 2024, 07:41
- …'''KM''' je dokazatelná (formální) konzistence '''[[Zermelova-Fraenkelova teorie množin|ZF]]'''. Základy této teorie položil ve své přednášce roku [[1939]] A. Morse, ale publikována byla až v …2 KB (388 slov) - 13. 3. 2023, 19:43
- '''Projekce''' je v [[Teorie množin|teorii množin]] jeden ze dvou blízce příbuzných typů [[Funkce (matem * [[Teorie množin|Množinově-teoretická]] operace typizovaná <math>j</math>-tým projekč …3 KB (369 slov) - 11. 9. 2023, 15:05
Stránky s odpovídajícím textem
- …ou jako první předložil [[Bertrand Russell]] za účelem vyřešení paradoxů [[teorie množin]], ačkoliv zárodky lze najít již u [[Bernard Bolzano|Bernarda Bolzan V teorie typů existuje univerzum typů a jejich hodnot, přičemž každá proměnná má urč …1 KB (200 slov) - 22. 5. 2022, 14:50
- …úplná [[formální teorie|teorie]]''' označuje teorie, která je [[Bezesporná teorie|bezesporná]] a jejíž každé rozšíření je sporné. V klasické logice to je ekv * [[Bezesporná teorie]] …957 bajtů (143 slov) - 16. 10. 2024, 18:45
- == Teorie grafů == Nejběžnějším příkladem je reprezentace [[Graf (teorie grafů)|grafů]] v [[teorie grafů|teorii grafů]]. V případě neorientovaného grafu má matice řádek pro… …1 KB (159 slov) - 8. 9. 2023, 09:09
- …uje <math>s^2\mid r</math>, pak takové <math>s</math> musí být [[jednotka (teorie okruhů)|jednotkou]] okruhu <math>R</math>. [[Kategorie:Teorie čísel]] …816 bajtů (124 slov) - 20. 5. 2022, 07:09
- …le (logika)|formulí]] co se týče jejich dokazatelnosti v nějaké formální [[teorie (logika)|teorii]]. === Lindenbaumovy algebry teorie === …2 KB (305 slov) - 5. 12. 2022, 06:29
- '''Tranzitivní třída''' je [[matematika|matematický]] pojem z oblasti [[teorie množin]]. Hraje důležitou úlohu v definici [[ordinální číslo|ordinálních čí {{Teorie množin}} …777 bajtů (111 slov) - 4. 12. 2024, 19:28
- …ímaných axiomech [[Zermelova-Fraenkelova teorie množin|Zermelo-Fraenkelovy teorie množin]] — z jejích [[axiom]]ů nelze dokázat ani <math>\mathbb{V} = \mathbb Silným tvrzením myslíme fakt, že omezuje svět [[teorie množin]] na „rozumně se chovající“ [[Množina|množiny]], a vylučuje z něj vš …1 KB (221 slov) - 5. 8. 2021, 07:29
- …takový [[okruh (algebra)|okruh]], který má jediný levý [[maximální ideál (teorie okruhů)|maximální ideál]] a jediný pravý maximální ideál (respektive jediný …Okruh [[celé číslo|celých čísel]] není lokální, například [[hlavní ideál (teorie okruhů)|hlavní ideály]] generované čísly 2 a 3 jsou oba maximální. …1 KB (166 slov) - 9. 8. 2021, 19:55
- …'''KM''' je dokazatelná (formální) konzistence '''[[Zermelova-Fraenkelova teorie množin|ZF]]'''. Základy této teorie položil ve své přednášce roku [[1939]] A. Morse, ale publikována byla až v …2 KB (388 slov) - 13. 3. 2023, 19:43
- '''Alternující grupa''' je pojem z [[teorie grup]], kterým se označuje [[grupa]] [[znaménko permutace|sudých]] [[permut [[Kategorie:Teorie grup]] …511 bajtů (83 slov) - 4. 8. 2021, 11:18
- '''Curryho–Howardův isomorfismus''' je v logice a [[teorie typů|teorii typů]] rovnocennost mezi typy a formulemi, resp. jejich důkazy. ! style="width:300px" | [[Teorie typů]] …1 KB (195 slov) - 23. 2. 2022, 16:29
- …') – „dependent choice“) je [[matematika|matematické]] tvrzení z oblasti [[teorie množin]], které je slabší verzí [[axiom výběru|axiomu výběru]]. …a-Fraenkelova teorie množin|ZF]]''', '''[[NBG]]''' či '''[[Kelley-Morseova teorie množin|KM]]''') a to například takto: …2 KB (273 slov) - 4. 8. 2021, 11:33
- …í algebra|abstraktní algebry]], přesněji z [[teorie okruhů]]. Pro [[ideál (teorie okruhů)|ideál]] <math>I</math> [[komutativní okruh|komutativního okruhu]]… * Radikál ideálu <math>I</math> je roven [[průnik]]u všech [[prvoideál (teorie okruhů)|prvoideálů]] obsahujících <math>I</math>. …1 KB (247 slov) - 28. 9. 2023, 15:13
- …kategoričnosti''' je jednou z nejdůležitějších [[matematická věta|vět]] [[teorie modelů]]. Dokázal ji roku [[1962]] [[Spojené státy americké|americký]] [[ma === Kategorická teorie === …3 KB (430 slov) - 1. 8. 2022, 19:13
- …resburgerova aritmetika''' je jeden z [[axiom]]atických systémů [[formální teorie]] aritmetiky. Je podstatně slabší než [[Peanova aritmetika]], zejména proto Presburgerova aritmetika je [[teorie (logika)|teorie]] v [[jazyk (logika)|jazyce]] ''L'' obsahujícím konstantní symbol ''0'', un …2 KB (245 slov) - 9. 8. 2021, 08:33
- …[[komutativní algebra|komutativní algebry]]. Rozumí se jím takový [[ideál (teorie okruhů)|ideál]] <math>I</math> [[komutativní okruh|komutativního okruhu]]… * Každý [[prvoideál (teorie okruhů)|prvoideál]] je ireducibilní …1 KB (187 slov) - 8. 8. 2021, 20:44
- …rafů|teorii grafů]] se termínem '''prázdný graf''' označuje takový [[Graf (teorie grafů)|graf]], jenž nemá žádný [[Vrchol (graf)|vrchol]] ani [[Hrana (graf)| …639 bajtů (84 slov) - 25. 5. 2014, 18:59
- …,AC_{\omega}</math>''')) je [[matematika|matematické]] tvrzení z oblasti [[teorie množin]], které je slabší verzí [[axiom výběru|axiomu výběru]]. …a-Fraenkelova teorie množin|ZF]]''', '''[[NBG]]''' či '''[[Kelley-Morseova teorie množin|KM]]''') a to například takto: …2 KB (351 slov) - 5. 8. 2021, 07:29
- Implementace je možná v [[teorie typů|teorii typů]] pomocí [[závislostní typ|závislostních typů]]. [[Kategorie:Teorie typů]] …684 bajtů (107 slov) - 24. 4. 2022, 16:48
- …edná se o jeden ze základních pojmů [[algebraická teorie čísel|algebraické teorie čísel]]. [[Kategorie:Teorie čísel]] …1 KB (229 slov) - 9. 8. 2021, 19:38