УДК › 0 › 00 › 004 › 004.4 › 004.42 › 004.423 › 004.423.4
004.423.4

Семантика программ

⌘ в дереве

Истолкование смысла программ: что и почему программа делает во время выполнения. Выберите подраздел по методу анализа.

Подразделы
Статьи по коду 004.423.4
7 публикаций

Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.

ПЕРСПЕКТИВЫ ИССЛЕДОВАНИЯ ПОЛИТИЧЕСКОГО ДИСКУРСА (Рецензия на книгу: Романов А.А. и Новосёлова О.В. Менасивные конструкты предвыборной дискурсии. Лингвокогнитивный анализ материалов программ президентской кампании 2018 года: Монография. М.: URSS, 2021. — 440 с.) Левицкий Андрей Эдуардович · 2023
Логики условных вычислений с ошибками Николай Николаевич Непейвода · 2025
ВЛИЯНИЕ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ НА РАЗВИТИЕ МЕТОДОЛОГИИ ИССЛЕДОВАНИЯ ЛИНГВИСТИЧЕСКИХ ПРОЦЕССОВ Внуковская Анастасия Васильевна, Кононенко Анна Павловна, Недосека Людмила Анатольевна, Федорович Екатерина Валерьевна · 2023
О СЕМАНТИКЕ МИФОПОЭТИЧЕСКИХ ОБРАЗОВ-СИМВОЛОВ В КОНЦЕРТЕ ДЛЯ ФОРТЕПИАНО С ОРКЕСТРОМ E-MOLL, ор. 60, № 3 (БАЛЛАДА) Н.К. МЕТНЕРА Предвечнова Екатерина Олеговна · 2025
ЭФФЕКТИВНЫЕ АЛГОРИТМЫ ПРОВЕРКИ ЭКВИВАЛЕНТНОСТИ ПРОПОЗИЦИОНАЛЬНЫХ ПРОГРАММ МИЛИ НА УРАВНОВЕШЕННЫХ ШКАЛАХ Подымов Владислав Васильевич · 2025
Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы Дмитрий Александрович Кондратьев, Сергей Михайлович Старолетов, Ирина Владимировна Шошмина, Анастасия Владимировна Красненкова, Кирилл Викторович Зиборов, и др. · 2025
Язык спецификации взаимодействия автоматных объектов Новиков Федор Александрович, Афанасьева Ирина Викторовна, Федорченко Людмила Николаевна, Таисия Анваровна Харисова · 2024

Ещё 17 статей в подразделах