Том 25, № 4 (2018)

Весь выпуск

Посмотреть или загрузить весь выпуск PDF

Содержание

Оригинальные статьи

Оптимизация инварианта цикла в языке Пифагор PDF (Rus)
Владимир Сергеевич Васильев, Александр Иванович Легалов 347-357
Верификация программ со взаимной рекурсией на языке Пифагор PDF (Rus)
Мария Сергеевна Ушакова, Александр Иванович Легалов 358-381
Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм PDF (Rus)
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин 382-387
Остовное дерево в делимом кратном графе PDF (Rus)
Александр Валерьевич Смирнов 388-401
О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» PDF (Rus)
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый 402-410
Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров PDF (Rus)
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов 411-420
Динамическая модель процессов информационных обменов в пиринговой сети PDF (Rus)
Александра Игоревна Кононова 421-434
Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке PDF (Rus)
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов 435-458


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)