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

Издательство Springer, 2006, -494 pp.

Parameterized complexity theory provides a framework for a refined analysis of hard algorithmic problems.
Classical complexity theory analyzes and classifies problems by the amount of a resource, usually time or space, that is required by algorithms solving them. It was a fundam...

Автор не известен. 136 с. Лекции в виде презентации.

Содержание.
- Алгоритмы в математике. Основные черты алгоритмов. Числовые функциии алгоритмы их вычисления. Примитивно рекурсивные функции.
- Частично рекурсивные функции.Тезис Черча.
- Машины Тьюринга и машины с неограниченными регистрами. Вычислимость ч...

Издательство Chapman&Hall/CRC Press, 2010, -990 pp.

The design and analysis of algorithms and data structures form the foundation of computer science. As current algorithms and data structures are improved and new methods are introduced, it becomes increasingly important to present the latest research and applicatio...

2-е изд.: Пер. с англ. — СПб.: БХВ-Петербург. 2011. — 720 с.: ил.
Книга является наиболее полным руководством по разработке эффективных алгоритмов. Первая часть книги содержит практические рекомендации по разработке алгоритмов: приводятся основные понятия, дается анализ алгоритмов, рассматриваются типы структур данных, основ...

М.: МГУ, 2006. – 47 с. Учебно-методическое пособие

Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера.

Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения.

Пособие р...

Автор Лифшиц Ю.М. РАН СПб. Отделение Математического Института им. В.А. Стеклова, Лаборатория математической логики

Содержание
Введение
Хронология теории алгоритмов
Современное состояние теории алгоритмов
Использование других наук в алгоритмах
Наиболее значимые применения алгоритмов
Идеи и техник...

М.: МЦНМО, 2001. - 960 с.

Книга представляет собой перевод учебника по курсу построения и анализа эффективных алгоритмов, написанного в Массачусетсом технологическом институте; в ней разбираются важнейшие, классы быстрых алгоритмов и приёмы их построения.
Изложение подробное и математически строгое. Книгу можно испо...

М.: Мир, 1984. - 510 с.

В предлагаемой вниманию читателей книге удачно синтезированы вопросы, которые ранее в литературе освещались изолированно. Объединяющим все изложение лейтмотивом послужила задача линейного программирования, занимающая важное место в истории развития теории алгоритмов.

Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2006. - 17 с.
Методическое пособие по дисциплине «Математическая логика и теория алгоритмов».

Приводится формализация понятия «алгоритм». Обсуждаются два способа формального описания алгоритма –с помощью нормальных алгоритмов Маркова и через машины Тьюринга. Приводятся меры сложности...

Издательство Springer, 1998, -337 pp.

Proof Verification and Approximation Algorithms - Hardly any area in theoretical computer science has been more lively and flourishing during the last few years. Different lines of research which had been developed independently of each other over the years culminated in a new and u...

Издательство Springer, 2006, -405 pp.

The course serves a dual purpose: to cover core material in the foundations of computing for graduate students in computer science preparing for their PhD qualifying exams, and to provide an introduction to some more advanced topics in the theory of computational complexity for thos...

Автор неизвестен. г. Екатеринбург, 2009. 73 слайда.Происхождение слова алгоритм. Варианты протекания алгоритмического процесса. Основные черты алгоритма. Алгоритмический процесс . Десятая проблема Гильберта. Направления формализации понятия алгоритм. Машина Тьюринга. Нормальные алгорифмы Маркова. Конструктивные объекты.

Современное программирование излагается как искусство заставить
компьютер решить задачу, возникшую перед человеком. Даны единые основания
математики и программирования, краткие сведения из области графов, теории
вероятностей и информации (в ее математическом толковании). Приведены
основные понятия и конструкции с...

Издательский дом "Вильямс",второе издание, 2005 год, 1296 страниц.
Фундаментальный труд специалистов в области кибернетики. Который достоин занять место на книжной полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмизацией. Для профессионала данная книга может служить настольным справочник...

Издательство Cambridge University Press, 2008, -632 pp.

The quest for efficiency is ancient and universal, as time and other resources are always in shortage. Thus, the question of which tasks can be performed efficiently is central to the human experience.
A key step toward the systematic study of the aforementione...

Издательство Cambridge University Press, 2010, -216 pp.

The quest for efficiency is ancient and universal, as time and other resources are always in shortage. Thus, the question of which tasks can be performed efficiently is central to the human experience.
A key step toward the systematic study of the aforementione...

М.: Мир, 1972. - 624 с.
Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет.
Не предполагающая в основной с...

Оценить длину программы умножения матриц произвольного ранга.
Оценить начальное количество ошибок в ОС, если число разрядов слова состояния системы равно 12.
Оценить длину программы обращения матрицы произвольного ранга.
Оценить длину программы сортировки массива (например, по методу «пузырька»).
Оценить квалифик...

Издательство McGrow-Hill, 1967, -504 pp.

In addressing the American Mathematical Society in 1944, E. L. Post concluded, "Indeed, if general recursive function is the formal equivalent of effective calculability, its formulation may play a role in the history of combinatory mathematics second only to that of the formulat...

Из серии Foundations and Trends in Theoretical Computer Science издательства NOWPress, 2009, -127 pp.

We survey lower bounds in communication complexity. Our focus is on lower bounds that work by first representing the communication complexity measure in Euclidean space. That is to say, the first step in these lower bou...

2-е издание, - М.: Издательский дом "Вильямс", 2005. - 1296 с.: ил.

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

Уч-метод. пособие - М.: ВМК МГУ,
2006. – 47 с.

Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера.
Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения.
Пособие рассчитано ...

Введение в теорию алгоритмов
Сложность алгоритмов
Сортировка и поиск
Сортировка всплытия Флойда
Логарифмический поиск
Сортировка с вычисляемыми адресами
Генетические алгоритмы
Моделирование генетических операций
Вычислительные эксперименты с генетическими операциямиrn

М. Мир 1979
Изучение алгоритмов является сердцевиной науки о вычислениях. В последние годы здесь были достигнуты значительные успехи. Они простираются от разработки более быстрых алгоритмов, таких как быстрое преобразование Фурье, до впечатляющего открытия, что для некоторых естественных проблем все алгоритмы неэффективны. Э...

24 слайда//Теория алгоритмов это.
Возникновение теории алгоритмов.
Модели вычисления.
Машина Тьюринга.
Машина Поста.
Устройство машины Тьюринга.

Пер. с нем. / Под ред. Б. Ф. Мельникова. - 3-е изд. - СПб.: БХВ-Петербург, 2010. - 336с (Учебная литература для вузов)

Изложены основные понятия теоретической информатики: алфавиты, слова, языки, алгоритмические проблемы, конечные автоматы, машины Тьюринга. Рассматриваются теория вычислимости, теория сложности, алгоритм...

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

М.: МЦНМО, 1999-2000.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
Начала теории множеств.
Множества и мощности.
Упорядоченные множества.
Языки и исчисления.
Логика высказываний.
Исчисление высказываний.
Языки первого порядка.

М.: ФИЗМАТЛИТ, 2006. 296 с.
Книга является учебным пособием по теории рекурсии в аспекте ее применения в области проrраммирования. В ней рассматриваются основы теории рекурсии и ее использование в области разработки и анализа рекурсивных алrоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, д...

1-е издание, 1990. — 893 с.: ил.

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

Категория: Математическая логика. Автор: Таль А. А. , Айзерман М. А. , Гусев Л. А. , Розоноер Л. И. , Смирнова И. М. Название: Логика, автоматы, алгоритмы. Количество страниц:
556. Год издания: 1963. Издательство: Наука. ОГЛАВЛЕНИЕ. Элементы математической логики. Вводные замечания. Основные понятия. Исчисление высказываний....

Учебное пособие. - Улан-Удэ: Изд-во ВСГТУ,
2000 г. - 51 с.

В учебном пособии рассмотрены основные понятия теории; формальные модели алгоритмов, дается классификация формальных грамматик, описаны используемые в практике программирования алгоритмы преобразования грамматик и синтеза автоматов.
По каждому разделу п...

Монография американских авторов, посвященная общим принципам решения задач на ЭВМ, разработке и анализу алгоритмов. Подробно описываются основные этапы решения задач, даются конкретные примеры, иллюстрирующие теоретические выводы и упражнения. По тематике книга пересекается с "Искусством программирования" Д. Кнута но рассчитана ...

Архив содержит файлы решенных задач на МТ следующих вариантов:
Вариант 1
На информационной ленте машины Тьюринга содержится массив символов +. Необходимо разработать функциональную схему машины Тьюринга, которая каждый второй символ + заменит на -. Каретка в начальном состоянии находится где-то над указанным масси...

1-е издание, 1990. — 893 с.: ил.

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

В документе находятся теоретические и практические данные (с решениями) о машине Поста и Тьюринга.
Машина Поста.
Машина Тьюринга

15 слайдов.
Свойства алгоритма.
Классификация алгоритмов по структуре.
Классификация алгоритмов по форме представления.
Таблица основных условных обозначений в блок-схемах.

2-е изд. М.: Наука, 1986. -368с. Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики.

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

1982 год, 120 страниц, 2-е издание

Оригинальное и нестандартное изложение известных методов анализа алгоритмов, написанные крупным американским специалистом Д. Кнутом в соавторстве с Д. Грином. В книге представлены: комбинаторные тождества, рекуррентные соотношения, асимптотические представления. От читателя требуется з...