Výsledky hledání

Ukázat (20 předchozích | ) (20 | 50 | 100 | 250 | 500).
  • Bezesporná teorie (také konzistentní teorie) je označení používané v matematické logice pro formální teorii, která neobsahuje spor; v opačném případě se…
    3 KB (269 slov) - 12. 6. 2022, 12:52
  • Počátky teorie grup sahají do posledních let 18. a počátku 19. století, kdy se začala vyvíjet jako důsledek rozvoje teorie algebraických rovnic, teorie čísel…
    3 KB (281 slov) - 16. 11. 2022, 13:06
  • vstupu. Množina stavů je konečná (odtud název), konečný automat nemá žádnou další paměť, kromě informace o aktuálním stavu. Konečný automat je velice jednoduchý…
    8 KB (838 slov) - 8. 8. 2021, 13:47
  • Miniatura pro Teorie automatů
    formálně pěticí (Q,Σ,δ,q0,F), kde: Q je konečná množina stavů (někdy nazývaná vnitřní abeceda). Σ je konečná množina symbolů, nazývaná vnější abeceda…
    14 KB (1 415 slov) - 4. 4. 2023, 08:06
  • Miniatura pro Konspirační teorie
    Konspirační teorie (spiklenecká teorie, teorie spiknutí, konspiracionismus) jsou taková vysvětlení události nebo situace, která se odvolávají na spiknutí…
    66 KB (6 110 slov) - 7. 3. 2024, 12:22
  • Von Neumannova-Bernaysova-Gödelova teorie množin (někdy také označovaná jako Gödelova-Bernaysova teorie množin nebo NBG či GB) je jedním z nejšířeji přijatých…
    5 KB (642 slov) - 31. 3. 2023, 12:16
  • objevily tři druhy teorií: teorie dokumentů (Pentateuch je složen z několika samostatných a úplných literárních pramenů), teorie zlomků (Pentateuch je…
    27 KB (3 589 slov) - 13. 9. 2023, 13:19
  • model je formulován jako relativistická kvantová teorie pole. Zjednodušeně je kvantová teorie pole teorií o všeprostupující hladině potenciálu ve formě kvantového…
    6 KB (671 slov) - 25. 10. 2023, 22:27
  • Zermelova-Fraenkelova teorie množin (ZF) je nejrozšířenější axiomatickou soustavou teorie množin, která je sama o sobě nebo v některých mírných modifikacích…
    14 KB (1 913 slov) - 16. 1. 2022, 00:53
  • Obecná teorie relativity (zkratkou OTR) je fyzikální teorie gravitace publikovaná Albertem Einsteinem v roce 1915, která je popisem gravitace užívaným…
    195 KB (18 522 slov) - 17. 3. 2024, 19:49
  • z alternativních teorií množin: teorie polomnožin teorie hrubých množin teorie neostrých množin teorie množin New Foundations teorie kladných množin Alternativní…
    982 bajtů (100 slov) - 16. 5. 2018, 18:48
  • Miniatura pro Axiomatická teorie množin
    této teorie budou přesně odpovídat všem platným matematickým výsledkům ze všech oblastí matematiky (algebra, diferenciální rovnice, geometrie, teorie pravděpodobnosti…
    38 KB (4 344 slov) - 2. 2. 2024, 10:18
  • Teorie racionální volby či teorie racionálního jednání (často se používá také anglický název Rational choice theory nebo Rational action theory) je označení…
    12 KB (1 341 slov) - 3. 11. 2022, 12:14
  • rozhodnutelné teorie o konečně mnoho axiomů v témže jazyce je rozhodnutelné. Rozšíření rozhodnutelné teorie o definice je rozhodnutelné. Teorie, v níž je…
    4 KB (334 slov) - 9. 8. 2021, 11:28
  • pomocí pojmů teorie množin a studiem struktur a modelů, jejich vlastností a vzájemných vztahů a také jejich vztahem k pojmům axiomatické teorie a dokazatelnosti…
    3 KB (325 slov) - 19. 7. 2021, 12:15
  • by totiž musela být sjednocením všech konečných podmnožin ω{\displaystyle \omega \,\!}, což však není konečná množina (dokonce je to přímo ω{\displaystyle…
    6 KB (705 slov) - 4. 4. 2022, 09:23
  • Miniatura pro Teorie pravděpodobnosti
    takzvaný pravděpodobnostní prostor. Z tohoto hlediska se teorie pravděpodobnosti jeví jako partie teorie míry, která se zabývá prostory jednotkové míry. Alternativu…
    6 KB (573 slov) - 22. 9. 2022, 23:25
  • Miniatura pro Věta o kompaktnosti
    ní jedničku), pak je celá T splnitelná. Pokud každá konečná podteorie teorie T má model, pak teorie T má model. Zásadním důsledkem věty o kompaktnosti…
    3 KB (268 slov) - 28. 4. 2022, 23:53
  • Teorie typů je teorie na pomezí matematiky, filosofie a algoritmiky, kterou jako první předložil Bertrand Russell za účelem vyřešení paradoxů teorie množin…
    1 KB (144 slov) - 22. 5. 2022, 15:50
  • při transformacích z dané lineární grupy. Teorie invariantů konečných grup úzce souvisí s Galoisovou teorii. Jeden z prvních důležitých výsledků byla…
    2 KB (194 slov) - 8. 8. 2021, 19:50
Ukázat (20 předchozích | ) (20 | 50 | 100 | 250 | 500).