Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


Книжный фонд - результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=машины Тьюринга<.>
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   22.12
   А 47

    Алексеев, В. Е.
    Графы и алгоритмы. Структура данных. Модели вычислений [Текст] : учебник / Алексеев В.Е., Таланов В.А. - М. : БИНОМ, 2006. - 320 с. - ISBN 5947546637 : 2600.00 р.
ББК 22.12
Рубрики: Математика--высшая
Кл.слова (ненормированные):
математика -- теория графов -- алгоритм -- функции -- функциональный анализ -- интегральное исчисление -- дифференциальное -- уравнение -- модели вычислений -- структуры данных -- разделеные множества -- бином -- программа -- алгорифм Маркова -- машины Тьюринга -- абак -- математическая логика -- логическое программирование



Соавторы:
Таланов, В.А.
Экз-ры: чзт(1)

” Цитировать
Найти похожие
2.
32.973.26
И 86

    Искакова, К. А.
    Теория алгоритмов [Текст] / К. А. Искакова. - 2-е изд., стереотип. - Алматы : Альманахъ, 2021. - 252 с. - ISBN 978-601-298-211-4 : 4800 р., 6400.00 р.
ГРНТИ
20
ББК 32.973.26
Рубрики: Информатика
Кл.слова (ненормированные):
Теория алгоритмов -- алфавит теории алгоритмов -- МАШИНЫ ТЬЮРИНГА -- композиции машин Тьюринга -- нормальные алгоритмы Маркова -- операторные алгоритмы Ван Хао -- операторные алгоритмы Ляпунова -- операторная схема Янова -- теорема Гёделя -- методы оценки алгоритмов -- основные понятия грамматик -- формальная или математическая лингвистики

Экз-ры: аб(3), аб2(3)

” Цитировать
Найти похожие
3.
32.815
Б 91

    Буряченко, В. В.
    Теория автоматов и формальных языков [Текст] / В. В. Буряченко. - Новое изд. - Красноярск : Сибирский государственный аэрокосмический университет, 2017. - 78 с. - ISBN : р.
ГРНТИ
20
ББК 32.815
Рубрики: Программирование
Кл.слова (ненормированные):
Теория автоматов и формальных языков -- Основные понятия теории алгоритмов -- Математическое определение алгоритма -- Рекурсивные функции -- Типы рекурсивных алгоритмов -- Машины Тьюринга -- Неформальное определение машины Тьюринга -- формальное определение машины Тьюринга -- Формальные грамматики и языки -- Классификация грамматик Н. Хомского -- Языки и автоматы -- Автоматы с магазинной памятью -- Автоматы Мили и Мура

Экз-ры: (1)

” Цитировать
Найти похожие
4.
22.1
Д75

    Дроботун, Б. Н.
    Руководство к решению задач по дискретной математике и математической логике. Часть ІІ [Текст] / Б. Н. Дроботун. - Новое изд. - Нур-Султан : Издательство "Фолиант", 2019. - 448 с. - (Высшее образование). - ISBN 978-601-338-238-8 : 3618 р.
ГРНТИ
27
ББК 22.1
Рубрики: Математика--дискретная математика--математическая логика
Кл.слова (ненормированные):
руководство к решению задач по дискретной математике и математической логике -- логические исчисления -- понятие алгоритма -- машины Тьюринга -- истинностная семантика -- формулы исчисления предикатов -- системы Пеано (аксиоматические теории) -- булевы алгебры -- виды графов -- маршруты в графах -- обходы графов -- Эйлеровы циклы -- Гамильтоновы циклы -- векторные пространства -- алфавитное кодирование -- коды с минимальной избыточностью -- коды Хемминга

Экз-ры: аб2(3)

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