База данных: Электронная библиотека
Страница 1, Результатов: 10
Отмеченные записи: 0
1.
Подробнее
А87
Архангельский, Александр Владимирович.
Канторовская теория множеств [Электронный ресурс] : учебное пособие / Александр Владимирович Архангельский. - Москва : Изд-во МГУ, 1988. - 112 с. - Б. ц.
ББК 22.12я73
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
определение кардиналов -- кардинальная арифметика -- арифметика -- умножение кардиналов -- теорема о жесткости -- сложение кардиналов
А87
Архангельский, Александр Владимирович.
Канторовская теория множеств [Электронный ресурс] : учебное пособие / Александр Владимирович Архангельский. - Москва : Изд-во МГУ, 1988. - 112 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
определение кардиналов -- кардинальная арифметика -- арифметика -- умножение кардиналов -- теорема о жесткости -- сложение кардиналов
2.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции
Доп.точки доступа:
Шень, А.Ч.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции
Доп.точки доступа:
Шень, А.Ч.
3.
Подробнее
И26
Игошин, В. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М : Академия, 2008. - 448 с. - Б. ц.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- формулы алгебры высказываний -- логическая равносильность формул -- логическая следование формул -- булевы функции -- множества, отношения, функция
И26
Игошин, В. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М : Академия, 2008. - 448 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
алгебра высказываний -- формулы алгебры высказываний -- логическая равносильность формул -- логическая следование формул -- булевы функции -- множества, отношения, функция
4.
Подробнее
К44
Киселев, А. П.
Систематический курс арифметики. [Электронный ресурс] / А. П. Киселев. - Орел : Оренбурский государственный университет, 2002. - 265 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
основания арифметики, алгебры и анализа -- целые числа -- арифметика -- математика -- делимость числа -- обыкновенные дроби
К44
Киселев, А. П.
Систематический курс арифметики. [Электронный ресурс] / А. П. Киселев. - Орел : Оренбурский государственный университет, 2002. - 265 с. - Б. ц.
| УДК |
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
основания арифметики, алгебры и анализа -- целые числа -- арифметика -- математика -- делимость числа -- обыкновенные дроби
5.
Подробнее
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс / И. А. Лавров, Л. Л. Максимова. - М. : Физ.-мат. лит-ра, 1995. - 246 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов -- задачи по теории множеств -- задачи по математической логике -- задачи по теории алгоритмов
Доп.точки доступа:
Максимова, Л.Л.
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс / И. А. Лавров, Л. Л. Максимова. - М. : Физ.-мат. лит-ра, 1995. - 246 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов -- задачи по теории множеств -- задачи по математической логике -- задачи по теории алгоритмов
Доп.точки доступа:
Максимова, Л.Л.
6.
Подробнее
П70
Прасолов, В. В.
Задачи по алгебре, арифметике и анализу [Электронный ресурс] : научное издание / В. В. Прасолов. - М. : [б. и.], 2005. - 560 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
основания арифметики, алгебры и анализа -- алгебра и анализ -- арифметика -- математика
П70
Прасолов, В. В.
Задачи по алгебре, арифметике и анализу [Электронный ресурс] : научное издание / В. В. Прасолов. - М. : [б. и.], 2005. - 560 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
основания арифметики, алгебры и анализа -- алгебра и анализ -- арифметика -- математика
7.
Подробнее
Т21
Тарский, А.
Введение в логику и методологию дедуктивных наук [Электронный ресурс] : научное издание / пер. с англ.О.Н. Дынник; ред. С.А. Яновской. - М. : Гос. изд-во ин. лит., 1948. - 327 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- дедукция -- теория тождества
Т21
Тарский, А.
Введение в логику и методологию дедуктивных наук [Электронный ресурс] : научное издание / пер. с англ.О.Н. Дынник; ред. С.А. Яновской. - М. : Гос. изд-во ин. лит., 1948. - 327 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- дедукция -- теория тождества
8.
Подробнее
У13
Уайтхед, А.
Основания математики в 3 т. Том1 [Электронный ресурс] : пер. с англ. / под ред. Г.П. Ярового, Ю.Н. Радаева. - Самара : Самарский университет, 2005. - 722 с. - Б. ц.
ББК 22,12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория кажущихся переменных -- классы и отношения -- логика отношений -- произведения и суммы в классов -- единичные классы и пары
У13
Уайтхед, А.
Основания математики в 3 т. Том1 [Электронный ресурс] : пер. с англ. / под ред. Г.П. Ярового, Ю.Н. Радаева. - Самара : Самарский университет, 2005. - 722 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория кажущихся переменных -- классы и отношения -- логика отношений -- произведения и суммы в классов -- единичные классы и пары
9.
Подробнее
У13
Уайтхед, А.
Основания математики в 3 т. Том2 [Электронный ресурс] : пер. с англ. / под ред. Г.П. Ярового, Ю.Н. Радаева. - Самара : Самарский университет, 2006. - 738 с. - Б. ц.
ББК 22,12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
однородные кардиналы -- сложение, умножение -- конечное и бесконечное -- вычитание -- интервалы -- индуктивные кардиналы
У13
Уайтхед, А.
Основания математики в 3 т. Том2 [Электронный ресурс] : пер. с англ. / под ред. Г.П. Ярового, Ю.Н. Радаева. - Самара : Самарский университет, 2006. - 738 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
однородные кардиналы -- сложение, умножение -- конечное и бесконечное -- вычитание -- интервалы -- индуктивные кардиналы
10.
Подробнее
У13
Уайтхед, А.
Основания математики в 3 т. Том3 [Электронный ресурс] : пер. с англ. / под ред. Г.П. Ярового, Ю.Н. Радаева. - Самара : Самарский университет, 2006. - 460 с. - Б. ц.
ББК 22,12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
ординальные числа -- серии ординалов -- теорема Цермело -- финитные ординалы -- серии алефов -- индуктивные кардиналы
У13
Уайтхед, А.
Основания математики в 3 т. Том3 [Электронный ресурс] : пер. с англ. / под ред. Г.П. Ярового, Ю.Н. Радаева. - Самара : Самарский университет, 2006. - 460 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
ординальные числа -- серии ординалов -- теорема Цермело -- финитные ординалы -- серии алефов -- индуктивные кардиналы
Страница 1, Результатов: 10