Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2008, № 2-3 за автором "Крывый, С.Л."

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2008, № 2-3 за автором "Крывый, С.Л."

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

  • Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний 
    Крывый, С.Л.; Волошин, С.В.; Маркова, Н.С. (2008)
    Описывается подход к проверке противоречивости множества дизъюнктов в исчислении высказываний методом резолюций, основанный на модифицированном TSS-методе решения систем линейных однородных диофантовых уравнений. Алгоритм ...
  • О алгоритме перевода документов msc в сети Петри 
    Чугаенко, А.В.; Крывый, С.Л. (2008)
    Описывается алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученная таким образом сеть Петри может использоваться для анализа свойств системы, представленной исходным документом MSC. Алгоритм ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис