О применении композиционно-номинативных логик в инсерционном моделировании
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
О применении композиционно-номинативных логик в инсерционном моделировании
|
|
| Creator |
Никитченко, Н.С.
Тимофеев, В.Г. |
|
| Subject |
Дедуктивные методы
|
|
| Description |
Рассмотрена возможность применения композиционно-номинативных логик как инструмента проведения формально-логических рассуждений в рамках технологии инсерционного моделирования. Обоснована теоретическая база такого применения – сформулирована задача проверки выполнимости формул в многосортных композиционно-номинативных логиках первого порядка. Предложен редукционный подход к ее решению.
The possibility is considered of using the composition-nominative logics as an instrument for formal reasoning in the insertion modeling technology. Theoretical foundations are established for such an application: we formulate the satisfiability problem for the first-order many-sorted composition-nominative logics and suggest a reductional approach for solving this problem. Розглянуто можливість застосування композиційно-номінативних логік як інструменту проведення формально-логічних суджень в рамках технології інсерційного моделювання. Обґрунтовано теоретичну базу такого застосування – сформульовано задачу перевірки виконуваності формул у багатосортних композиційно-номінативних логіках предикатів першого порядку та подано редукційний підхід до її розв’язання. |
|
| Date |
2015-06-14T19:20:58Z
2015-06-14T19:20:58Z 2012 |
|
| Type |
Article
|
|
| Identifier |
О применении композиционно-номинативных логик в инсерционном моделировании / Н.С. Никитченко, В.Г. Тимофеев // Управляющие системы и машины. — 2012. — № 6. — С. 57-63. — Бібліогр.: 12 назв. — рос.
0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83109 004.02 |
|
| Language |
ru
|
|
| Relation |
Управляющие системы и машины
|
|
| Publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
|
|