Изменения

Перейти к: навигация, поиск

Интерпретация булевых формул с кванторами как игр для двух игроков

148 байт добавлено, 06:51, 11 января 2012

Нет описания правки

Доказательство существования победной стратегии для игрока «для всех» при ложном выражении <tex>\Psi</tex> аналогично.

[[Категория: Теория формальных языков]]

[[Категория: Автоматы и регулярные языки]]

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16148»