Поиск по сайту


   


Результаты поиска ( Отсортировано по релевантности | Сортировать по дате )


Принципы верификации информационных моделей и алгоритмов

Елсуков П.Ю. Принципы верификации информационных моделей и алгоритмов // Образовательные ресурсы и технологии. №2(19). 2017. C.81-86. DOI: 10.21777/2500-2112-2017-2-81-86 https://www.muiv.ru/vestnik/pdf/pp/ot_2017_2_081-086.pdf Статья раскрывает содержание принципов верификации информационных моделей. Вводится понятие верификации модели. Вводится понятие алгоритма реализации. Показано, что верификация программного обеспечения является основой для верификации информационных моделей. Показано, что...

Теги: информационные модели , верификация , алгоритм , алгоритм реализации , темпоральная логика
Раздел: ИСЭМ СО РАН
Классификация и типизация в информатике

Елсуков П.Ю. Классификация и типизация в информатике // Перспективы науки и образования. №2 (20). 2016. C.7-11. Статья исследует классификацию и типизацию в информационной области. Показано, что классификация и типизация строятся после создания информационной модели. Показано, что основой построения информационной модели для задач классификации является применение информационных единиц. Раскрыто содержание двух видов типизации: как обобщение знаков и как деление типов. Показано, что типизация менее...

Теги: информация , философия информации , классификация , типизация , информатика , информационные модели , информационные единицы
Раздел: ИСЭМ СО РАН


x
x