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

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

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

Наука и познание >> Математика





Разместил: Gunpowder

18-03-2014, 13:45

Просмотров: 461





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

Теория алгоритмов - В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы теории сложности вычислений.
Для студентов высших учебных заведений. Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.


Название: Теория алгоритмов
Автор: Крупский В. Н., Плиско В. Е.
Издательство: Академия
Год: 2009
Страниц: 208
Формат: PDF
Размер: 20,1 МБ
ISBN: 978-5-7695-5293-9
Качество: Отличное
Серия или Выпуск: Прикладная математика и информатика
Язык: Русский


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

Содержание:

Предисловие
Глава 1. Начальные понятия теории алгоритмов
1.1. Неформальное понятие алгоритма
1.2. Конструктивные объекты
1.3. Алгоритмический процесс
1.4. Вычислимые функции
1.5. Сигнализирующее множество
Глава 2. Алгоритмическая теория множеств
2.1. Разрешимые множества
2.2. Полуразрешимые множества
2.3. Перечислимые множества
2.4. Равнообъемность понятий полуразрешимости и перечислимости
2.5. Теорема о графике
2.6. Основные факты о разрешимых и перечислимых множествах
Глава 3. Машины Тьюринга
3.1. Определение одноленточной машины Тьюринга
3.2. Вычисление функций на машинах Тьюринга
3.3. Синтез машин Тьюринга
3.4. Тезис Тьюринга
3.5. Универсальная машина Тьюринга
3.6. Теорема о компиляции
3.7. Многоленточные машины Тьюринга
Глава 4. Рекурсивные функции
4.1. Введение
4.2. Примитивно рекурсивные функции
4.3. Частично-рекурсивные функции
4.4. Нормальная форма Клини
Глава 5. Машины с неограниченными регистрами
5.1. Определение и примеры программ
5.2. МНР-вычислимость частично-рекурсивных функций
Глава 6. Нумерации вычислимых функций
6.1. Нумерации вычислимых функций натурального аргумента
6.2. Нумерации, порожденные машинами Тьюринга
6.3. Нумерации, порожденные МНР
Глава 7. Неразрешимые алгоритмические проблемы
7.1. Примеры невычислимых функций
7.2. Проблема остановки
7.3. Теорема Раиса
Глава 8. Алгоритмические проблемы в математике и логике
8.1. Диофантово представление множеств и десятая проблема Гильберта
8.2. Проблема равенства слов в полугруппах
8.3. Арифметические множества и функции
Глава 9. Элементы теории сложности вычислений
9.1. Некоторые предварительные сведения
9.2. Меры сложности вычислений
9.3. Оценка эффективности вычислительных алгоритмов
Глава 10. Легко-и трудноразрешимые задачи
10.1. Класс Р
10.2. Булевы схемы полиномиального размера
10.3. Класс NP
10.4. Примеры заведомо трудных задач
Список литературы
Предметный указатель


Скачать Теория алгоритмов









Похожие публикации

Громкович Ю. - Теоретическая информатика Громкович Ю. - Теоретическая информатика
В книге изложены основные понятия теоретической информатики: алфавиты, слова, языки, алгоритмические проблемы, конечные автоматы, машины Тьюринга. Рассматриваются теория вычислимости, теория сложности, алгоритмизация труднорешаемых задач,

Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.) Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.)
Часть 1. Начала теории множеств Часть 2. Языки и исчисления Часть 3. Вычислимые функции

Машины Тьюринга и рекурсивные функции Машины Тьюринга и рекурсивные функции
Этот коллективный труд немецких математиков содержит элементарное изложение теории машин Тьюринга и рекурсивных функций - важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга

Колмогоровская сложность и алгоритмическая случайность Колмогоровская сложность и алгоритмическая случайность
Классическая (шенноновская) теория информации измеряет количество информации, заключенной в случайных величинах. В середине 1960-х годов А. H. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью

Дискретная математика и комбинаторика Дискретная математика и комбинаторика
Книга представляет собой современный учебник по дискретной математике. Кроме таких разделов, как математическая логика, теория множеств, комбинаторика, теория графов, теория алгоритмов и вычислений, традиционно включаемых в основной курс дискретной

Лекции по математике. Том 6 - От Диофанта до Тьюринга Лекции по математике. Том 6 - От Диофанта до Тьюринга
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый круг

Гоберман Л.А. - Теория, конструкция и расчет строительных и дорожных машин Гоберман Л.А. - Теория, конструкция и расчет строительных и дорожных машин
В учебном пособии основное внимание уделено теории и расчету строительных и дорожных машин и оборудования. В конкретных случаях даны некоторые основные определения и формулировки из курсов теоретической механики и математики, а решение наиболее

А.И. Белоусов, СБ. Ткачев-Дискретная математика А.И. Белоусов, СБ. Ткачев-Дискретная математика
В девятнадцатом выпуске серии "Математика в техническом университете" изложены теория множеств и отношений, элементы современной абстрактной алгебры, теория графов, классические понятия теории булевых функций, а также основы теории формальных

Босс В. - Лекции по математике. Том 6. От Диофанта до Тьюринга Босс В. - Лекции по математике. Том 6. От Диофанта до Тьюринга
Описание: Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов