База данных: Электронная библиотека
Страница 1, Результатов: 13
Отмеченные записи: 0
1.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции
Доп.точки доступа:
Шень, А.Ч.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции
Доп.точки доступа:
Шень, А.Ч.
2.
Подробнее
В75
Воронин, В. П.
Дополнительные главы по математики [Электронный ресурс] : учебник / В. П. Воронин. - Москва : [б. и.], 2002. - 129 с. - Б. ц.
ББК 22.16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
комбинаторика -- конечнозначные логики -- теория алгоритмов -- конечные поля
В75
Воронин, В. П.
Дополнительные главы по математики [Электронный ресурс] : учебник / В. П. Воронин. - Москва : [б. и.], 2002. - 129 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
комбинаторика -- конечнозначные логики -- теория алгоритмов -- конечные поля
3.
Подробнее
Г67
Горбатов, Вячеслав Афанасьевич.
Фундаментальные основы дискретной математики [Электронный ресурс] : информационная математика: учебник / Вячеслав Афанасьевич Горбатов. - Москва : Физматлит, 2000. - 544 с. - Б. ц.
ББК 22.176я73
Рубрики: Дискретный анализ (дискретная математика, конечная математика)
Кл.слова (ненормированные):
множество -- математическая логика -- теория графов -- теория алгоритмов
Г67
Горбатов, Вячеслав Афанасьевич.
Фундаментальные основы дискретной математики [Электронный ресурс] : информационная математика: учебник / Вячеслав Афанасьевич Горбатов. - Москва : Физматлит, 2000. - 544 с. - Б. ц.
Рубрики: Дискретный анализ (дискретная математика, конечная математика)
Кл.слова (ненормированные):
множество -- математическая логика -- теория графов -- теория алгоритмов
4.
Подробнее
К89
Кузнецов, О. П.
Дискретная математика для инженеров [Электронный ресурс] / О. П. Кузнецов. - СПб. : Лань, 2009. - 400 с. - Б. ц.
ББК 22.151
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ДИСКРЕТНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- функции -- теория алгоритмов -- графы
К89
Кузнецов, О. П.
Дискретная математика для инженеров [Электронный ресурс] / О. П. Кузнецов. - СПб. : Лань, 2009. - 400 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ДИСКРЕТНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- функции -- теория алгоритмов -- графы
5.
Подробнее
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс / И. А. Лавров, Л. Л. Максимова. - М. : Физ.-мат. лит-ра, 1995. - 246 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов -- задачи по теории множеств -- задачи по математической логике -- задачи по теории алгоритмов
Доп.точки доступа:
Максимова, Л.Л.
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс / И. А. Лавров, Л. Л. Максимова. - М. : Физ.-мат. лит-ра, 1995. - 246 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
теория множеств -- математическая логика -- теория алгоритмов -- задачи по теории множеств -- задачи по математической логике -- задачи по теории алгоритмов
Доп.точки доступа:
Максимова, Л.Л.
6.
Подробнее
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
П25
Пентус, М. Р.
Введение в математическую логику [Электронный ресурс] / М. Р. Пентус. - М. : [б. и.], 2006. - 90 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
алфавит -- буква -- слово -- логика высказываний -- логические операции -- таблицы истинности -- логика предикатов -- интерпретации -- теорема о замене -- теорема о тавтологиях -- варианты формулы -- изоморфизм -- аксиоматический метод -- теории первого порядка -- исчисление высказываний -- теория алгоритмов -- тезис Чёрча -- теорема Райса -- теорема Цермело -- теорема Кантора
7.
Подробнее
Т32
Темиргалиев, Н.
Избранное. Наука (Математика) [Электронный ресурс] = Selected publications. Science : научное издание / под ред. Б.С. Кашина; МОН РК; ЕНУ им. Л.Н. Гумилева. - Астана : ЕНУ им. Л.Н. Гумилева, 2009. - 613 с. - Б. ц.
ББК 22.1
Рубрики: Математика
ТРУДЫ ППС ЕНУ
Кл.слова (ненормированные):
вычислительная математика -- теория чисел -- теория вероятностей -- математическая статистика -- теория алгоритмов -- функция -- линейные методы
Т32
Темиргалиев, Н.
Избранное. Наука (Математика) [Электронный ресурс] = Selected publications. Science : научное издание / под ред. Б.С. Кашина; МОН РК; ЕНУ им. Л.Н. Гумилева. - Астана : ЕНУ им. Л.Н. Гумилева, 2009. - 613 с. - Б. ц.
Рубрики: Математика
ТРУДЫ ППС ЕНУ
Кл.слова (ненормированные):
вычислительная математика -- теория чисел -- теория вероятностей -- математическая статистика -- теория алгоритмов -- функция -- линейные методы
8.
Подробнее
Т35
Терехов, Д. В.
Математическая логика и теория алгоритмов [Электронный ресурс] / Д. В. Терехов, Д. А. Куценко. - Белгород : [б. и.], 2007. - 65 с. - Б. ц.
ББК 225.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- математика -- теория алгоритмов
Доп.точки доступа:
Куценко, Д.А.
Т35
Терехов, Д. В.
Математическая логика и теория алгоритмов [Электронный ресурс] / Д. В. Терехов, Д. А. Куценко. - Белгород : [б. и.], 2007. - 65 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- математика -- теория алгоритмов
Доп.точки доступа:
Куценко, Д.А.
9.
Подробнее
Т47
Тишин, В. В.
Теория алгоритмов, предикаты [Электронный ресурс] / В. В. Тишин. - [Б. м. : б. и.], 2002. - 71 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- нормальные алгоритмы
Т47
Тишин, В. В.
Теория алгоритмов, предикаты [Электронный ресурс] / В. В. Тишин. - [Б. м. : б. и.], 2002. - 71 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- нормальные алгоритмы
10.
Подробнее
Т98
Тюрин, С. Ф.
Дискретная математика: практическая дискретная математика и математическая логика [Электронный ресурс] : учебное пособие / С. Ф. Тюрин, Ю. А. Аляев. - М. : Финансы и статистика, 2010. - 384 с. - Б. ц.
ББК 22.12я730
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- теория алгоритмов -- освоение систем комьютерной математики
Доп.точки доступа:
Аляев, Ю.А.
Т98
Тюрин, С. Ф.
Дискретная математика: практическая дискретная математика и математическая логика [Электронный ресурс] : учебное пособие / С. Ф. Тюрин, Ю. А. Аляев. - М. : Финансы и статистика, 2010. - 384 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- теория алгоритмов -- освоение систем комьютерной математики
Доп.точки доступа:
Аляев, Ю.А.
Страница 1, Результатов: 13