Изменения

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

Исчисление кортежей и его реляционная полнота

155 байт добавлено, 00:33, 20 декабря 2021
→‎Условия с кванторами
=== Условия с кванторами ===
Поверх логических формул можно навешивать кванторы:
* Всеобщности ;
* Существования .
Sashapff
462
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/81542»

Навигация