Logo
Explore Knowledge base
univer-6th-semester/mathlogic
Code Actions Releases 5
35 Commits 1 Branch 5 Tags
main
Commit Graph

7 Commits

Author SHA1 Message Date
Arity-T
6a95dc6c9d Добавил пример с --x++ 2025-05-30 13:17:44 +03:00
Arity-T
78dddbc047 Добавил упоминание КС грамматики и рекурсивного спука в заключении 2025-05-30 13:17:17 +03:00
Arity-T
e0211cb6c5 Выделил цветом новый продукции 2025-05-30 13:06:01 +03:00
Arity-T
d61b1b7a2d заменил -- на textminus 2025-05-30 12:50:32 +03:00
Arity-T
c001ccb12a лаб 4 2025-05-28 14:19:58 +03:00
Arity-T
e3918eb442 Исправил ошибки в исходной грамматике 2025-05-27 22:26:20 +03:00
Arity-T
207b428ad9 Лаб 4 - Матописание 2025-05-27 13:32:11 +03:00