Сокобан
Сокобан Описание игры Сокобан Сокобан – это видеоигра-головоломка, где игрок перемещает коробки по складу. Игра была разработана в 1981 году […]
PSPACE-complete problems
Вики
Истинная количественная булева формула
Истинная количественная логическая формула Определение и сложность TQBF TQBF – это язык, который может быть выражен в виде количественных логических
Вики
Хекс (настольная игра)
Гексагон (настольная игра) История и популярность игры Hex Игра была изобретена в 1942 году математиком Аланом Тьюрингом и популяризирована в