Интерпретация булевых формул с кванторами как игр для двух игроков — различия между версиями
Zarubkin (обсуждение | вклад) (Новая страница: «'''Интерпретация булевых формул с кванторами как игр для двух игроков''' Рассмотрим формул…») |
Ateuhh (обсуждение | вклад) (Перенаправление на Исчисление предикатов#Интерпретация булевых формул с кванторами как игр для двух игроков) |
||
(не показано 16 промежуточных версий 4 участников) | |||
Строка 1: | Строка 1: | ||
− | + | #перенаправление [[Исчисление предикатов#Интерпретация булевых формул с кванторами как игр для двух игроков]] | |
− | |||
− |
Текущая версия на 16:06, 15 ноября 2016
Перенаправление на: