База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 3
Отмеченные записи: 0
1.
Подробнее
В31
Верещагин, Н.
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств [Электронный ресурс] / Н. Верещагин, А. Шень. - Москва : [б. и.], 2008. - 128 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
эквивалентность -- теорема Кантора -- функции -- теорема Цермело -- ординалы -- изоморфизм -- арифметика -- Лемма Цорна -- элемент
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н.
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств [Электронный ресурс] / Н. Верещагин, А. Шень. - Москва : [б. и.], 2008. - 128 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
эквивалентность -- теорема Кантора -- функции -- теорема Цермело -- ординалы -- изоморфизм -- арифметика -- Лемма Цорна -- элемент
Доп.точки доступа:
Шень, А.
2.
Подробнее
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
3.
Подробнее
У13
Уайтхед, А.
Основания математики в 3 т. Том3 [Электронный ресурс] : пер. с англ. / под ред. Г.П. Ярового, Ю.Н. Радаева. - Самара : Самарский университет, 2006. - 460 с. - Б. ц.
ББК 22,12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
ординальные числа -- серии ординалов -- теорема Цермело -- финитные ординалы -- серии алефов -- индуктивные кардиналы
У13
Уайтхед, А.
Основания математики в 3 т. Том3 [Электронный ресурс] : пер. с англ. / под ред. Г.П. Ярового, Ю.Н. Радаева. - Самара : Самарский университет, 2006. - 460 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
Основания математики. Математическая логика
Кл.слова (ненормированные):
ординальные числа -- серии ординалов -- теорема Цермело -- финитные ординалы -- серии алефов -- индуктивные кардиналы
Беті 1, Нәтижелерін: 3