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

Перегляд Управляющие системы и машины, 2012, № 6 за темою "Дедуктивные методы"

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

Перегляд Управляющие системы и машины, 2012, № 6 за темою "Дедуктивные методы"

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

  • Никитченко, Н.С.; Тимофеев, В.Г. (Управляющие системы и машины, 2012)
    Рассмотрена возможность применения композиционно-номинативных логик как инструмента проведения формально-логических рассуждений в рамках технологии инсерционного моделирования. Обоснована теоретическая база такого применения ...
  • Летичевский, А.А. (мл.); Мороховец, М.К.; Песчаненко, В.С. (Управляющие системы и машины, 2012)
    Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы ...

Пошук


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

Перегляд

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