004.423.43 — Денотационная семантика | УДК

Денотационная семантика: определение смысла программы через математические объекты (функции), которые она вычисляет.

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

4 публикаций

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

Объяснимость и интерпретируемость — важные аспекты безопасности решений, принимаемых интеллектуальными системами (обзорная статья) Денис Николаевич Бирюков, Андрей Сергеевич Дудкин · 2025

Концептуальное представление свойств автономных реактивных агентов в интеллектуальных вычислительных системах Владимир Иванович Волчихин, Надежда Сергеевна Карамышева, Максим Александрович Митрохин, Сергей Александрович Зинкин · 2025

Представление и структурирование знаний в семантико-ориентированной вычислительной среде. Часть I. Интеграция концептуальных графов и логических сетей на основе формализации структурированных ситуаций Владимир Иванович Волчихин, Надежда Сергеевна Карамышева, Максим Александрович Митрохин, Сергей Александрович Зинкин · 2023

Особенности определения формальной семантики императивного языка для верификации программ интеграции данных С. A. Ступников · 2026