Справочники Автор неизвестен - Универсальная десятичная классификация (УДК)

510.53 — Алгоритмические проблемы; алгоритмическая теория множеств

510.532 — Иерархии алгоритмических проблем и классов множеств

510.535 — Алгоритмические сводимости; степени неразрешимости (и другие виды степеней)

510.54 — Теория нумераций

510.55 — Обобщенная теория рекурсии

510.552 — Непрерывные и вычислимые функционалы

510.554 — Индуктивная определимость

510.556 — Вычислимость на абстрактных структурах (ординалах, допустимых множествах и др.)

510.557 — Ординальные обозначения; конструктивные ординалы

510.56 — Общая теория исчислений

510.565 — Системы переписывания термов

510.567 — Формальные грамматики

510.57 — Вычислимые (рекурсивные) функции

510.575 — Субрекурсивные иерархии: классы рекурсивных функций

510.58 — Различные модели вычислений

510.582 — Машины Тьюринга и др.

510.584 — Ламбда-исчисление и комбинаторная логика

510.586 — Автоматы и их логические приложения

510.589 — Математические модели вычислительных процессов

510.59 — Другие вопросы теории вычислимости

510.598 — Приложения теории вычислимости

510.6 — Математическая логика

510.62 — Логические и логико-математические языки

510.623 — Теория логического следования

510.625 — Логические исчисления

510.627 — Формализации традиционных логик

510.627.3 — Силлогистика

510.628 — Приложения логических исчислений

510.63 — Классическая логика

510.633 — Классическая логика высказываний

510.633.3 — Булевы функции

510.634 — Логика высказываний второго порядка

510.635 — Классическая логика предикатов первого порядка

510.635.5 — Обобщенные кванторы

510.635.8 — Цилиндрические и полиадические алгебры; реляционные алгебры

510.636 — Классические логические теории

510.637 — Предикатные логики высших порядков

510.638 — Инфинитарные языки и логики

510.64 — Неклассические логики

510.641 — Импликативные исчисления

510.642 — Интуиционистская и суперинтуиционистские логики

510.642.5 — Подсистемы интуиционистской логики

510.643 — Модальные логики

510.643.3 — Временные логики

510.643.5 — Динамические логики

510.643.7 — Логики доказуемости

510.644 — Многозначные логики

510.644.4 — Нечеткие логики и нечеткие множества

510.644.7 — Паранепротиворечивые логики

510.646 — Индуктивная логика

510.647 — Вероятностная логика

510.648 — Подструктурные логики

510.648.3 — Релевантные логики

510.648.5 — Линейная логика

510.648.6 — Исчисление Ламбека

510.648.7 — Категорные логики

510.68 — Логические системы, связанные с приложениями

510.683 — Квантовая логика

510.685 — Немонотонные логики

510.687 — Логики знания

510.69 — Другие логические системы

510.7 — Теория доказательств

510.71 — Общие вопросы теории доказательств

510.72 — Различные системы доказательств

510.722 — Исчисления гильбертовского типа

510.724 — Секвенциальные исчисления; устранение сечения

510.725 — Исчисления натурального вывода; нормализация

510.727 — Семантические (аналитические) таблицы

510.74 — Сложность доказательств

510.75 — Поиск вывода в логических исчислениях

510.752 — Метод резолюций

510.755 — Логическое программирование

510.757 — Поиск вывода в эквациональных теориях

510.76 — Интерпретации и относительная непротиворечивость

510.77 — Применение ординалов в теории доказательств. Ординальный анализ

510.79 — Другие вопросы теории доказательств

510.8 — Математические структуры. Теория моделей

510.81 — Общие вопросы теории моделей

510.82 — Аксиоматические теории

510.822 — Полнота и категоричность теорий; модельная полнота

510.825 — Разрешимые и неразрешимые теории

510.825.5 — Элиминация кванторов

510.83 — Модели математических теорий

510.84 — Определимость и иные близкие понятия; геометрическая теория моделей

510.85 — Теория классификации; стабильность

510.86 — Теоретико-модельные конструкции

510.862 — Ультрапроизведения и близкие конструкции

510.864 — Теоретико-модельный форсинг

510.87 — Классы моделей

510.872 — Модели со специальными свойствами (насыщенные и др.)

510.874 — Упорядоченные модели; o-минимальность

510.876 — Счетные модели

510.877 — Теория конечных моделей

510.878 — Конструктивные модели

510.88 — Неклассические модели

510.89 — Другие вопросы теории моделей

510.893 — Теоретико-категорные методы в теории моделей

510.898 — Приложения теории моделей

511 — Теория чисел

511.1 — Арифметика. Элементарная теория чисел

511.11 — Построение числовых систем (натуральные числа, целые числа, рациональные числа, вещественные числа, комплексные числа). Системы счисления

511.12 — Целые числа и действия с ними (сложение, вычитание, умножение, деление)

511.13 — Множители. Дроби и отношения. Пропорции. Проценты

511.14 — Корни и их извлечение. Иррациональные и другие несоизмеримые числа (элементарная трактовка). Иррациональные корни. Рациональные приближения. Мнимые числа. Комплексные числа

511.17 — Элементарная теория чисел

511.172 — Мультипликативная структура кольца целых чисел (включая делимость, наименьшее общее кратное, наибольший общий делитель, сравнения, степенные вычеты, квадратичные вычеты)

511.174 — Арифметические функции (элементарная теория)

511.176 — Числовые последовательности (включая ряды Фарея). Специальные числа и многочлены (включая числа и многочлены Бернулли)

511.178 — Комбинаторная теория чисел (включая элементарные методы теории разбиений)

511.2 — Алгебраическая теория чисел

511.22 — Локальные поля

511.221 — Мультипликативная группа и кольцо целых чисел локального поля как модули Галуа

511.222 — Фильтрации и ветвление

511.223 — Локальная теория полей классов. Законы взаимности

511.224 — Представления Галуа для локальных полей

511.225 — Неархимедов анализ

511.225.1 — p-адические аналитические функции

511.225.2 — p-адические банаховы алгебры

511.225.3 — Специальные p-адические функции

511.23 — Поля алгебраических чисел

511.231 — Изолированные вопросы теории полей алгебраических чисел

511.232 — Асимптотическое распределение полей

511.233 — Дискриминанты полей алгебраических чисел

511.234 — Группы классов дивизоров. Числа классов дивизоров

511.235 — Специальные классы полей

511.235.1 — Поля малых степеней

511.235.2 — Параметрические свойства полей

511.236 — Теория полей классов

511.236.1 — Абелевы и круговые поля

511.236.2 — Абелевы расширения квадратичных полей. Поля с комплексным умножением

511.236.3 — Г-расширения полей

511.236.4 — Группа Брауэра поля алгебраических чисел

511.237 — Неабелевы обобщения теории полей классов

511.237.1 — Законы разложения в неабелевых полях

511.237.2 — Представления Галуа для полей алгебраических чисел

511.238 — Теория Галуа для полей алгебраических чисел

511.238.1 — Кольца целых чисел и идеалы как модули Галуа