Choice of metadata Аналитическая роспись статей
Page 1, Results: 2
Report on unfulfilled requests: 0
1.
Подробнее
Розин, Вадим Маркович (доктор философских наук; профессор).
Построение оснований мышления и логики: программы Г. Лейбница и Д. Гильберта = Construction of thinking and logic foundations: programs of Leibniz and Hilbert / В. М. Розин // Идеи и Идеалы = Ideas and Ideals. - 2017. - № 2 (32), Т. 1. - С. 36-46. - Библиогр.: с. 45 (11 назв.) . - ISSN 2075-0862
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
алгебраическая логика -- математизация мышления -- металогика -- символическая логика
Аннотация: Рассматривается программа математизации мышления, предложенная Г. Лейбницем, и программа обоснования математики Д. Гильберта.
Розин, Вадим Маркович (доктор философских наук; профессор).
Построение оснований мышления и логики: программы Г. Лейбница и Д. Гильберта = Construction of thinking and logic foundations: programs of Leibniz and Hilbert / В. М. Розин // Идеи и Идеалы = Ideas and Ideals. - 2017. - № 2 (32), Т. 1. - С. 36-46. - Библиогр.: с. 45 (11 назв.) . - ISSN 2075-0862
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
алгебраическая логика -- математизация мышления -- металогика -- символическая логика
Аннотация: Рассматривается программа математизации мышления, предложенная Г. Лейбницем, и программа обоснования математики Д. Гильберта.
2.
Подробнее
Яковлева, Галина Викторовна (кандидат технических наук).
Математическая предметная классификация как основа модификации Средних таблиц ББК / Г. В. Яковлева = Mathematical Subject Classification as the Basis for Modification of the LBC Medium Schedules // Библиотековедение. - 2025. - Т. 74, № 1. - С. 37-45 : портр. - Библиогр.: с. 42-43 . - ISSN 0869-608X
Рубрики: Библиотечное дело
Каталогизация
Кл.слова (ненормированные):
MSC -- Mathematics Subject Classification -- ББК -- библиотечно-библиографическая классификация -- логика -- математика -- математическая логика -- математическая предметная классификация -- математические исследования -- математическое программирование -- размежевание литературы -- символическая логика -- систематизация литературы -- средние таблицы ББК -- универсальная алгебра -- физико-математические науки
Аннотация: В статье рассматривается проблематика математических исследований в Математической предметной классификации (Mathematics Subject Classification, MSC) и в Библиотечно-библиографической классификации (ББК), признанной национальной классификационной системой России. Представлены предложения переработки подраздела математики в комплексе физико-математических наук для решения задачи по разработки научной концепции второго издания Средних таблиц ББК. Даны особенности размежевания литературы внутри подраздела и между другими отделами Средних таблиц ББК. Проанализированы сложные случаи размежевания литературы между математикой и логикой и предложены пути преодоления этих проблем. Проведено размежевание литературы по математическому программированию, программированию на ЭВМ, созданию веб-сайтов для конечного пользователя, не имеющего подготовки в области программирования.
Яковлева, Галина Викторовна (кандидат технических наук).
Математическая предметная классификация как основа модификации Средних таблиц ББК / Г. В. Яковлева = Mathematical Subject Classification as the Basis for Modification of the LBC Medium Schedules // Библиотековедение. - 2025. - Т. 74, № 1. - С. 37-45 : портр. - Библиогр.: с. 42-43 . - ISSN 0869-608X
Рубрики: Библиотечное дело
Каталогизация
Кл.слова (ненормированные):
MSC -- Mathematics Subject Classification -- ББК -- библиотечно-библиографическая классификация -- логика -- математика -- математическая логика -- математическая предметная классификация -- математические исследования -- математическое программирование -- размежевание литературы -- символическая логика -- систематизация литературы -- средние таблицы ББК -- универсальная алгебра -- физико-математические науки
Аннотация: В статье рассматривается проблематика математических исследований в Математической предметной классификации (Mathematics Subject Classification, MSC) и в Библиотечно-библиографической классификации (ББК), признанной национальной классификационной системой России. Представлены предложения переработки подраздела математики в комплексе физико-математических наук для решения задачи по разработки научной концепции второго издания Средних таблиц ББК. Даны особенности размежевания литературы внутри подраздела и между другими отделами Средних таблиц ББК. Проанализированы сложные случаи размежевания литературы между математикой и логикой и предложены пути преодоления этих проблем. Проведено размежевание литературы по математическому программированию, программированию на ЭВМ, созданию веб-сайтов для конечного пользователя, не имеющего подготовки в области программирования.
Page 1, Results: 2