База данных: Электронная библиотека
Страница 2, Результатов: 68
Отмеченные записи: 0
11.
Подробнее
Б50
Берман, Г. Н.
Число и наука о нем. Общедоступные очерки по арифметике натуральных чисел [Электронный ресурс] / Г. Н. Берман. - М. : Технико-теоретической литературы, 1954. - 157 с. - Б. ц.
ББК 22.13
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
система счисления -- арифметика -- уравнения -- проблема Гольдбаха
Б50
Берман, Г. Н.
Число и наука о нем. Общедоступные очерки по арифметике натуральных чисел [Электронный ресурс] / Г. Н. Берман. - М. : Технико-теоретической литературы, 1954. - 157 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
система счисления -- арифметика -- уравнения -- проблема Гольдбаха
12.
Подробнее
Б74
Богомолов, Н. В.
Сборник задач по математике [Электронный ресурс] : учебник / Н. В. Богомолов. - М. : [б. и.], 2010. - 2009 с. - Б. ц.
ББК 22.1я723
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
арифметика -- алгебра -- эксцентриситетом -- гипербола -- треугольник -- геометрия -- элементы комбинаторики
Б74
Богомолов, Н. В.
Сборник задач по математике [Электронный ресурс] : учебник / Н. В. Богомолов. - М. : [б. и.], 2010. - 2009 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
арифметика -- алгебра -- эксцентриситетом -- гипербола -- треугольник -- геометрия -- элементы комбинаторики
13.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
14.
Подробнее
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
15.
Подробнее
В31
Верещагин, Н.
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств [Электронный ресурс] / Н. Верещагин, А. Шень. - Москва : [б. и.], 2008. - 128 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
эквивалентность -- теорема Кантора -- функции -- теорема Цермело -- ординалы -- изоморфизм -- арифметика -- Лемма Цорна -- элемент
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н.
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств [Электронный ресурс] / Н. Верещагин, А. Шень. - Москва : [б. и.], 2008. - 128 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
эквивалентность -- теорема Кантора -- функции -- теорема Цермело -- ординалы -- изоморфизм -- арифметика -- Лемма Цорна -- элемент
Доп.точки доступа:
Шень, А.
16.
Подробнее
В92
Выгодский, М. Я.
Справочник по элементарной математике [Электронный ресурс] / М. Я. Выгодский. - М. : АСТ:Астрель, 2006. - 509 с. - Б. ц.
ББК 22.1я2
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
синусы и косинусы -- метрическая система мер -- латинский алфавит -- арифметика -- целые числа -- простые дроби
В92
Выгодский, М. Я.
Справочник по элементарной математике [Электронный ресурс] / М. Я. Выгодский. - М. : АСТ:Астрель, 2006. - 509 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
синусы и косинусы -- метрическая система мер -- латинский алфавит -- арифметика -- целые числа -- простые дроби
17.
Подробнее
Г16
Галочкин, А.
Введение в теорию чисел [Электронный ресурс] : учебное пособие / А. Галочкин. - Москва : [б. и.], 1984. - 1 -52. - Б. ц.
ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебраическая теория -- теория чисел -- целые числа -- функции алгебры -- алгебра матриц -- арифметика -- теорема
Г16
Галочкин, А.
Введение в теорию чисел [Электронный ресурс] : учебное пособие / А. Галочкин. - Москва : [б. и.], 1984. - 1 -52. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгебраическая теория -- теория чисел -- целые числа -- функции алгебры -- алгебра матриц -- арифметика -- теорема
18.
Подробнее
Г87
Громов, Ю. Ю.
Языки СИ и С++ для решения инженерных и экономических задач [Электронный ресурс] : учебное пособие / Ю. Ю. Громов, С. И. Татаренко. - Тамбов : [б. и.], 2001. - 186 с. - Б. ц.
ББК 33
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
язык СИ -- символы -- идентификаторы -- базовые типы -- объявление переменных -- типы данных -- массивы -- объединения -- иницализация данных -- выражения -- алфавитно-цифровые символы -- поля битов -- операторы -- адресная арифметика -- директивы препроцессора -- язык С++ -- использование классов -- абстакция данных -- файловая система -- конвееры
Доп.точки доступа:
Татаренко, С.И.
Г87
Громов, Ю. Ю.
Языки СИ и С++ для решения инженерных и экономических задач [Электронный ресурс] : учебное пособие / Ю. Ю. Громов, С. И. Татаренко. - Тамбов : [б. и.], 2001. - 186 с. - Б. ц.
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
язык СИ -- символы -- идентификаторы -- базовые типы -- объявление переменных -- типы данных -- массивы -- объединения -- иницализация данных -- выражения -- алфавитно-цифровые символы -- поля битов -- операторы -- адресная арифметика -- директивы препроцессора -- язык С++ -- использование классов -- абстакция данных -- файловая система -- конвееры
Доп.точки доступа:
Татаренко, С.И.
19.
Подробнее
Ж56
Жетпісов, К.
Арифметиканың негіздері : оқу құралы / К. Жетпісов, Қ. Сексенбаев, А. Башеева. - Қарағанды : ҚарМУ, 2005. - 111 б. - Б. ц.
ББК 22.12я73
Рубрики: Математика негізі және математикалық логика
Кл.слова (ненормированные):
рационал сандар өрісі -- реттелген жиындар
Доп.точки доступа:
Сексенбаев, Қ.
Башеева, А.
Ж56
Жетпісов, К.
Арифметиканың негіздері : оқу құралы / К. Жетпісов, Қ. Сексенбаев, А. Башеева. - Қарағанды : ҚарМУ, 2005. - 111 б. - Б. ц.
Рубрики: Математика негізі және математикалық логика
Кл.слова (ненормированные):
рационал сандар өрісі -- реттелген жиындар
Доп.точки доступа:
Сексенбаев, Қ.
Башеева, А.
20.
Подробнее
К30
Каханер, Д.
Численные методы и математическое моделирование [Электронный ресурс] / Д. Каханер, К. Моулер. - М. : Мир, 1998. - 575 с. - Б. ц.
ББК 22.11
Рубрики: МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
машинная арифметика -- линейные уравнения -- интерполяция -- численные квадратуры -- дифференциальные уравнения
Доп.точки доступа:
Моулер, К.
К30
Каханер, Д.
Численные методы и математическое моделирование [Электронный ресурс] / Д. Каханер, К. Моулер. - М. : Мир, 1998. - 575 с. - Б. ц.
Рубрики: МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
машинная арифметика -- линейные уравнения -- интерполяция -- численные квадратуры -- дифференциальные уравнения
Доп.точки доступа:
Моулер, К.
Страница 2, Результатов: 68