Мы представляем функциональную форму F в виде конъюнкции подформул, в которой константы замещают переменные, связанные ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Лупанов О.Б. Кибернетический сборник Выпуск20


Мы представляем функциональную форму F в виде конъюнкции подформул, в которой константы замещают переменные, связанные кванторами существования.

(cкачать страницу)

Смотреть книгу на libgen

Мы представляем функциональную форму F в виде конъюнкции подформул,  в которой константы замещают переменные,  связанные кванторами существования.