ПРИМЕНЕНИЕ НОРМАЛЬНЫХ ФОРМ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ В ИНФОРМАТИКЕ НА ПРИМЕРЕ МОДЕЛИ БАЗЫ ДАННЫХ ВУЗА (2025)
Современная информатика активно использует аппарат математической логики для описания и оптимизации обработки данных. «Дескриптивные логики являются универсальным инструментом для формального описания знаний: они предоставляют выразительные средства для формализации спецификаций и онтологий» [1].