Недостаточность равенств для построения реальных теорий ( что проявилось наглядно в проблеме спецификации типов данных), ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Замулин А.В. Системы программирования баз данных и знаний


Недостаточность равенств для построения реальных теорий ( что проявилось наглядно в проблеме спецификации типов данных), заставила исследователей расширять их дополнительными средствами. В [187], например, используется понятие формулы, которое определяется следующим образом: формула - это равенство или одна из следующих форм: Ф; Ф Фг.

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

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

Недостаточность равенств для построения реальных теорий ( что проявилось наглядно в проблеме спецификации типов данных),  заставила исследователей расширять их дополнительными средствами.  В [187],  например,  используется понятие формулы,  которое определяется следующим образом:  формула  -  это равенство или одна из следующих форм:    Ф;  Ф Фг.