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

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=алгорифмы Маркова<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.

Вид документа : Однотомное издание
Шифр издания : 510/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику . -3.изд.
Выходные данные : М.: Наука, 1984
Колич.характеристики :320 с. ; 22см
Цена : 1.80 р.
ГРНТИ : 27.03
УДК : 510.6
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): исчисление--тавтологии--кванторы--теоремы--изоморфизмы--арифметика--арифметические функции--теорема гёделя--теорема тарского--система робинсона--числа--порядковые числа--гёдель--хартогс--теорема хартогса--алгорифмы маркова--алгорифмы тьюринга--алгорифмы--марков--тьюринг
Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 510(075)/Ф 19
Автор(ы) : Фалевич Б. Я.
Заглавие : Теория алгоритмов : учеб. пособие для студ. вузов, обучающихся по направлению "Информатика и вычислительная техника"
Выходные данные : М.: Машиностроение, 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.

Вид документа : Однотомное издание
Шифр издания : 519(075)/А 47
Автор(ы) : Алексеев В. Е., Таланов В. А.
Заглавие : Графы и алгоритмы. Структуры данных. Модели вычислений : учебник
Выходные данные : М.: Интернет-Университет Информационных Технологий: БИНОМ. Лаборатория знаний, 2014
Колич.характеристики :320 с.: ил.; 22 см
Серия: Основы информационных технологий
Примечания : Библиогр.: с. 318-319 (24 назв.). - Гриф: рек. Научно-метод. советом по прикладной математике и информатике УМО ун-тов РФ в качестве учеб. для студ., обучающихся по спец. 010200-Прикладная математика и информатика и по направлению 510200-Прикладаая математика и информатика
ISBN, Цена 978-5-9556-0066-6: 230.00 р.
ISBN, Цена 978-5-94774-543-6: Б.ц.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.12
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): графы--алгоритмы--структуры данных--модели вычислений--машины тьюринга--алгорифмы маркова--логическое программирование
Аннотация: Учебник состоит из трех частей, посвященных вопросам анализа и разработки алгоритмов: графы и алгоритмы, структуры данных, модели вычислений. Для понимания материала достаточно математической подготовки в объеме первого курса университета или технического вуза.
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику . -3-е изд.
Выходные данные : Москва: Наука, 1984
Колич.характеристики :320 с
Примечания : Библиогр.: с. 296-319
Цена : 1.80 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматическая теория множеств--алгорифмы маркова--алгорифмы тьюринга--логика высказываний--логика предикатов--математическая логика--теорема хартогса--теория алгоритмов--формализованная арифметика--формальная арифметика--элементарные теории
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 22.18
Автор(ы) : Криницкий, Николай Андреевич
Заглавие : Алгоритмы вокруг нас
Выходные данные : Москва: Наука, 1977
Колич.характеристики :223 с
Коллективы : Академия Наук СССР (М.)
Серия: Проблемы науки и технического прогресса
Цена : 0.80 р.
ГРНТИ : 27.47.21
ББК : 22.18
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): эвм--алгоритм евклида--алгоритмы--алгорифмы маркова--антиномии--арифметизация математики--вычислительная математика--математическое обеспечение--машины тьюринга--неразрешимые проблемы--нотация бекуса--прикладная математика--программирование--решето эратосфена--создание алгоритмов--теория алгоритмов--языки
Аннотация: Книга посвящена разделу современной прикладной математике - теории алгоритмов.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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