004.423.46 — Аксиоматическая семантика | УДК

Аксиоматическая семантика: описание программы через логические утверждения о правильности её работы и инварианты.

Статьи по коду 004.423.46

6 публикаций

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

ГНОСЕО-ЭПИСТЕМИОЛОГИЧЕСКАЯ ЦЕЛОСТНОСТЬ МЕДИЦИНСКОЙ АКСИОМАТИКИ Торохтин Александр Михайлович · 2025

Отмеченное субординатное натуральное исчисление для базовой интуиционистской кондициональной логики Игорь Васильевич Зайцев · 2025

ПРОБЛЕМЫ И ПРИНЦИПЫ РЕАЛИЗАЦИИ ЯЗЫКОВОЙ ДЕЯТЕЛЬНОСТИ В ИСКУССТВЕННОМ ИНТЕЛЛЕКТЕ Внуковская Анастасия Васильевна, Шихиев Фуад Шукурович, Шихиев Зияд Фуадович · 2025

Интеграция вероятностной и нечеткой логики для улучшения интерпретации семантики естественного языка Э. Р. Городецкий, Ю. М. Вишняков, Б. В. Белокобыльский · 2026

ЭВОЛЮЦИЯ В КИБЕРНЕТИКЕ: УПРАВЛЕНИЕ, ОСНОВАННОЕ НА ЗНАНИЯХ Шкодырев Вячеслав Петрович · 2023

ПОЛИМОРФИЗМ ТРАКТОВОК СОВРЕМЕННОЙ ТЕРМИНОЛОГИИ В МЕТАЯЗЫКЕ НАУЧНОГО ДИСКУРСА О. С. Зубкова · 2026