Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 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

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

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

Алексеев, В. Е.
Графы и алгоритмы. Структуры данных. Модели вычислений [Текст] : учебник / В. Е. Алексеев, В. А. Таланов. - М. : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 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

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

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

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

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

ББК 22.12

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

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

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

ГРНТИ

27.47.21

ББК 22.18

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

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

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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