Тема: Базис стандартной и рекурсивной схемы. Верификация программы

...с успешным функционированием стандартной системы символической логики, в которой квантор существования играет кардинальную роль.
...в принятые экстенсиональные схемы , все же далеки от тавтологий и неоднозначностей . Фактически главной функцией...

4.1 Описание. 4.2 Графическое представление программы . 4.3 Работа с программой . 4.4 Схема программы .
...всех остальных равенствах и неравенствах (а также в функции f). Такую задачу называют "основной" или " стандартной " в линейном программировании.