Математическая логика и основания математики — КиберПедия 

История развития хранилищ для нефти: Первые склады нефти появились в XVII веке. Они представляли собой землянные ямы-амбара глубиной 4…5 м...

Археология об основании Рима: Новые раскопки проясняют и такой острый дискуссионный вопрос, как дата самого возникновения Рима...

Математическая логика и основания математики

2022-12-30 34
Математическая логика и основания математики 0.00 из 5.00 0 оценок
Заказать работу

УДК 510

ВАК 01.01.06

Общие проблемы математической логики и основания математики

27.03.15 (Основания математики)

(Исключено с 2006. Перенесено в 27.03.02)

27.03.17 (Алгоритмы и вычислимые функции)

(Исключено с 2006. Перенесено в 27.03.45)

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

УДК 510.6

Теория множеств

Формализация традиционных математических теорий (арифметики, анализа и др.)

Теория вычислимости

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

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

Теория чисел

УДК 511

ВАК 01.01.06

Элементарная арифметика

УДК 511.1

ВАК 01.01.06

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

УДК 511.1

ВАК 01.01.06

Аналитическая теория чисел

УДК 511.3

ВАК 01.01.06

Аддитивная теория чисел. Формы

УДК 511.34

ВАК 01.01.06

Диофантовы уравнения

УДК 511.5

ВАК 01.01.06

Алгебраическая теория чисел (поля алгебраических чисел)

УДК 511.2

ВАК 01.01.06

Геометрия чисел

УДК 511.48

ВАК 01.01.06, 01.01.04

Алгебра

УДК 512

ВАК 01.01.06

Полугруппы

УДК 512.53

Группы

УДК 512.54

Кольца и модули

УДК 512.55

Структуры

УДК 512.56

Универсальные алгебры

УДК 512.57

Категории

УДК 512.58

Поля и многочлены

УДК 512.62

Линейная алгебра

УДК 512.64

Гомологическая алгебра

УДК 512.66

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

УДК 512.7

Группы Ли

УДК 512.81

Топология

УДК 515.1

ВАК 01.01.04

Общая топология

УДК 515.12

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

УДК 515.14

Топология многообразий

УДК 515.16

Аналитические пространства

УДК 515.17

Геометрия

УДК 514

ВАК 01.01.04

Геометрия в пространствах с фундаментальными группами

УДК 514.1

ВАК 01.01.04

Отс. от 81.14.10 Геометрическое моделирование. Методы начертательной геометрии

Алгебраические и аналитические методы в геометрии

УДК 514.74

ВАК 01.01.04, 01.01.01, 01.01.06

Дифференциальная геометрия

УДК 514.7

ВАК 01.01.04, 01.01.02

Геометрическое исследование объектов естественных наук и техники

УДК 514.8

ВАК 01.01.04

Применение геометрических методов в техническом проектировании и конструировании

см. 81.14.10 Геометрическое моделирование. Методы начертательной геометрии

Математический анализ

УДК 517

ВАК 01.01.01

27.23.15 Введение в анализ и некоторые специальные вопросы анализа

УДК 517.1

ВАК 01.01.01

Дифференциальное и интегральное исчисление

УДК 517.2/.3

ВАК 01.01.01, 01.01.02

Функциональные уравнения и теория конечных разностей

УДК 517.962/.965

ВАК 01.01.01

27.23.21 Интегральные преобразования. Операционное исчисление

УДК 517.44

ВАК 01.01.01

Ряды и последовательности

УДК 517.52

ВАК 01.01.01

Специальные функции

УДК 517.58

ВАК 01.01.01

Теория функций действительного переменного

УДК 517.51

ВАК 01.01.01

Дескриптивная теория функций

УДК 517.517

Метрическая теория функций

УДК 517.518

Теория приближений

УДК 517.518.8

Теория функций комплексных переменных

УДК 517.53/.55

ВАК 01.01.01

Функции одного комплексного переменного

УДК 517.53

27.27.17 Конформное отображение и геометрические вопросы теории функций комплексных переменных. Аналитические функции и их обобщения

УДК 517.54

Функции многих комплексных переменных

УДК 517.55

Гармонические функции и их обобщения

УДК 517.57

Обыкновенные дифференциальные уравнения

УДК 517.91/.93

ВАК 01.01.02

Общая теория обыкновенных диффе-ренциальных уравнений и систем уравнений

УДК 517.91

Качественная теория обыкновенных дифференциальных уравнений и систем уравнений

УДК 517.925/.926; 517.938

Краевые задачи и задачи на собствен-ные значения для обыкновенных дифферен-циальных уравнений и систем уравнений

УДК 517.927

Аналитическая теория обыкновенных дифференциальных уравнений и систем уравнений

УДК 517.925

Асимптотические методы в теории обыкновенных дифференциальных уравнений и систем уравнений

УДК 517.928

Дифференциально-функциональные и дискретные уравнения и системы уравнений с одной независимой переменной

УДК 517.929

Уравнения аналитической механики, математическая теория управления движением

УДК 517.93

Дифференциальные уравнения с частными производными

УДК 517.95

ВАК 01.01.02

Общая теория дифференциальных уравнений и систем уравнений с частными производными

УДК 517.951

Линейные и квазилинейные уравне-ния и системы уравнений

УДК 517.956

27.31.19 (Асимптотическое поведение решений)

(Исключено с 2006. Перенесено в 27.31.55)

Нелинейные уравнения и системы уравнений

УДК 517.957

Общие уравнения первого порядка

Общие уравнения высших порядков

Краевые задачи. Общая теория

Задача Коши

Интегральные уравнения

УДК 517.968

ВАК 01.01.01, 01.01.02

Линейные интегральные уравнения

УДК 517.968.2

Нелинейные интегральные уравнения

УДК 517.968.4

Интегро-дифференциальные уравнения

УДК 517.968.7

Математические модели естественных наук и технических наук. Уравнения математической физики

УДК 517.958:5

ВАК 01.01.03

Примечание. Математическое моделирование отражается также в соответствующих рубриках с окончанием кода ХХ.01.77 и ХХ.77

Математические модели аэро- и гидромеханики

УДК 517.958:532/533

ВАК 01.01.03, 01.02.05

27.35.15 (Математические модели аэро- и гидромеханики и акустики)

(Исключено с 1996. Перенесено в 27.35.14, 27.35.16)

Математические модели акустики

УДК 517.958:534

ВАК 01.01.03, 01.04.06

Математические модели газовой динамики

УДК 517.958:533.7

ВАК 01.01.03, 01.02.05

Задачи обтекания

УДК 517.958:533.6.011

ВАК 01.01.03, 01.02.05, 05.07.01


Поделиться с друзьями:

Механическое удерживание земляных масс: Механическое удерживание земляных масс на склоне обеспечивают контрфорсными сооружениями различных конструкций...

Автоматическое растормаживание колес: Тормозные устройства колес предназначены для уменьше­ния длины пробега и улучшения маневрирования ВС при...

Типы сооружений для обработки осадков: Септиками называются сооружения, в которых одновременно происходят осветление сточной жидкости...

Таксономические единицы (категории) растений: Каждая система классификации состоит из определённых соподчиненных друг другу...



© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!

0.008 с.