База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 44
Отмеченные записи: 0
1.
Подробнее
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
А67
Анкудинов, Г. И.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Г. И. Анкудинов, И. Г. Анкудинов, О. А. Петухов. - СПб. : СЗТУ, 2003. - 104 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- варианты логики
Доп.точки доступа:
Анкудинов, И.Г.
Петухов, О.А.
2.
Подробнее
А95
Ахо, А.
Построение и анализ вычислительных алгоритмов [Электронный ресурс] : учебное пособие / Пер.с англ.А.О.Слисенко; Под ред.Ю.В.Матиясевича. - М. : Мир, 1979. - 536 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
модели вычислений -- алгоритмы -- модификация РАМ -- балансировка -- цифровая сортировка -- алгоритмы на графах -- умножение -- арифметические операции -- алгоритмы иденсификации
Доп.точки доступа:
Дж.Хопкрофт
Дж.Ульман
А95
Ахо, А.
Построение и анализ вычислительных алгоритмов [Электронный ресурс] : учебное пособие / Пер.с англ.А.О.Слисенко; Под ред.Ю.В.Матиясевича. - М. : Мир, 1979. - 536 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
модели вычислений -- алгоритмы -- модификация РАМ -- балансировка -- цифровая сортировка -- алгоритмы на графах -- умножение -- арифметические операции -- алгоритмы иденсификации
Доп.точки доступа:
Дж.Хопкрофт
Дж.Ульман
3.
Подробнее
Б11
Берд, Р.
Жемчужины проектирования алгоритмов: функциональный подход [Электронный ресурс] / Р. Берд. - М. : ДМК Пресс, 2013. - 330 с. - Б. ц.
ББК 32.973-018
Рубрики: ТЕХНИКА
ПРОГРАММИРОВАНИЕ
Кл.слова (ненормированные):
число -- поиск -- алгоритм -- кодирование
Б11
Берд, Р.
Жемчужины проектирования алгоритмов: функциональный подход [Электронный ресурс] / Р. Берд. - М. : ДМК Пресс, 2013. - 330 с. - Б. ц.
| УДК |
Рубрики: ТЕХНИКА
ПРОГРАММИРОВАНИЕ
Кл.слова (ненормированные):
число -- поиск -- алгоритм -- кодирование
4.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.1. Начала теории множеств / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 128 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
множества и мощности -- упорядоченные множества -- множества -- число -- элементы
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.1. Начала теории множеств / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 128 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
множества и мощности -- упорядоченные множества -- множества -- число -- элементы
Доп.точки доступа:
Шень, А.
5.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
6.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции
Доп.точки доступа:
Шень, А.Ч.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции
Доп.точки доступа:
Шень, А.Ч.
7.
Подробнее
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
8.
Подробнее
В31
Верещагин, Н.
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств [Электронный ресурс] / Н. Верещагин, А. Шень. - Москва : [б. и.], 2008. - 128 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
эквивалентность -- теорема Кантора -- функции -- теорема Цермело -- ординалы -- изоморфизм -- арифметика -- Лемма Цорна -- элемент
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н.
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств [Электронный ресурс] / Н. Верещагин, А. Шень. - Москва : [б. и.], 2008. - 128 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
эквивалентность -- теорема Кантора -- функции -- теорема Цермело -- ординалы -- изоморфизм -- арифметика -- Лемма Цорна -- элемент
Доп.точки доступа:
Шень, А.
9.
Подробнее
В75
Воронин, В. П.
Дополнительные главы по математики [Электронный ресурс] : учебник / В. П. Воронин. - Москва : [б. и.], 2002. - 129 с. - Б. ц.
ББК 22.16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
комбинаторика -- конечнозначные логики -- теория алгоритмов -- конечные поля
В75
Воронин, В. П.
Дополнительные главы по математики [Электронный ресурс] : учебник / В. П. Воронин. - Москва : [б. и.], 2002. - 129 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
комбинаторика -- конечнозначные логики -- теория алгоритмов -- конечные поля
10.
Подробнее
Г67
Горбатов, Вячеслав Афанасьевич.
Фундаментальные основы дискретной математики [Электронный ресурс] : информационная математика: учебник / Вячеслав Афанасьевич Горбатов. - Москва : Физматлит, 2000. - 544 с. - Б. ц.
ББК 22.176я73
Рубрики: Дискретный анализ (дискретная математика, конечная математика)
Кл.слова (ненормированные):
множество -- математическая логика -- теория графов -- теория алгоритмов
Г67
Горбатов, Вячеслав Афанасьевич.
Фундаментальные основы дискретной математики [Электронный ресурс] : информационная математика: учебник / Вячеслав Афанасьевич Горбатов. - Москва : Физматлит, 2000. - 544 с. - Б. ц.
Рубрики: Дискретный анализ (дискретная математика, конечная математика)
Кл.слова (ненормированные):
множество -- математическая логика -- теория графов -- теория алгоритмов
Беті 1, Нәтижелерін: 44