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

Базы данных

- результаты поиска

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

Найдено в других БД:

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

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

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

Поисковый запрос: (<.>K=ФОРМАЛЬНЫЕ ТЕОРИИ<.>)

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

51
З-981

    Зюзьков, Валентин Михайлович.
    Теория алгоритмов : Учебное пособие для вузов / В. М. Зюзьков ; Федеральное агентство по образованию, Томский государственный университет. - Томск : Издательство Томского университета, 2005. - 146[2] с. : ил. - Библиогр.: с. 145-146. - ISBN 5-7511-1983-X : 160.00 р.

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

Кл.слова (ненормированные):
учебные пособия -- теория алгоритмов -- алгоритмы -- вычислимое -- невычислимое -- лямбда-исчисление -- формальные теории -- элементарная арифметика -- асимптотические методы -- NP-полнота
Доп.точки доступа:
Федеральное агентство по образованию
Томский государственный университет

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

519.1
С 219

   Сафьянова, Елена Николаевна
    Дискретная математика : учебное пособие / Е. Н. Сафьянова ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск : ТМЦДО, 2000 - .
   Ч. 2. - Томск : ТМЦДО, 2000. - 98 с. : ил, табл. - Библиогр.: с. 98. - 49.50 р., 21.78 р., 53.00 р., 25.00 р., 20.00 р.

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

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ФОРМАЛЬНЫЕ ТЕОРИИ -- ИСЧИСЛЕНИЯ -- ПРЕДИКАТЫ -- ТЕОРИЯ АЛГОРИТМОВ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- ТЬЮРИНГА МАШИНЫ -- МАРКОВА АЛГОРИФМЫ -- КОМБИНАТОРНЫЙ АНАЛИЗ -- МНОЖЕСТВА -- ЗАДАЧИ -- УПРАЖНЕНИЯ
Доп.точки доступа:
Министерство образования Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра автоматизированных систем управления

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

Статистика за 07.07.2024
Число запросов	200569
Число заказов	0

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