| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :5
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=МАШИНА ТЬЮРИНГА<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.

    Твердохлебов, В. А.
    Логические эксперименты с автоматами [Текст] / В.А.Твердохлебов;Под ред.А.М.Богомолова. - Саратов : Изд-во Сарат. ун-та, 1988. - 184 с. : ил. ; 20см. - 1.50 р.
ГРНТИ
УДК

Рубрики: Математика--Теория вероятностей

Кл.слова (ненормированные):
теория вероятностей -- детерминированные автоматы -- алгоритм -- машина Тьюринга -- распознавание автоматов
Аннотация: Изложены результаты исследований по построению общей аксиоматической теории распознавания автоматов,включающей распознавание автоматов с магазиннной памятью,линейно-ограниченных автоматов и машин Тьюринга.Показывается алгоритмическая неразрешимость рассматриваемого класса задач и исследуется проблематика построения частных методов распознавания автоматов.Пердлагается схема логико-математического конструирования методов распознавания автоматов в конечных семействах автоматов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

2.

    Фалевич, Б. Я.
    Теория алгоритмов [Текст] : учеб. пособие для студ. вузов, обучающихся по направлению "Информатика и вычислительная техника" / Б. Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. ; 21 см. - Библиогр.: с. 160 (16 назв.). - ISBN 5-217-03249-9 : 88.00,130.55 р.
Допущено М-вом образования РФ
ГРНТИ
УДК
ББК 22.12

Рубрики: Математика--Теория алгоритмов

Кл.слова (ненормированные):
математика -- теория информации -- алгоритмы -- машина Тьюринга -- рекурсивные функции -- теория множеств -- алгорифмы Маркова -- алгорифмы Тьюринга -- теория графов -- массовые проблемы -- предикаты
Аннотация: Освещены вопросы: алгоритмы и массовые проблемы, их вычислительная сложность, сводимость, массовых проблем, формализация понятия алгоритма в терминах машины Тьюринга, нормальных алгоритмов и рекурсивных функций и т. д.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

3.

    Пенроуз, Р.
    Новый ум короля. О компьютерах, мышлении и законах физики [Текст] / Р. Пенроуз ; пер. с англ. под общ. ред. В. О. Малышенко. - 2-е изд., испр. - М. : УРСС, 2005. - 400 с. : ил. ; 25 см. - (Синергетика: от прошлого к будущему). - Библиогр. : с. 384-390. - ISBN 5-354-00993-6 : 252.70 р.
ГРНТИ
УДК
ББК 20

Рубрики: Естественные науки--Синергетика

Кл.слова (ненормированные):
естественные науки -- синергетика -- искусственный интеллект -- машина Тьюринга -- теория сложности -- теорема Геделя -- парадоксы -- энтропия -- классический мир -- квантовая магия -- теория гравитации
Аннотация: Монография посвящена изучению проблемы искусственного интеллекта на основе всестороннего анализа достижений современных наук.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

4.

    Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 4-е изд., стер. - М. : ИЦ "Академия", 2008. - 304 с. : рис. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 301 (22 назв.). - ISBN 978-5-7695-5272-4 : 291.50 р.
Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"
ГРНТИ
УДК
ББК 22.1

Рубрики: Математика--Математическая логика

   Математика--Теория алгоритмов


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

5.

    Борзунов, С. В.
    Задачи по дискретной математике [Текст] : учеб. пособие / С. В. Борзунов, С. Д. Кургалин. - СПб. : БХВ-Петербург, 2016. - 528 с. : ил. ; 21 см. - (Учебная литература для вузов). - Библиогр.: с. 499-509 (118 назв.). - ISBN 978-5-9775-3672-1 : 954.00 р.
риф: допущено УМО по клас. унив. образованию РФ в качестве учеб. пособия для студ. вузов, обучающихся по направлению подгот. ВО 03.03.03 - Радиофизика
ГРНТИ
УДК
ББК 22.176

Рубрики: Математика--Дискретная математика

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


Доп. точки доступа:
Кургалин, С. Д.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)