Статья: ПРИМЕНЕНИЕ НОРМАЛЬНЫХ ФОРМ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ В ИНФОРМАТИКЕ НА ПРИМЕРЕ МОДЕЛИ БАЗЫ ДАННЫХ ВУЗА (2025)

Читать онлайн

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

Ключевые фразы: МАТЕМАТИЧЕСКАЯ ЛОГИКА, кнф, днф, скнф, сднф, БАЗЫ ДАННЫХ, SQL, логические преобразования
Автор (ы): Рашева Полина Павловна (Rasheva P. P.)
Журнал: НЕКОТОРЫЕ ВОПРОСЫ АНАЛИЗА, АЛГЕБРЫ, ГЕОМЕТРИИ И МАТЕМАТИЧЕСКОГО ОБРАЗОВАНИЯ

Предпросмотр статьи

Идентификаторы и классификаторы

SCI
Математика
УДК
510.6. Математическая логика
Для цитирования:
РАШЕВА П. П. ПРИМЕНЕНИЕ НОРМАЛЬНЫХ ФОРМ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ В ИНФОРМАТИКЕ НА ПРИМЕРЕ МОДЕЛИ БАЗЫ ДАННЫХ ВУЗА // НЕКОТОРЫЕ ВОПРОСЫ АНАЛИЗА, АЛГЕБРЫ, ГЕОМЕТРИИ И МАТЕМАТИЧЕСКОГО ОБРАЗОВАНИЯ. 2025. № 15 (94 СТ.)
Текстовый фрагмент статьи
Моя история просмотров (10)
Будьте первым, кто начнет обсуждение

Если у вас возникли вопросы или появились предложения по содержанию статьи, пожалуйста, направляйте их в рамках данной темы.