Výsledky hledání
Skočit na navigaci
Skočit na vyhledávání
- [[Kategorie:Vyčíslitelnost]] …2 KB (276 slov) - 9. 5. 2022, 08:15
- [[Kategorie:Vyčíslitelnost]] …2 KB (285 slov) - 13. 9. 2023, 20:10
- [[Kategorie:Vyčíslitelnost]] …4 KB (666 slov) - 3. 3. 2025, 15:10
- [[Kategorie:Vyčíslitelnost]] …5 KB (783 slov) - 1. 2. 2023, 11:04
- [[Kategorie:Vyčíslitelnost]] …5 KB (669 slov) - 18. 8. 2024, 13:56
- Pomocí lambda kalkulu lze dobře definovat [[vyčíslitelnost]]. [[Kategorie:Vyčíslitelnost]] …8 KB (1 479 slov) - 29. 1. 2022, 16:13
- [[Kategorie:Vyčíslitelnost]] …8 KB (1 474 slov) - 8. 8. 2021, 16:54
- Tento vývoj vedl k modernímu studiu logiky a [[vyčíslitelnost]]i a ke vzniku teoretické informatiky jako oboru. V roce 1948 obor rozšířil …7 KB (1 107 slov) - 28. 1. 2023, 12:55
- …[[výpočetní model]] používaný v [[Informatika|informatice]] pro studium [[vyčíslitelnost]]i a obecně [[formální jazyk|formálních jazyků]]. Popisuje jednoduchý [[poč …10 KB (1 894 slov) - 6. 5. 2020, 07:34
- [[Kategorie:Vyčíslitelnost]] …15 KB (2 310 slov) - 19. 1. 2023, 19:52
- [[Kategorie:Vyčíslitelnost]] …25 KB (4 645 slov) - 19. 1. 2025, 10:13