{"id":158,"date":"2021-11-12T11:55:14","date_gmt":"2021-11-12T04:55:14","guid":{"rendered":"https:\/\/conf.icgbio.ru\/lyap100\/?page_id=158"},"modified":"2021-11-18T10:53:25","modified_gmt":"2021-11-18T03:53:25","slug":"044-thesis","status":"publish","type":"page","link":"https:\/\/conf.icgbio.ru\/lyap100\/en\/reports\/044-thesis\/","title":{"rendered":"044. \u041f\u043e\u043b\u0438\u043d\u043e\u043c\u0438\u0430\u043b\u044c\u043d\u043e \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u043c\u044b\u0435 \u0421\u0418\u0413\u041c\u0410 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0445 \u043c\u043e\u0434\u0435\u043b\u0435\u0439 \u0440\u0435\u0430\u0433\u0438\u0440\u0443\u044e\u0449\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043c"},"content":{"rendered":"<p>The polynomial realized Delta \u2013formulas are considered with quantifiers acting on hierarchy lists described by CF-grammars. These formulas are interpreted on a many-sorted model with the hierarchy list superstructure. The constant model is constructed for the Noether confluent theory based on quasi-identities. The signature predicates and functions are interpreted on input CF-list extended on the interpretation process. The Delta \u2013formulas theories might be used to model real-time systems. As example a logic specification of robot behaviour is given.<\/p>\n<p>&nbsp;<\/p>\n<table class=\"t-data-grid grid-top-border\">\n<tbody>\n<tr class=\"line1\">\n<td class=\"report-label\">Abstracts file:<\/td>\n<td class=\"report-text\"><a href=\"https:\/\/conf.icgbio.ru\/lyap100\/wp-content\/uploads\/sites\/82\/2021\/11\/lyap100-044-\u0413\u043b\u0443\u0448\u043a\u043e\u0432\u0430.pdf\" target=\"_blank\" rel=\"noopener\">\u0413\u043b\u0443\u0448\u043a\u043e\u0432\u0430.pdf<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>The polynomial realized Delta \u2013formulas are considered with quantifiers acting on hierarchy lists described by CF-grammars. These formulas are interpreted on a many-sorted model with the hierarchy list superstructure. The constant model is constructed for the Noether confluent theory based &hellip; <a href=\"https:\/\/conf.icgbio.ru\/lyap100\/en\/reports\/044-thesis\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":13,"featured_media":0,"parent":58,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages\/158"}],"collection":[{"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/users\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/comments?post=158"}],"version-history":[{"count":2,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages\/158\/revisions"}],"predecessor-version":[{"id":938,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages\/158\/revisions\/938"}],"up":[{"embeddable":true,"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/pages\/58"}],"wp:attachment":[{"href":"https:\/\/conf.icgbio.ru\/lyap100\/en\/wp-json\/wp\/v2\/media?parent=158"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}