Рубрикатор icon

Рубрикатор



НазваниеРубрикатор
страница1/22
Дата конвертации17.07.2012
Размер3.8 Mb.
ТипДокументы
  1   2   3   4   5   6   7   8   9   ...   22


РОССИЙСКАЯ АКАДЕМИЯ НАУК


ВСЕРОССИЙСКИЙ ИНСТИТУТ НАУЧНОЙ И ТЕХНИЧЕСКОЙ ИНФОРМАЦИИ

(ВИНИТИ РАН)




РУБРИКАТОР




ИНФОРМАЦИОННЫХ ИЗДАНИЙ




ВИНИТИ



(РВИНИТИ)


Математика и вычислительные науки


Москва

2008

Математика и вычислительные науки (01)



Код

Наименование рубрики

УДК

271

Математика

УДК 51

271.01

Общие вопросы математики

УДК 510

271.01.01

Руководящие материалы

УДК 51(094)

271.01.05

Материалы общего характера

УДК 51:001

271.01.05.15

Философия и методология математики

УДК 51:1

271.01.05.17

Классификация математической науки

УДК 51:168.2

271.01.09

История математики. Персоналии

УДК 51(09)

271.01.09.15

История математики

УДК 51(091)

271.01.09.17

Персоналии

УДК 51(092)

271.01.13

Научные общества, съезды, конгрессы, конференции, симпозиумы, семинары

УДК 51:001.32; 51:005.745

271.01.17

Международное сотрудничество

УДК 51:001.83

271.01.
21

Организация научно-исследовательских работ

УДК 51:001.891

271.01.29

Информационная деятельность

УДК 51:002

271.01.33

Терминология. Справочная литература. Учебная литература

УДК 51:001.4; 51(075); 51(03)

271.01.33.02

Монографии

УДК 51(02)

271.01.33.03

Справочная литература

УДК 51(03)

271.01.33.05

Новые журналы и повторяющиеся издания

УДК 51(05)

271.01.33.06

Публикации учреждений и организаций (коллективов)

УДК 51(06)

271.01.33.07

Учебно-педагогическая литература

УДК 51(07)

271.01.33.15

Вопросы математической терминологии

УДК 51:001.4

271.01.79

Кадры в математике.

УДК 51:37; 51-051

271.01.79.17

Популяризация математической науки

УДК 51:001.92

271.03

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

УДК 510

271.03.02

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

УДК 510.2

271.03.02.07

Философские проблемы математической логики

УДК 510.2:1

271.03.02.15

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

УДК 510.20

271.03.02.15.15

Теоретико-категорные основания математики

УДК 510.205

271.03.02.33

Формализм (математические аспекты)

УДК 510.23

271.03.02.44

Интуиционистская математика

УДК 510.24

271.03.02.55

Конструктивная математика

УДК 510.25

271.03.02.55.22

Языки конструктивной математики

УДК 510.252

271.03.02.55.44

Конкретные конструктивные теориии

УДК 510.254

271.03.02.66

Логический позитивизм

УДК 510.26

271.03.02.77

Логическая семантика. Теория истинности

УДК 510.27

271.03.02.77.55

Логические и семантические антиномии

УДК 510.275

271.03.02.88

Приложения математической логики

УДК 510.28

271.03.02.88.50

Приложения математической логики в вычислительных науках

УДК 510.285

271.03.02.88.70

Логический анализ естественного языка

УДК 510.287

271.03.02.99

Другие проблемы математической логики и оснований математики

УДК 510.29

271.03.19

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

УДК 510.6

271.03.19.17

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

УДК 510.62

271.03.19.17.33

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

УДК 510.623

271.03.19.17.55

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

УДК 510.625

271.03.19.17.77

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

УДК 510.627

271.03.19.17.77.33

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

УДК 510.627.3

271.03.19.17.88

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

УДК 510.628

271.03.19.19

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

УДК 510.63

271.03.19.19.19

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

УДК 510.633

271.03.19.19.19.33

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

УДК 510.633.3

271.03.19.19.24

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

УДК 510.634

271.03.19.19.25

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

УДК 510.635

271.03.19.19.25.55

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

УДК 510.635.5

271.03.19.19.25.80

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

УДК 510.635.8

271.03.19.19.31

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

УДК 510.637

271.03.19.20

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

УДК 510.636

271.03.19.21

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

УДК 510.64

271.03.19.21.14

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

УДК 510.641

271.03.19.21.17

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

УДК 510.642

271.03.19.21.17.50

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

УДК 510.642.5

271.03.19.21.19

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

УДК 510.643

271.03.19.21.19.30

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

УДК 510.643.3

271.03.19.21.19.50

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

УДК 510.643.5

271.03.19.21.19.70

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

УДК 510.643.7

271.03.19.21.21

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

УДК 510.644

271.03.19.21.21.40

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

УДК 510.644.4

271.03.19.21.21.70

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

УДК 510.644.7

271.03.19.21.28

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

УДК 510.646

271.03.19.21.31

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

УДК 510.647

271.03.19.21.34

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

УДК 510.648

271.03.19.21.34.30

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

УДК 510.648.3

271.03.19.21.34.50

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

УДК 510.648.5

271.03.19.21.34.60

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

УДК 510.648.6

271.03.19.21.34.70

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

УДК 510.648.7

271.03.19.23

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

УДК 510.638

271.03.19.80

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

УДК 510.68

271.03.19.80.30

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

УДК 510.683

271.03.19.80.50

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

УДК 510.685

271.03.19.80.70

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

УДК 510.687

271.03.19.99

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

УДК 510.69

271.03.33

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

УДК 510.3

271.03.33.11

Наивная теория множеств

УДК 510.31

271.03.33.11.55

Алгебра множеств. Функции и отношения

УДК 510.315

271.03.33.22

Аксиоматическая теория множеств

УДК 510.32

271.03.33.22.22

Основные аксиоматические системы теории множеств

УДК 510.322

271.03.33.22.22.22

Теория множеств Цермело - Френкеля и близкие системы

УДК 510.322.2

271.03.33.22.22.44

Теория типов и близкие системы

УДК 510.322.4

271.03.33.22.22.55

Теория множеств NF Куайна и близкие системы

УДК 510.322.5

271.03.33.22.55

Теоретико-множественные принципы

УДК 510.325

271.03.33.22.55.22

Аксиома выбора, аксиома детерминированности и т.п.

УДК 510.325.2

271.03.33.22.55.44

Континуум-гипотеза, аксиома Мартина и т.п.

УДК 510.325.4

271.03.33.22.77

Совместность и независимость в теории множеств

УДК 510.327

271.03.33.22.99

Другие аксиоматические системы теории множеств

УДК 510.329

271.03.33.33

Теоретико-множественные конструкции

УДК 510.33

271.03.33.33.22

Форсинг

УДК 510.332

271.03.33.33.44

Булевозначные и иные близкие модели

УДК 510.334

271.03.33.33.66

Внутренние модели теории множеств

УДК 510.336

271.03.33.44

Комбинаторная теория множеств

УДК 510.34

271.03.33.44.40

Партиционное исчисление (исчисление разбиений)

УДК 510.344

271.03.33.44.60

Фильтры, ультрафильтры, pcf-теория

УДК 510.346

271.03.33.55

Дескриптивная теория множеств

УДК 510.35

271.03.33.66

Теория порядковых типов, ординальных и кардинальных чисел

УДК 510.36

271.03.33.66.22

Теория упорядоченных множеств

УДК 510.362

271.03.33.66.33

Ординалы

УДК 510.363

271.03.33.66.55

Кардиналы

УДК 510.365

271.03.33.66.77

Мощностные характеристики континуума

УДК 510.367

271.03.33.66.88

Большие кардиналы

УДК 510.368

271.03.33.77

Нестандартная теория множеств

УДК 510.37

271.03.33.88

Теории множеств, основанные на неклассических логиках

УДК 510.38

271.03.33.88.30

Интуиционистская теория множеств

УДК 510.383

271.03.33.88.40

Интуиционистская теория типов

УДК 510.384

271.03.33.99

Другие вопросы теории множеств

УДК 510.39

271.03.33.99.30

Теоретико-категорные методы в теории множеств

УДК 510.393

271.03.33.99.80

Приложения теории множеств

УДК 510.398

271.03.40

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

УДК 510.4

271.03.40.31

Формальная арифметика

УДК 510.42

271.03.40.31.20

Фрагменты и подсистемы арифметики

УДК 510.422

271.03.40.31.40

Арифметика второго и высших порядков

УДК 510.424

271.03.40.31.60

Модели арифметики

УДК 510.426

271.03.40.31.70

Арифметическая определимость

УДК 510.427
  1   2   3   4   5   6   7   8   9   ...   22




Похожие:

Рубрикатор iconРубрикатор винити по математике и вычислительным наукам
Научные общества, съезды, конгрессы, конференции, симпозиумы, семинары удк 51: 061. 2/. 3
Рубрикатор icon7 49-2007 национальный стандарт российской федерации Система стандартов по информации, библиотечному и издательскому делу государственный рубрикатор научно-технической информации структура, правила использования и ведения
Цели и принципы стандартизации Российской Федерации установлены Федеральным законом от 27 декабря 2002 г. №184-фз «О техническом...
Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©podelise.ru 2000-2014
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы

Разработка сайта — Веб студия Адаманов