Choice of metadata Electronic Library
Page 2, Results: 27
Report on unfulfilled requests: 0
11.
Подробнее
22.12
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс / И. А. Лавров, Л. Л. Максимова. - М. : Физ.-мат. лит-ра, 1995. - 246 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов -- задачи по теории множеств -- задачи по математической логике -- задачи по теории алгоритмов
Доп.точки доступа:
Максимова, Л.Л.
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс / И. А. Лавров, Л. Л. Максимова. - М. : Физ.-мат. лит-ра, 1995. - 246 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов -- задачи по теории множеств -- задачи по математической логике -- задачи по теории алгоритмов
Доп.точки доступа:
Максимова, Л.Л.
12.
Подробнее
22.18
Л73
Локшин, А. А.
Математическая смесь [Электронный ресурс] / А. А. Локшин, Е. А. Иванова. - М. : МАКС Пресс, 2015. - 112 с. - Б. ц.
ББК 22.18
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая индукции -- математическая логика -- мысленное моделирование
Доп.точки доступа:
Иванова, Е.А.
Л73
Локшин, А. А.
Математическая смесь [Электронный ресурс] / А. А. Локшин, Е. А. Иванова. - М. : МАКС Пресс, 2015. - 112 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая индукции -- математическая логика -- мысленное моделирование
Доп.точки доступа:
Иванова, Е.А.
13.
Подробнее
22.18
Л85
Лупанов, О. Б.
Математические вопросы кибернетики [Электронный ресурс] : сборник статей. Вып.14 / О. Б. Лупанов. - М. : Физматлит, 2005. - 288 с. - Б. ц.
ББК 22.18
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА
Кл.слова (ненормированные):
математическая логика -- дискретная математика -- математическая кибернетика
Л85
Лупанов, О. Б.
Математические вопросы кибернетики [Электронный ресурс] : сборник статей. Вып.14 / О. Б. Лупанов. - М. : Физматлит, 2005. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА
Кл.слова (ненормированные):
математическая логика -- дискретная математика -- математическая кибернетика
14.
Подробнее
22,1
Н13
Набеин, А. А.
Математическая логика и теория алгоритмов [Электронный ресурс] / А. А. Набеин. - М. : [б. и.], Б. г. - 2004 с. - Б. ц.
ББК 22,1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математическая логика
Н13
Набеин, А. А.
Математическая логика и теория алгоритмов [Электронный ресурс] / А. А. Набеин. - М. : [б. и.], Б. г. - 2004 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математическая логика
15.
Подробнее
22.171
Н16
Нагель, Э.
Теорема Геделя [Электронный ресурс] : учебное пособие / Э. Нагель. - М. : КРАСАНД, 2010. - 120 с. - Б. ц.
ББК 22.171
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
проблема непротиворечивости -- теорема Геделя -- математическая логика
Н16
Нагель, Э.
Теорема Геделя [Электронный ресурс] : учебное пособие / Э. Нагель. - М. : КРАСАНД, 2010. - 120 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
проблема непротиворечивости -- теорема Геделя -- математическая логика
16.
Подробнее
22.1
П34
Писаревский, Б. М.
Беседы о математике и математиках [Электронный ресурс] / Б. М. Писаревский, В. Т. Харин. - М. : ФИЗМАТЛИТ, 2004. - 208 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- математика -- математики
Доп.точки доступа:
Харин, В.Т.
П34
Писаревский, Б. М.
Беседы о математике и математиках [Электронный ресурс] / Б. М. Писаревский, В. Т. Харин. - М. : ФИЗМАТЛИТ, 2004. - 208 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- математика -- математики
Доп.точки доступа:
Харин, В.Т.
17.
Подробнее
22.12
П39
Плотников, А. Д.
Дискретная математика [Электронный ресурс] / А. Д. Плотников. - М. : Новое знание, 2005. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- теория графов -- элементы алгебры -- математическая логика
П39
Плотников, А. Д.
Дискретная математика [Электронный ресурс] / А. Д. Плотников. - М. : Новое знание, 2005. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- теория графов -- элементы алгебры -- математическая логика
18.
Подробнее
Попов, А. И.
Введение математическую логику [Электронный ресурс] : учебник / А. И. Попов. - Л. : Издательство Ленинградского Университета, 1959. - 109 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра логики -- Дж. Буль -- Порецкий,П.С. -- Жегалкин,И.И. -- математическая логика -- математические модели
Попов, А. И.
Введение математическую логику [Электронный ресурс] : учебник / А. И. Попов. - Л. : Издательство Ленинградского Университета, 1959. - 109 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебра логики -- Дж. Буль -- Порецкий,П.С. -- Жегалкин,И.И. -- математическая логика -- математические модели
19.
Подробнее
22.17
С60
Соловьев, В. И.
Математика в общественной сфере [Электронный ресурс] : рабочая тетрадь студента / В. И. Соловьев, В. Н. Калинина. - Москва : [б. и.], 2005. - 131 с. - Б. ц.
ББК 22.17
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- логические возможности -- финансовая математика
Доп.точки доступа:
Калинина, В.Н.
С60
Соловьев, В. И.
Математика в общественной сфере [Электронный ресурс] : рабочая тетрадь студента / В. И. Соловьев, В. Н. Калинина. - Москва : [б. и.], 2005. - 131 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- логические возможности -- финансовая математика
Доп.точки доступа:
Калинина, В.Н.
20.
Подробнее
22.12
Т21
Тарский, А.
Введение в логику и методологию дедуктивных наук [Электронный ресурс] : научное издание / пер. с англ.О.Н. Дынник; ред. С.А. Яновской. - М. : Гос. изд-во ин. лит., 1948. - 327 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- дедукция -- теория тождества
Т21
Тарский, А.
Введение в логику и методологию дедуктивных наук [Электронный ресурс] : научное издание / пер. с англ.О.Н. Дынник; ред. С.А. Яновской. - М. : Гос. изд-во ин. лит., 1948. - 327 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- дедукция -- теория тождества
Page 2, Results: 27