База данных: Электронная библиотека
Страница 1, Результатов: 80
Отмеченные записи: 0
1.
Подробнее
H86
Hrbacek, K.
Introduction to set theory [Electronic resource] : научное издание / K. Hrbacek, T. Jech. - New York; Basel : Marcel Dekker, Inc., 1999. - 291 p. - ). - Б. ц.
ББК 22.12
Рубрики: Foundations of Mathematics. Logic
Кл.слова (ненормированные):
set theory -- natural numbers -- ordinal numbers
Доп.точки доступа:
Jech, T.
H86
Hrbacek, K.
Introduction to set theory [Electronic resource] : научное издание / K. Hrbacek, T. Jech. - New York; Basel : Marcel Dekker, Inc., 1999. - 291 p. - ). - Б. ц.
Рубрики: Foundations of Mathematics. Logic
Кл.слова (ненормированные):
set theory -- natural numbers -- ordinal numbers
Доп.точки доступа:
Jech, T.
2.
Подробнее
S38
Schumacher, B.
Physics in Spacetime [Электронный ресурс] / B. Schumacher. - [S. l. : s. n.]. - 120 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ГЕОМЕТРИЯ
Кл.слова (ненормированные):
геометрия
S38
Schumacher, B.
Physics in Spacetime [Электронный ресурс] / B. Schumacher. - [S. l. : s. n.]. - 120 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ГЕОМЕТРИЯ
Кл.слова (ненормированные):
геометрия
3.
Подробнее
W69
Williams, H. P.
Logic and Integer programming [Электронный ресурс] : учебное пособие / H. P. Williams. - New York : [s. n.], 2009. - 167 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ПРИКЛАДНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
logic -- internet -- diagrams -- integer programing -- decisions -- mathematiks -- resolution -- absorption -- IP model -- algebraic languages -- applications
W69
Williams, H. P.
Logic and Integer programming [Электронный ресурс] : учебное пособие / H. P. Williams. - New York : [s. n.], 2009. - 167 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ПРИКЛАДНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
logic -- internet -- diagrams -- integer programing -- decisions -- mathematiks -- resolution -- absorption -- IP model -- algebraic languages -- applications
4.
Подробнее
А31
Айдос, Е. Ж.
Комплекс айнымалды функциялар теориясы және операциялық есептеулер [Электрондық ресурс] : оқу құралы / Е. Ж. Айдос. - Алматы : Бастау, 2015. - 288 б. - Б. ц.
ББК 22.12 я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
ЖОҒАРЫ МАТЕМАТИКА
Математика негізі және математикалық логика
Кл.слова (ненормированные):
комплекс сан -- Коши интегралы -- Лоран қатары -- шегерім -- Лаплас түрлендіруі
А31
Айдос, Е. Ж.
Комплекс айнымалды функциялар теориясы және операциялық есептеулер [Электрондық ресурс] : оқу құралы / Е. Ж. Айдос. - Алматы : Бастау, 2015. - 288 б. - Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
ЖОҒАРЫ МАТЕМАТИКА
Математика негізі және математикалық логика
Кл.слова (ненормированные):
комплекс сан -- Коши интегралы -- Лоран қатары -- шегерім -- Лаплас түрлендіруі
5.
Подробнее
А46
Александров, П. С.
Введение в теорию множеств и общую топологию [Электронный ресурс] : учебное пособие / П. С. Александров. - СПб. : Лань, 2010. - 368 с. - Б. ц.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
действительные числа -- понятие множества -- трансфинитные числа -- топологические пространства
А46
Александров, П. С.
Введение в теорию множеств и общую топологию [Электронный ресурс] : учебное пособие / П. С. Александров. - СПб. : Лань, 2010. - 368 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
действительные числа -- понятие множества -- трансфинитные числа -- топологические пространства
6.
Подробнее
А72
Антонов, В. И.
Линейная алгебра и аналитическая геометрия [Электронный ресурс] : учебное пособие / В. И. Антонов. - М. : [б. и.], 2011. - 138 с. - Б. ц.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
линейная алгебра -- векторная алгебра -- аналитическая геометрия -- математический анализ -- математическая статистика -- математическая модель -- аналитическая геометрия
А72
Антонов, В. И.
Линейная алгебра и аналитическая геометрия [Электронный ресурс] : учебное пособие / В. И. Антонов. - М. : [б. и.], 2011. - 138 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
линейная алгебра -- векторная алгебра -- аналитическая геометрия -- математический анализ -- математическая статистика -- математическая модель -- аналитическая геометрия
7.
Подробнее
А87
Архангельский, Александр Владимирович.
Канторовская теория множеств [Электронный ресурс] : учебное пособие / Александр Владимирович Архангельский. - Москва : Изд-во МГУ, 1988. - 112 с. - Б. ц.
ББК 22.12я73
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
определение кардиналов -- кардинальная арифметика -- арифметика -- умножение кардиналов -- теорема о жесткости -- сложение кардиналов
А87
Архангельский, Александр Владимирович.
Канторовская теория множеств [Электронный ресурс] : учебное пособие / Александр Владимирович Архангельский. - Москва : Изд-во МГУ, 1988. - 112 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
определение кардиналов -- кардинальная арифметика -- арифметика -- умножение кардиналов -- теорема о жесткости -- сложение кардиналов
8.
Подробнее
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
9.
Подробнее
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
10.
Подробнее
Б24
Барвайс, Дж.
Теория множеств [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 376 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
теория множеств -- аксиомы -- классы -- теоремы о переносе -- метод Френкеля -- теорема униформизации -- аксиома детерменированности -- принципы перечисления -- ординалы -- аксиомы Мартина -- деревья -- теория множеств -- комбинаторика -- большие кардиналы
Б24
Барвайс, Дж.
Теория множеств [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 376 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
теория множеств -- аксиомы -- классы -- теоремы о переносе -- метод Френкеля -- теорема униформизации -- аксиома детерменированности -- принципы перечисления -- ординалы -- аксиомы Мартина -- деревья -- теория множеств -- комбинаторика -- большие кардиналы
Страница 1, Результатов: 80