скачать индекс УДК 004.423.4: удобные таблицы УДК и ББК классификаторов
Семантика программ - онлайн УДК и ББК классификаторы для ВАКа
выше по структуре
классификация УДК
индекс УДК
описание
примечания
004.423.42
Операционная семантика
004.423.43
Денотационная семантика
004.423.45
Алгебраическая семантика
004.423.46
Аксиоматическая семантика
скачать официальные таблицы ББК (Библиотечно-библиографической класификации)
скачать официальные таблицы УДК (Универсальной десятичной класификации)
скачать таблицу Excel с кодами УДК (Универсальной десятичной класификации)