Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

В текущей базе данных найдено документов :10

В других БД по вашему запросу найдено:

ЭБС "ЛАНЬ" (1)

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

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

Поисковый запрос: (<.>KL=МАШИНЫ ТЬЮРИНГА<.>)

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

Успенский, Владимир Андреевич.
Теория алгоритмов: основные открытия и приложения [Текст] / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста). - Библиогр.: с. 245. - 1.20 р.

ББК 22.12

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

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

Доп. точки доступа:
Семенов, Алексей Львович
Найти похожие

Минский, М.
Вычисления и автоматы [Текст] : монография / М. Минский ; пер. с англ.: Б. Л. Овсиевича, Л. Я. Розенблюма. - М. : Мир, 1971. - 364 с. : ил. ; 22 см. - Библиогр.: с. 353-358. - 1.64 р.

ГРНТИ	50.03
УДК	62-50

Рубрики: Автоматика

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

Доп. точки доступа:
Овсиевич, Б. Л.
Розенблюм, Л. Я.
Найти похожие

Громкович, Ю.
Теоретическая информатика [Текст] : введение в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию : учебник : пер с нем. / Ю. Громкович = Theoretische Informatik : Formale Sprachen, Berechenbarkeit, Komplexitätsheorie, Algorithmik, Kommunikation und Kryptographie / J. Hromkovic. - 3-е изд. - СПб. : БХВ-Петербург, 2010. - 336 с. : ил. ; 24 см. - (Учебная литература для вузов). - Библиогр.: с. 317-319 (71 назв.). - ISBN 978-5-9775-0406-5 : 261.50 р.
Гриф: допущено УМО по класс. унив. образованию в качестве учеб. для студ. вузов, обучающихся по спец. (направлению) подгот. ВПО 010501 (010500.62) "Приклад. математика и информатика" (ЕНФ.02 Информатика), направлению 010400 "Информ. технологии" (ЕНФ.02 Информатика). Тит. л. парал. на нем. яз.

ГРНТИ	50.01.33
УДК	004(075.8)

ББК 32.97

Рубрики: Вычислительная техника--Информатика

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

Найти похожие

Гладкий, А. В.
Формальные грамматики и языки [Текст] : научное издание / А. В. Гладкий ; ред. В. В. Донченко. - М. : Изд-во "Наука", 1973. - 368 с. : ил. ; 20 см. - Библиогр.: с. 349-356 . - Предм. указ.: с. 357-366 . - 1.51 р.

ГРНТИ	27.03
УДК	51:4

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

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

Доп. точки доступа:
Донченко, В. В.
Найти похожие

Машины Тьюринга и рекурсивные функции [Текст] : научное издание / Г.-Д. Эббинхауз [и др.] ; пер. с нем. Э. Г. Белаги. - М. : Изд-во "Мир", 1972. - 264 с. : ил., табл. ; 20 см. - (Современная математика). - Библиогр. в конце глав. - Указ.: с. 248-250. - Предм. указ.: с. 251-262. - 0.89 р.

ГРНТИ	27.25
УДК	517.11

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

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

Доп. точки доступа:
Эббинхауз, Г.-Д.
Якобс, К.
Ман, Ф.-К.
Хермес, Г.
Белага, Э. Г.
Найти похожие

Алексеев, В. Е.
Графы и алгоритмы. Структуры данных. Модели вычислений [Текст] : учебник / В. Е. Алексеев, В. А. Таланов. - М. : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2014. - 320 с. : ил. ; 22 см. - (Основы информационных технологий). - Библиогр.: с. 318-319 (24 назв.). - ISBN 978-5-9556-0066-6. - ISBN 978-5-94774-543-6 : 230.00 р.
Гриф: рек. Научно-метод. советом по прикладной математике и информатике УМО ун-тов РФ в качестве учеб. для студ., обучающихся по спец. 010200-Прикладная математика и информатика и по направлению 510200-Прикладаая математика и информатика

ГРНТИ	27.41.41.01.33
УДК	519.1(075.8)

ББК 22.12

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

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

Доп. точки доступа:
Таланов, В. А.
Найти похожие

Канцедал, Сергей Андреевич.
Дискретная математика [Текст] : учеб. пособие для сред. проф. образования / С. А. Канцедал. - Москва : ФОРУМ : ИНФРА-М, 2011. - 224 с. - (Профессиональное образование). - Библиогр.: с. 218- 219. - ISBN 978-5-8199-0304-9 : 130.46 р.

ББК 22.176я73

Рубрики: Математика--Комбинаторный анализ

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

Криницкий, Николай Андреевич.
Алгоритмы вокруг нас [Текст] / Н. А. Криницкий ; Акад. наук СССР. - Москва : Наука, 1977. - 223 с. - (Проблемы науки и технического прогресса). - 0.80 р.

ГРНТИ

27.47.21

ББК 22.18

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

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

Найти похожие

Кузнецов, Олег Петрович.
Дискретная математика для инженера [Текст] / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1988. - 480 с. : ил. - 1.80 р.
Библиогр.:с.473-475

ББК 22.17

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

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

Доп. точки доступа:
Адельсон-Вельский, Георгий Максимович
Найти похожие

10.

Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов. [Текст] / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 224 с. - 0.90 р.

ББК 22.12

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

Кл.слова (ненормированные):
алгоритмы -- задачи -- логика предикатов -- математическая логика -- машины Тьюринга -- нумерации Клини -- нумерации Поста -- предикаты -- теория алгоритмов -- теория множеств
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Максимова, Лариса Львовна
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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