Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) icon

Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения)



НазваниеПредложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения)
Дата конвертации28.08.2012
Размер194.96 Kb.
ТипДокументы

Предложение по дополнению в УДК в части оснований математики, логики и теории множеств (в процессе обсуждения)


Код

Индекс класса

Описание класса

Примечание

!

510.2 (?)

0. ОБЩИЕ ВОПРОСЫ ЛОГИКИ И ОСНОВАНИЙ МАТЕМАТИКИ




!

510.21 (510.21)

01. Философские проблемы логики




+

510.215 (510.2)

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







510.22

510.3







510.222

510.231







510.223

510.32 , 510.46







510.225

510.35







510.227

510.36




-

510.23 (иное\510.23)

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




+

510.24 (510.24)

04. Математический интуиционизм




-

510.25 (510.25)

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




-

510.252 (нет\510.
252)

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




-

510.254 (нет\510.254)

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

Раз уж есть, можно оставить

-

510.26 (нет\510.26)

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




!

510.27 (510.27?)

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




+

510.275 (в 510.27)

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




+

510.28 (нет)

08. Обратная математика




??

510.29 (нет)

09. Прочее в разделе 0

КАК назвать?













+

510.3 (510.22)

^ II. ТЕОРИЯ МНОЖЕСТВ




+

510.31 (510.222)

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




+

510.315 (нет)

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




+

510.32 (510.223)

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




+

510.322

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




+

510.324

224. Основные теоретико-множественные принципы




+

510.324.2

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




+

510.324.4

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




+

510.327 (нет\510.635.32)

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




+

510.328

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




+

510.33

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




+

510.332

232. Форсинг




+

510.334

233. Булевозначные модели




+

510.336

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




+

510.34

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




+

510.35 (510.225)

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




+

510.36 (510.227)

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




+

510.362

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




+

510.363

263. Ординалы




+

510.365

265. Кардиналы




+

510.367

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




+

510.368

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




+

510.37

27. Теория нестандартных множеств ((ДАТЬ ЛИ: Теория допустимых множеств? ИЛИ ТОЛЬКО В РЕКУРСИИ, 510.556 ?? ))

+

510.38

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




+

510.39

29. Прочее в теории множеств
















+

510.4(510.65)

III.ЛОГИКО-МАТЕМАТИЧЕСКИЕ ТЕОРИИ: АРИФМЕТИКА, АНАЛИЗ и др.




+

510.42 (510.652)

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




+

510.423 (нет)

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




+

510.425 (510.653\нет)

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




+

510.427 (510.676\нет)

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




+

510.428 (нет)

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




+

510.43 (нет)

33. Неклассические системы арифметики




+

510.435 (нет)

335. Интуиционистская арифметика




+

510.437 (нет)

337. Эпистемическая арифметика




+

510.44 (нет)

34. Прочее об аксиоматической арифметике




+

510.46 (в 510.223)

35. Аксиоматизация анализа




+

510.465 (нет)

36. Теория множеств вещественных чисел




+

510.47 (нет)

37. Нестандартные и неклассические системы анализа




+

510.472

372. Нестандартный анализ




+

510.475

375. Интуиционистские системы анализа




+

510.477

377. Конструктивный анализ и рекурсивный анализ




+

510.48

38. Прочее об аксиоматизации анализа




+

510.49

39. Иные логико-математические теории
















!

510.5 (510.5?)

^ IV. ТЕОРИЯ ВЫЧИСЛИМОСТИ

Проверить ссылки на Теор.киберн. 519.71

!

510.51 (510.51?)

41. Общие вопросы теории вычислимости




-

510.52 (510.52)

47. Сложность алгоритмов

ссылк. Мат.киберн. Сложн. алгоритмов 519.712.4

-

510.53 (510.53)

46. Алгоритмические проблемы




-

510.532 (нет\510.532)

462. Теория иерархий ((?)) [термин малоудачен: ‘калька’]

[ ЭТО ЧТО?? И не относится ли к 510.54? ХОТЯ В УДК тут! ]

+

510.535 (510.531\нет)

465. Алгоритмические сводимости




+

510.536 (510.532\нет)

466. Степени неразрешимости




-

510.54 (510.54)

45. Алгоритмическая теория множеств




+

510.545 (510.55\нет)

455. Теория нумераций

СЮДА ЛИ?? или куда ещё??

+

510.547 (510.674\нет)

457. Эффективно представленные структуры

‘калька’ = Конструктив-ные модели

+

510.55 (510.512\нет)

48. Обобщенная теория рекурсии




+

510.552 (нет)

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




+

510.554 (нет)

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




+

510.556 (нет)

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




+

510.557 (нет)

487. Ординальные обозначения. Конструктивные ординалы




-

510.56 (510.511\510.56)

42. Общая теория исчислений [ Системы Поста и др.; Формальные грамматики ]




+

510.565 (нет)

425. Системы переписывания термов

Term rewriting systems

-

510.57 (510.57)

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

ссылк. Мат.киберн. Рекурс.функции 519.716.37

+

510.575 (нет)

445. Субрекурсивные классы функций




+

510.58 (510.58?\нет)

43. Различные модели вычислений




+

510.582 (510.581\нет)

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




+

510.584 (510.648\нет)

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

+ Интуицио-нистская теория типов, как обобщение -исчисления ?НАДО ЛИ?

+

510.586 (нет)

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

ссылк. Мат.киберн. Теор.автоматов 519.713

+

510.589 (510.58\нет)

439. (Иные) Математические модели вычислительных процессов




+

510.59 (нет)

49. Прочее в теории рекурсии




























-

510.6 (510.6)

^ I. МАТЕМАТИЧЕСКАЯ ЛОГИКА

[ZBL: general logic?]

!

510.62 (510.62)

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







510.622

(Синтаксис логич.языков)

уходит за ненадобностью?

+

510.623 (нет)

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







510.624

(семантика логич.языков)

уходит за ненадобностью?

+

510.625 (нет)

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




+

510.627 (510.645)

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




+

510.627.3 (нет\510.645.3)

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




+

510.628 (510.645)

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




!

510.63 (510.63?)

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




!

510.633 (510.633)

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




+

510.633.3 (нет??)

123.3 Логическое представление булевых функций (?)

ссылк. в Алгебр. 512.653; + в Мат. киберн. 519.71 (??)

+

510.634 (нет)

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




!

510.635 (510.635)

125. Логика предикатов первого порядка







510.635.32

510.327




+

510.635.5 (нет)

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




+

510.635.8 (нет)

125.8 Цилиндрич. и полиадич. алгебры; Реляционные алгебры

(вАлг.нет?)

+

510.636 (в 510.63)

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




+

510.637 (510.637\нет)

127. Логики высших порядков




+

510.638 (510.677\нет)

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

Они сидели в теории моделей в РЖ и В ZBL; сколь это по сути? Если да, то где им лучше быть?

-

510.64 (510.64)

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




+

510.641 (нет)

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




+

510.642 (510.642\нет)

132. Интуиционистская и промежуточные логики




+

510.643 (510.643)

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




+

510.643.4 (в 510.643\нет)

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




+

510.643.6 (нет)

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




-

510.644 (510.644)

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

[ссылк.МатКиб.Многозн. лог 519.716.325 и др]

+

510.644.4 (в 510.644\нет)

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




+

510.644.8 (нет)

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

(или в 510.68??)

-

510.646 (нет\510.646)

154(?). Индуктивная логика

(в ZBL: вместе с вероятностной?)

-

510.647 (510.647)

152(?). Вероятностная логика




+

510.648 (занят\своб!) (нет)

14. Субструктурные логики




+

510.648.3 (нет)

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




+

510.648.5 (нет)

142. Линейная логика, исчисление Ламбека







510..649

(Другие логические системы) уходит в 510.69]







510.6

510.4







510.65

510.42







510.653

510.425







510.6

510.75, 510.825







510.66

510.75







510.66

510.825







510.67

510.8







510.671

510.825.5







510.674

510.547







510.675

510.83







510.676

510.427




+

510.68

15. Иные логические системы ????

[ Тут то, что уж очень не вмещается в тесноту 510.64, но все-таки распространено ]

+

510.683? (510.646\нет)

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




+

510.685 (510.641\нет)

155. Немонотонные логики. Логики знания

[? вместе ли?] [ Что сюда еще сунуть? (кроме того, что имеет номера УДК в 510.64) ]

+

510.69 (510.649)

19. Прочие логические системы

[Сюда всю мелочь и разную чушь??? ]

























+

510.7 (510.23\нет)

^ V. ТЕОРИЯ ДОКАЗАТЕЛЬСТВ




+

510.71 (510.231\нет)

51. Секвенциальные системы, устранение сечения




+

510.72 (нет)

52. Системы натурального вывода, нормализация




+

510.73 (нет)

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




+

510.74 (510.232\нет)

54. Сложность доказательств




+

510.75 (510.662)

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




+

510.752 (нет)

551. Метод резолюций




+

510.755 (510.663\нет)

555. Логическое программирование

(Это тут? Или отдельно?)

+

510.76 (нет)

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




+

510.77 (нет)

57.Применение ординалов в теории доказательств.Ординальный анализ(?)

[ Выделять ли? Или где-нибудь подразделом? Если да, то где? ]

+

510.79

59. Прочее в теории доказательств




























!

510.8 (510.67)

^ VI. ((МАТЕМАТИЧЕСКИЕ СИСТЕМЫ.)) ТЕОРИЯ МОДЕЛЕЙ










61. ????




+

510.82

62. ????




+

510.822 (510.672,3\нет)

622. Полнота и категоричность теорий




+

510.825 (нет\510.665)

625. Разрешимые и неразрешимые теории




+

510.825.5 (510.671\нет)

625.5. Элиминация кванторов




+

510.83 (510.675\нет)

63. Модели математических теорий




+

510.84 ((всё в 510.678\нет))

64. Определимость и иные близкие понятия




+

510.85

65. Теория классификации. Стабильность и др.




+

510.86

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




+

510.862

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




+

510.864

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




+

510.87

67. Классы моделей




+

510.872

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




+

510.874

674. Упорядоченные модели; о-минимальность




+

510.876

676. Счетные модели




+

510.877 (нет)

677. Теория конечных моделей




[[

510.878 (510.674\нет)

678. Конструктивные модели

^ УБРАТЬ В РЕКУРСИЮ 510.547??

+

510.88 (нет)

68. Неклассические модели




+

510.89

69. Прочее в теории моделей






КОММЕНТАРИИ: начальные значки: технич.,соотношение с прежней рубрикацией

( - содержание класса сохраняется

+ добавляется новый класс

! содержание и описание класса корректируется

содержание перенесено в класс …)

цифры без скобок с 510. : предлагаемый номер

цифры в скобках: старые номера, где есть (РЖ\УДК)

цифры 0.. – 6.. во второй колонке: вспомогательные (локальная сквозная нумерация)


ОСОБОЕ ВНИМАНИЕ ОБРАТИТЕ НА ВОПРОСЫ, СОМНЕНИЯ В НАЗВАНИЯХ итп

(например, 510.29; 510.633.3; 510.638; 510.644.8; 510.68, 510.685, в 510.37?; в 510.584?;

510.545; 510.532, 510.755; 510.77; 510.82???; 510.878???;


ИЛИ ЕСЛИ ЕСТЬ ИНЫЕ ПРЕДЛОЖЕНИЯ, СООБРАЖЕНИЯ И КОРРЕКЦИИ,

ВАРИАНТЫ НАЗВАНИЙ (пока можно попробовать скорректировать, заодно) – пишите nomoip@viniti.ru


СПАСИБО!




Похожие:

Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) iconКлючевые понятия теории нечетких множеств
Однако некоторые важные формализмы, которые необходимы для нашего рассмотрения, опущены. Поэтому оказывается необходимым в порядке...
Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) iconАлгебра логики Мышление Логика – наука о формах и способах мышления
Алгебра логики- раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности)...
Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) iconПредложение Предложение
Предложение – это наименьшая единица общения. При помощи предложения мы выражаем свои мысли, чувства
Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) iconЗдоровьесбережение в процессе преподавания математики
Сборник содержит рекомендации по организации урока математики с применением здоровьесберегающих технологий, гигиенические критерии...
Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) icon«Совершенствование классификационных систем винити (в части Рубрикатора отраслей знания, рубрикаций информационных продуктов винити и удк)»

Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) iconЭлементы теории множеств
В повседневной жизни постоянно различные совокупности предметов называют одним словом. Совокупность документов называют архивом,...
Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) iconТема урока: «Основы логики. Алгебра высказываний»
Цель урока: обучающая Познакомить учащихся с основными понятиями логики, алгебры высказываний, с основными законами логики при упрощении...
Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) iconТема урока: «Основы логики. Алгебра высказываний»
Цель урока: обучающая Познакомить учащихся с основными понятиями логики, алгебры высказываний, с основными законами логики при упрощении...
Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) iconПрограмма экзамена по курсу «Теоретические основы начального курса математики» для студентов 4 курса (после 3 семестра). Понятие множества и элемента множества. Способы задания множеств
Программа экзамена по курсу «Теоретические основы начального курса математики» для студентов 4 курса после 3
Предложение по дополнению в удк в части оснований математики, логики и теории множеств (в процессе обсуждения) iconКонкурс «А ну ка, математики!» Составили: учителя математики Сорокина Н. В., Шагова Т. В
Велико значение математики в повседневной жизни человека. Математика возникла из повседневной практики, из жизненных нужд людей в...
Разместите кнопку на своём сайте:
Документы


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

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