База данных: Электронная библиотека
Страница 1, Результатов: 27
Отмеченные записи: 0
1.
Подробнее
А28
Адамс, Дж.
Лекции по группам [Электронный ресурс] : учебник / Дж. Адамс. - М. : Наука, 1979. - 132 с. - Б. ц.
ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
АЛГЕБРА
Кл.слова (ненормированные):
геометрия штифелевых диаграмм -- алгебра -- математическая логика -- алгебраические системы
А28
Адамс, Дж.
Лекции по группам [Электронный ресурс] : учебник / Дж. Адамс. - М. : Наука, 1979. - 132 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
АЛГЕБРА
Кл.слова (ненормированные):
геометрия штифелевых диаграмм -- алгебра -- математическая логика -- алгебраические системы
2.
Подробнее
Б90
Булдык, Г. М.
Высшая математика [Электронный ресурс] : курс лекций / Г. М. Булдык. - Минск : ФУ Аинформ, 2010. - 468 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
элементы теории -- математическая логика -- матрицы -- определители -- линейно зависимые векторы -- полупространство
Б90
Булдык, Г. М.
Высшая математика [Электронный ресурс] : курс лекций / Г. М. Булдык. - Минск : ФУ Аинформ, 2010. - 468 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
элементы теории -- математическая логика -- матрицы -- определители -- линейно зависимые векторы -- полупространство
3.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции
Доп.точки доступа:
Шень, А.Ч.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции
Доп.точки доступа:
Шень, А.Ч.
4.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
5.
Подробнее
Г67
Горбатов, Вячеслав Афанасьевич.
Фундаментальные основы дискретной математики [Электронный ресурс] : информационная математика: учебник / Вячеслав Афанасьевич Горбатов. - Москва : Физматлит, 2000. - 544 с. - Б. ц.
ББК 22.176я73
Рубрики: Дискретный анализ (дискретная математика, конечная математика)
Кл.слова (ненормированные):
множество -- математическая логика -- теория графов -- теория алгоритмов
Г67
Горбатов, Вячеслав Афанасьевич.
Фундаментальные основы дискретной математики [Электронный ресурс] : информационная математика: учебник / Вячеслав Афанасьевич Горбатов. - Москва : Физматлит, 2000. - 544 с. - Б. ц.
Рубрики: Дискретный анализ (дискретная математика, конечная математика)
Кл.слова (ненормированные):
множество -- математическая логика -- теория графов -- теория алгоритмов
6.
Подробнее
Г67
Горбатов, В. А.
Фундаментальные основы дискретной математики. Информационная математика [Электронный ресурс] : учебник / В. А. Горбатов. - М. : Наука, 2000. - 271 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
основы многосортных множеств -- математическая логика -- теория графов
Г67
Горбатов, В. А.
Фундаментальные основы дискретной математики. Информационная математика [Электронный ресурс] : учебник / В. А. Горбатов. - М. : Наука, 2000. - 271 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
основы многосортных множеств -- математическая логика -- теория графов
7.
Подробнее
Г95
Гурьянова, Г. Н.
Математический анализ [Электронный ресурс] : учебное пособие / Г. Н. Гурьянова. - Екатеринбург : Урал. ун-т., 2014. - 330 с. - Б. ц.
Рубрики: МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА. АНАЛИЗ
Кл.слова (ненормированные):
математическая логика -- теории множеств -- математические индустрии -- понятие функции -- формула Тейлора -- частные производные
Г95
Гурьянова, Г. Н.
Математический анализ [Электронный ресурс] : учебное пособие / Г. Н. Гурьянова. - Екатеринбург : Урал. ун-т., 2014. - 330 с. - Б. ц.
| УДК |
Рубрики: МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА. АНАЛИЗ
Кл.слова (ненормированные):
математическая логика -- теории множеств -- математические индустрии -- понятие функции -- формула Тейлора -- частные производные
8.
Подробнее
И26
Игошин, В. И.
Математическая логика [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : ИНФРА-М, 2016. - 399 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
математическая логика -- алгебра высказывания -- тавтология алгебры
И26
Игошин, В. И.
Математическая логика [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : ИНФРА-М, 2016. - 399 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
математическая логика -- алгебра высказывания -- тавтология алгебры
9.
Подробнее
К48
Клевчихин, Ю. А.
Введение в математический анализ [Электронный ресурс] : учебное пособие / Ю. А. Клевчихин. - Владивосток : Дальневосточного университета, 2002. - 107 с. - Б. ц.
ББК 22,16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- высказывания -- логические операции -- предикаты
К48
Клевчихин, Ю. А.
Введение в математический анализ [Электронный ресурс] : учебное пособие / Ю. А. Клевчихин. - Владивосток : Дальневосточного университета, 2002. - 107 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- высказывания -- логические операции -- предикаты
10.
Подробнее
Кулик, Б. А.
Логика естественных рассуждений [Электронный ресурс] : учебник / Б. А. Кулик. - СПб. : Невский Диалект, 2001. - 128 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- суждение -- алгебра -- основные понятия алгебры множеств -- формулы
Кулик, Б. А.
Логика естественных рассуждений [Электронный ресурс] : учебник / Б. А. Кулик. - СПб. : Невский Диалект, 2001. - 128 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- суждение -- алгебра -- основные понятия алгебры множеств -- формулы
Страница 1, Результатов: 27