О применении композиционно-номинативных логик в инсерционном моделировании

• Опубліковано в: : Управляющие системы и машины
• Дата: 2012
• Автори: Никитченко, Н.С., Тимофеев, В.Г.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
• Теми: Дедуктивные методы
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/83109
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: О применении композиционно-номинативных логик в инсерционном моделировании / Н.С. Никитченко, В.Г. Тимофеев // Управляющие системы и машины. — 2012. — № 6. — С. 57-63. — Бібліогр.: 12 назв. — рос.

Рассмотрена возможность применения композиционно-номинативных логик как инструмента проведения формально-логических рассуждений в рамках технологии инсерционного моделирования. Обоснована теоретическая база такого применения – сформулирована задача проверки выполнимости формул в многосортных компози...