Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

Доп. точки доступа:
Кабаков, Ф. А.
Адян, С. И.
Найти похожие

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

ГРНТИ	27.47.01.33
УДК	510.5(075.8)

ББК 22.12

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

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

Мендельсон, Эллиот.
Введение в математическую логику [Текст] / Э. Мендельсон. - 3-е изд. - Москва : Наука, 1984. - 320 с. - Библиогр.: с. 296-319. - 1.80 р.

ББК 22.12

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

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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