Перегляд за автором "Тимофеев, В.Г."

Сортувати за: Порядок: Результатів:

  • Задача проверки Т-выполнимости для логического языка VL1 системы VRS 
    Тимофеев, В.Г. (Проблеми програмування, 2012)
    В данной работе дается короткое введение в задачу проверки T-выполнимости формул относительно логических теорий, и показывается, что разработанные методы решения этой задачи могут применяться в технологии инсерционного ...
  • О применении композиционно-номинативных логик в инсерционном моделировании 
    Никитченко, Н.С.; Тимофеев, В.Г. (Управляющие системы и машины, 2012)
    Рассмотрена возможность применения композиционно-номинативных логик как инструмента проведения формально-логических рассуждений в рамках технологии инсерционного моделирования. Обоснована теоретическая база такого применения ...
  • Усовершенствованный метод синтеза автомата по его спецификации в языке L 
    Тимофеев, В.Г.; Чеботарев, А.Н. (Кибернетика и системный анализ, 2011)
    Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення ...