Библиотечная система ФГБОУ ВО 'ИжГТУ имени М.Т.Калашникова'

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

Библиотечная БД - результаты поиска

Вид поиска

Библиотечная БД

Имидж-каталог

Учебно-методические пособия

Выпускные квалификационные работы

Учебно-методоческие издания

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

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

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

Поисковый запрос: (<.>K=Тьюринга машины<.>)

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

519.1(075)
Я 14

Яблонский, С. В.
Введение в дискретную математику [Текст] : учебное пособие для вузов / Яблонский С. В. - 3-е изд., стер. - М. : Высш. шк., 2001. - 384 с. : ил., табл. - (Высшая математика / Под общ. ред. В. А. Садовничего). - Библиогр.: с. 370-372.-Предм. указ.: с. 373-379. - ISBN 5-06-003951-Х (в пер.) : 65.00 ; 66.00 р.

УДК

519.1(075)

510.6(075)

Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
математика дискретная -- алгебра логики -- кибернетика математическая -- Тьюринга машины -- графы (математика) -- сети (математика) -- теория кодирования -- анализ комбинаторный -- вычислительная математика

Экземпляры всего: 17
ОХиИФ (1), ООЛ (16)
Свободны: ОХиИФ (1), ООЛ (16)
Найти похожие

519.6
С 97

Сэвидж, Дж.Э.
Сложность вычислений [Text] / Сэвидж, Дж.Э. ; пер.: Липатов, Е.П., Гринчук, М.И. ; ред. Касим-Заде, О.М. - М. : Факториал, 1998. - 368 с. : ил. - Библиогр.: с. 343-362.-Предм. указ.: с. 363-368. - ISBN 5-88688-039-9 (рус.). - ISBN 0-471-75517-6 (англ.) : 25-00 р.

УДК

519.6

681.3.05

Рубрики: МАТЕМАТИКА--ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА
Кл.слова (ненормированные):
Кибернетика математическая -- вычислительная математика -- Неравенства вычислительные -- Теория сложности вычислений -- Булево программирование -- ЭВМ -- Тьюринга машины -- Вычисления -- Автоматы (теория)

Доп.точки доступа:
Липатов, Е.П. \пер.\; Гринчук, М.И. \пер.\; Касим-Заде, О.М. \ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

519.1(075)
Я 14

Яблонский, С. В.
Введение в дискретную математику [Текст] : учебное пособие для вузов / Яблонский С. В. - 4-е изд., стер. - М. : Высш. шк., 2003. - 384 с. : ил., табл. - (Высшая математика / Под общ. ред. В. А. Садовничего). - Библиогр.: с. 370-372. - Предм. указ.: с. 373-379. - ISBN 5-06-004681-8 (в пер.) : 133.00 р., 154.50 р.

УДК

519.1(075)

510.6(075)

Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
математика дискретная -- алгебра логики -- кибернетика математическая -- Тьюринга машины -- графы (математика) -- сети (математика) -- теория кодирования -- анализ комбинаторный -- вычислительная математика

Экземпляры всего: 5
ЧЗ№1 (1), ООЛ (4)
Свободны: ЧЗ№1 (1), ООЛ (4)
Найти похожие

519.1(075)
Я 14

Яблонский, С. В.
Введение в дискретную математику [Текст] : учебное пособие для вузов / Яблонский С. В. - 3-е изд., стер. - М. : Высш. шк., 2002. - 384 с. : ил., табл. - (Высшая математика /Под общ. ред. В. А. Садовничего). - Библиогр.: с. 370-372.-Предм. указ.: с. 373-379. - ISBN 5-06-003951-Х (в пер.) : 133.00 ; 120.00 ; 90.00 ; 86.00 ; 130.00 р.

УДК

519.1(075)

510.6(075)

Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
Кл.слова (ненормированные):
математика дискретная -- алгебра логики -- кибернетика математическая -- Тьюринга машины -- графы (математика) -- сети (математика) -- теория кодирования -- анализ комбинаторный -- вычислительная математика

Экземпляры всего: 5
ОХиИФ (1), ООЛ (4)
Свободны: ОХиИФ (1), ООЛ (4)
Найти похожие

   519.1(075)
   Б 43

    Белоусов, А. И.
    Дискретная математика [Text] : учебник для вузов / А. И. Белоусов, С. Б. Ткачев ; под ред.: В. С. Зарубина, А. П. Крищенко. - [3-е изд., стер.]. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 743 с. : ил., табл. - (Математика в техническом университете ; вып. ХIХ). - Библиогр.: с. 720-723. - Предм. указ.: с. 724-740. - ISBN 5-7038-1769-2 : 237.00 р. - ISBN 5-7038-1270-4 : 225.40 р.

УДК

519.1(075)

519.17(075)

519.713(075)

Рубрики: МАТЕМАТИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ--ТЕОРИЯ ГРАФОВ
КИБЕРНЕТИКА--ТЕОРИЯ КОНЕЧНЫХ АВТОМАТОВ И ФОРМАЛЬНЫХ ЯЗЫКОВ
Кл.слова (ненормированные):
дискретная математика -- множества -- алгебры -- группы -- кольца -- теория графов -- конечные автоматы -- Тьюринга машины

Доп.точки доступа:
Ткачев, С. Б.; Зарубин, В. С. \.\; Крищенко, А. П. \.\
Экземпляры всего: 2
ОХиИФ (1), ОЧЗ (1)
Свободны: ОХиИФ (1), ОЧЗ (1)
Найти похожие

510.6
В 31

   Верещагин, Н. К.
    [Лекции по математической логике и теории алгоритмов] [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - .
   Ч. 3 : Вычислимые функции. - 173 с. : ил. - (Современные лекционные курсы). - Библиогр.: с. 166-167. - Предм. указ.: с. 168-173. - Указ. имен: с. 174. - ISBN 5-900916-39-1 : 35-00 р.

УДК

510.6

510

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- вычислимые функции -- вычислимость -- разрешимость -- нумерации -- Тьюринга машины -- функции рекурсивные

Доп.точки доступа:
Шень, А.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие

519.1(076)
Г 12

Гаврилов, Г. П.
Задачи и упражнения по дискретной математике [Text] : [учеб. пособие для вузов] / Гаврилов, Г. П., Сапоженко, А. А. - Изд. 3-е, перераб. - М. : Физматлит, 2004. - 416 с. : ил., табл. - Библиогр.: с. 412-413. - Предм. указ.: с. 414-416. - ISBN 5-9221-0477-2 (в пер.) : 290-00 р.

УДК

519.1(076)

519(076)

Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА--КОМБИНАТОРНЫЙ АНАЛИЗ.ТЕОРИЯ ГРАФОВ
КИБЕРНЕТИКА--ТЕОРИЯ КОНЕЧНЫХ АВТОМАТОВ И ФОРМАЛЬНЫХ ЯЗЫКОВ
Кл.слова (ненормированные):
дискретная математика -- алгебра логики -- Тьюринга машины -- теория графов -- кодирование -- комбинаторика -- булевы функции -- упражнения -- задачи

Доп.точки доступа:
Сапоженко, А. А.
Экземпляры всего: 1
ОХФ (1)
Свободны: ОХФ (1)
Найти похожие

Тематический навигатор

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