Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ВЫЧИСЛИМЫЕ ФУНКЦИИ<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

519.1
П 820

    Просветов, Георгий Иванович.
    Дискретная математика: задачи и решения [Текст] : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - М. : Альфа-Пресс, 2016. - 240 с. : ил., табл. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 253.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(076.5)
~РУБ 519.1

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ПРАКТИЧЕСКИЕ ПОСОБИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВО -- БУЛЕВЫ ФУНКЦИИ -- КОНСТАНТА -- ЛИНЕЙНЫЕ ФУНКЦИИ -- ПОСТА ТЕОРЕМА -- ЛОГИКА ПРЕДИКАТОВ -- ЛОГИЧЕСКИЕ ЗАДАЧИ -- РЕШЕНИЕ ЗАДАЧ -- ВЫЧИСЛИМЫЕ ФУНКЦИИ -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- ТЕОРИЯ КОДИРОВАНИЯ -- МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ -- МНОГОЧЛЕНЫ -- КОМБИНАТОРИКА -- ТЕОРИЯ ГРАФОВ -- СЕТЕВОЕ ПЛАНИРОВАНИЕ -- РЕШЕНИЕ УРАВНЕНИЙ

Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (1 экз.)
Свободны: счз1 (1), аунл (1)
Постоянная гиперссылка

51
З-981

    Зюзьков, Валентин Михайлович.
    Теория алгоритмов [Текст] : учебное пособие для вузов / В. М. Зюзьков ; Федеральное агентство по образованию, Томский государственный университет (Томск). - 2-е изд., испр. и доп. - Томск : Издательство Томского университета, 2009. - 162 с. : ил., табл. - Библиогр.: с. 158-159. - ISBN 978-5-7511-1932-4 : 182.70 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.5(075.8)
~РУБ 51

Кл.слова (ненормированные):
ВЫЧИСЛИМЫЕ ФУНКЦИИ -- ЛАМБДА-ИСЧИСЛЕНИЕ -- ДИОФАНТОВОСТЬ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ЭЛЕМЕНТАРНАЯ АРИФМЕТИКА -- NP-ПОЛНЫЕ ЗАДАЧИ -- УЧЕБНЫЕ ПОСОБИЯ
Доп.точки доступа:
Федеральное агентство по образованию
Томский государственный университет (Томск)

Имеются экземпляры в отделах: аунл (19 экз.), счз1 (3 экз.)
Свободны: аунл (19), счз1 (3)
Постоянная гиперссылка

51
М 300

    Марченков, Сергей Серафимович.
    Элементарные рекурсивные функции : курс лекций / Сергей Серафимович Марченков. - М. : МЦНМО, 2003. - 112 с. - Библиогр.: с.109-111. -Предм. указ.: с. 112. - ISBN 5-94057-098-4 (в пер.) : 25.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.57
~РУБ 51

Кл.слова (ненормированные):
математика -- высшая математика -- рекурсивные функции -- вычислимые функции

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

Статистика за 18.06.2024
Число запросов	29666
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)