Výsledky hledání
Skočit na navigaci
Skočit na vyhledávání
Stránky s odpovídajícím názvem
- '''Syntaxe a [[Sémantika programovacích jazyků|sémantika]] programovacího jazyka Wolfram Language''' představuje sadu pravidel, podl …129 KB (20 075 slov) - 21. 12. 2024, 20:24
Stránky s odpovídajícím textem
- …v model''' je model teorie [[Logika vyššího řádu|vyššího řádu]] v obecné [[Sémantika|sémantice]], přičemž platí, že každá bezesporná teorie má model (se spočetn [[Kategorie:Sémantika]] …2 KB (291 slov) - 31. 1. 2018, 20:34
- '''Type shifter''' je ve [[formální sémantika|formální sémantice]] [[monáda (funkcionální programování)|monáda]] přiřazuj …684 bajtů (107 slov) - 24. 4. 2022, 16:48
- …ostorem, který není ani triviální, ani diskrétní. Využívá se ve formální [[Sémantika|sémantice]] a v [[Teorie vyčíslitelnosti|teorii vyčíslitelnosti]]. …1 KB (161 slov) - 8. 8. 2021, 17:31
- == Sémantika == …6 KB (922 slov) - 14. 8. 2024, 14:40
- …částí [[ontologie|ontologií]] v aplikované [[lingvistika|lingvistice]] a [[sémantika|sémantice]]. V logice jsou [[reifikace|reifikací]] [[logika vyššího řádu|lo …1 KB (185 slov) - 22. 10. 2023, 15:20
- '''Normalizovaná googlovská vzdálenost''' je metrika [[Sémantika|sémantické]] vzdálenosti, odvozená od počtu výsledků vrácených Google vyhle …2 KB (343 slov) - 8. 8. 2021, 14:53
- …ové algebry.<ref>Arnold and Niwiński, pp. viii-x and chapter 6</ref> Herní sémantika μ-kalkulu souvisí s hrami dvou hráčů s úplnou informací, zejména s nekonečn …h>Z</math>.<ref>Arnold and Niwiński, p. 14</ref> Podrobnosti viz denotační sémantika níže. …10 KB (1 690 slov) - 12. 4. 2024, 08:33
- …nformatiky – v odůvodnění se zmiňují oblasti jako [[syntaktická analýza]], sémantika programovacích jazyků, verifikace programů a analýza [[Algoritmus|algoritmů …3 KB (422 slov) - 29. 11. 2022, 09:28
- == Programování modelů a sémantika == …8 KB (1 393 slov) - 2. 7. 2023, 11:13
- Pokud přechodový systém slouží pro definici [[operační sémantika|operační sémantiky]] programovacího jazyka, pak přesná definice bisimulace …3 KB (543 slov) - 14. 2. 2021, 11:26
- …eorie čísel|počítačovou teorii čísel]] a [[Symbolický výpočet|algebru]], [[Sémantika programovacích jazyků|sémantiku programovacích jazyků]] a [[verifikace prog * [[Formální sémantika]] …7 KB (1 107 slov) - 28. 1. 2023, 12:55
- …v jazyka, může docházet ke komunikačním nedorozuměním, jde o komunikační [[sémantika|sémantickou]] chybu. …5 KB (802 slov) - 19. 4. 2023, 05:21
- …varphi</math> se relativizuje vzhledem k časovému okamžiku <math>t</math>. Sémantika klasické logiky je v sémantice <math>K_t</math> zahrnuta v tom smyslu, že… === Syntax a sémantika === …24 KB (4 121 slov) - 21. 5. 2022, 19:07
- …třeba očekávat, že pravidla budou generovat sice syntakticky správné ale [[sémantika|sémanticky]] nesmyslné věty, jako je následující dobře známá věta: …systémem frázových pravidel kombinovaných s [[kompoziční|nekompoziční]] [[sémantika|sémantickou]] teorií, protože gramatické formalismy založené na přepisovací …12 KB (1 895 slov) - 4. 11. 2021, 05:27
- …tických aplikacích logik vyšších řádů používá tzv. [[Henkinův model|obecná sémantika]], …6 KB (1 051 slov) - 23. 11. 2024, 17:50
- …nos informací v rámci přepisovacího pravidla, což umožňuje přenos (např. [[Sémantika|sémantických]]) informací z libovolného místa v abstraktním syntaktickém st …10 KB (1 552 slov) - 11. 1. 2025, 19:43
- [[Kategorie:Sémantika]] …13 KB (1 939 slov) - 17. 8. 2024, 19:05
- …(logika)|syntaktický]] objekt, kterému lze přiřadit sémantický [[Formální sémantika (logika)|význam]] pomocí [[interpretace (logika)|interpretace]]. Formule js …17 KB (2 487 slov) - 17. 1. 2025, 10:35
- == Syntaxe a základní sémantika == …49 KB (8 130 slov) - 28. 6. 2024, 21:27
- …také k formalizaci mnoha jiných systémů v matematické informatice, např. [[Sémantika programovacích jazyků|sémantiky programovacích jazyků]]. …23 KB (3 441 slov) - 19. 12. 2024, 23:23