Данное сообщение существует в виде:
- документа Гугл на русском. Эта рабочая и самая последняя версия доступна по ссылке.
- документов Гугл предыдущих версий: осень 2015 (это первая версия).
- English version as a google doc is here.
- pdf некоторого варианта ру-версии. см. ниже.
- pdf некоторого варианта en-версии. см. ниже.
Ниже приводится аннотация как на 23.06.2016
Аннотация
Вводится понятие конечной системы термов (КСТ) - обобщение конечной многоосновной алгебраической системы (КМАС/FMAS), а также язык для работы с такими системами - YAFOLL (Yet Another First Order Logic Language).
Показывается применимость таких систем для построения математической модели части реальности, т.е. математической конструкции к которой можно обращаться с вопросами о свойствах объектов и процессов предметной области.
Annotation
The concept a finite terms system (FTS) - a generalization of multi-carrier algebraic system (FMAS) as well as a language for handling FTS such as YAFOLL (Yet Another First Order Logic Language) are introduced.
The applicability of such systems to building a mathematical model of a part of reality, i.e. a mathematical structure that can be asked questions about the properties of subject domain objects and processes, is demonstrated.
Журнал изменений
зимой 15/16
т.е. прописаны все возможности Y!L по ведению моделей.