Архив статей

ПРИМЕНЕНИЕ НОРМАЛЬНЫХ ФОРМ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ В ИНФОРМАТИКЕ НА ПРИМЕРЕ МОДЕЛИ БАЗЫ ДАННЫХ ВУЗА (2025)
Выпуск: № 15 (94 ст.) (2025)
Авторы: Рашева П. П.

Современная информатика активно использует аппарат математической логики для описания и оптимизации обработки данных. «Дескриптивные логики являются универсальным инструментом для формального описания знаний: они предоставляют выразительные средства для формализации спецификаций и онтологий» [1].