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


Flum J., Grohe M. Parameterized Complexity Theory

Flum J., Grohe M. Parameterized Complexity Theory

  • разное
  • pdf
  • 3.68 МБ
  • скачан 18 раз
  • добавлен 08.02.2012
Издательство 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...
Лекции - Теория алгоритмов

Лекции - Теория алгоритмов

  • лекции
  • pdf
  • 43.93 МБ
  • скачан 225 раз
  • добавлен 04.02.2012
Автор не известен. 136 с. Лекции в виде презентации.

Содержание.
- Алгоритмы в математике. Основные черты алгоритмов. Числовые функциии алгоритмы их вычисления. Примитивно рекурсивные функции.
- Частично рекурсивные функции.Тезис Черча.
- Машины Тьюринга и машины с неограниченными регистрами. Вычислимость ч...
Atallah M.J., Blanton M. (eds.) Algorithms and Theory of Computation Handbook. General Concepts and Techniques

Atallah M.J., Blanton M. (eds.) Algorithms and Theory of Computation Handbook. General Concepts and Techniques

  • разное
  • pdf
  • 8.46 МБ
  • скачан 25 раз
  • добавлен 30.01.2012
Издательство 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...
Скиена С. Алгоритмы. Руководство по разработке

Скиена С. Алгоритмы. Руководство по разработке

  • разное
  • djvu
  • 10.81 МБ
  • скачан 717 раз
  • добавлен 16.01.2012
2-е изд.: Пер. с англ. — СПб.: БХВ-Петербург. 2011. — 720 с.: ил.
Книга является наиболее полным руководством по разработке эффективных алгоритмов. Первая часть книги содержит практические рекомендации по разработке алгоритмов: приводятся основные понятия, дается анализ алгоритмов, рассматриваются типы структур данных, основ...
Пильщиков В.Н., Абрамов В.Г., Вылиток А.А., Горячая И.В. Машина Тьюринга и алгоритмы Маркова. Решение задач

Пильщиков В.Н., Абрамов В.Г., Вылиток А.А., Горячая И.В. Машина Тьюринга и алгоритмы Маркова. Решение задач

  • разное
  • djvu
  • 255.05 КБ
  • скачан 146 раз
  • добавлен 04.01.2012
М.: МГУ, 2006. – 47 с. Учебно-методическое пособие

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

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

Пособие р...
Реферат - Принципы развития теории алгоритмов

Реферат - Принципы развития теории алгоритмов

  • рефераты
  • doc
  • 137 КБ
  • скачан 62 раза
  • добавлен 04.01.2012
Автор Лифшиц Ю.М. РАН СПб. Отделение Математического Института им. В.А. Стеклова, Лаборатория математической логики

Содержание
Введение
Хронология теории алгоритмов
Современное состояние теории алгоритмов
Использование других наук в алгоритмах
Наиболее значимые применения алгоритмов
Идеи и техник...
Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: Построение и анализ

Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: Построение и анализ

  • разное
  • djvu
  • 23.08 МБ
  • скачан 618 раз
  • добавлен 04.01.2012
М.: МЦНМО, 2001. - 960 с.

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

Пападимитриу X., Стайглиц К. Комбинаторная оптимизация: Алгоритмы и сложность

  • разное
  • pdf
  • 19.81 МБ
  • скачан 191 раз
  • добавлен 04.01.2012
М.: Мир, 1984. - 510 с.

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

Битюцкий В.П., Папуловская Н.В. Теория алгоритмов

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

Приводится формализация понятия «алгоритм». Обсуждаются два способа формального описания алгоритма –с помощью нормальных алгоритмов Маркова и через машины Тьюринга. Приводятся меры сложности...
Mayr E.W., Pr?mel H.J., Steger A. (eds.) Lectures on Proof Verification and Approximation Algorithms

Mayr E.W., Pr?mel H.J., Steger A. (eds.) Lectures on Proof Verification and Approximation Algorithms

  • разное
  • pdf
  • 5.17 МБ
  • скачан 12 раз
  • добавлен 08.12.2011
Издательство 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...
Kozen D.C. Theory of Computation

Kozen D.C. Theory of Computation

  • разное
  • pdf
  • 2.75 МБ
  • скачан 54 раза
  • добавлен 08.12.2011
Издательство 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...
Презентация - Теория алгоритмов

Презентация - Теория алгоритмов

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

Лавров C.C. Программирование - Основы Средства Теория

  • разное
  • pdf
  • 16.56 МБ
  • скачан 17 раз
  • добавлен 10.11.2011
Современное программирование излагается как искусство заставить
компьютер решить задачу, возникшую перед человеком. Даны единые основания
математики и программирования, краткие сведения из области графов, теории
вероятностей и информации (в ее математическом толковании). Приведены
основные понятия и конструкции с...
Томас К., Чарльз Л. Алгоритмы. Построение и анализ

Томас К., Чарльз Л. Алгоритмы. Построение и анализ

  • разное
  • pdf
  • 126.87 МБ
  • скачан 11 раз
  • добавлен 07.11.2011
Издательский дом "Вильямс",второе издание, 2005 год, 1296 страниц.
Фундаментальный труд специалистов в области кибернетики. Который достоин занять место на книжной полке любого человека, чья деятельность так или иначе связана с информатикой и алгоритмизацией. Для профессионала данная книга может служить настольным справочник...
Goldreich O. Computational Complexity. A Conceptual Perspective

Goldreich O. Computational Complexity. A Conceptual Perspective

  • разное
  • pdf
  • 3.3 МБ
  • скачан 23 раза
  • добавлен 31.10.2011
Издательство 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...
Goldreich O. P, NP, and NP-Completeness. The Basics of Computational Complexity

Goldreich O. P, NP, and NP-Completeness. The Basics of Computational Complexity

  • разное
  • pdf
  • 1.11 МБ
  • скачан 23 раза
  • добавлен 31.10.2011
Издательство 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...
Роджерс Х. Теория рекурсивных функций и эффективная вычислимость

Роджерс Х. Теория рекурсивных функций и эффективная вычислимость

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

Контрольная работа - Программометрика

  • лабараторные
  • doc
  • 35 КБ
  • скачан 66 раз
  • добавлен 20.10.2011
Оценить длину программы умножения матриц произвольного ранга.
Оценить начальное количество ошибок в ОС, если число разрядов слова состояния системы равно 12.
Оценить длину программы обращения матрицы произвольного ранга.
Оценить длину программы сортировки массива (например, по методу «пузырька»).
Оценить квалифик...
Rogers H. Theory of Recursive Functions and Effective Computability

Rogers H. Theory of Recursive Functions and Effective Computability

  • разное
  • djvu
  • 4.9 МБ
  • скачан 18 раз
  • добавлен 12.10.2011
Издательство 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...
Lee T., Shraibman A. Lower Bounds in Communication Complexity: A Survey

Lee T., Shraibman A. Lower Bounds in Communication Complexity: A Survey

  • разное
  • pdf
  • 943.48 КБ
  • скачан 8 раз
  • добавлен 07.10.2011
Из серии 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...
Лекции - Аппаратная реализация алгоритмов

Лекции - Аппаратная реализация алгоритмов

  • лекции
  • doc
  • 513.5 КБ
  • скачан 45 раз
  • добавлен 01.07.2011
Краткий конспект по лекциям, набранный в формате doc 12стр.
Темы:
Системы проектирования и отладки.
Системы проектирования ALTERA.
Программируемые логические интегральные схемы (ПЛИС).
Программируемые логические схемы.
ПЛИС блочной структуры.
ПЛИС с матричной архитектурой.
ПЛИС фирмы Altera.
П...
Лекции - Теория алгоритмов

Лекции - Теория алгоритмов

  • лекции
  • pdf
  • 43.93 МБ
  • скачан 225 раз
  • добавлен 04.02.2012
Автор не известен. 136 с. Лекции в виде презентации.

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

Лекции по алгоритмам и анализу сложности

  • лекции
  • doc
  • 1.39 МБ
  • скачан 336 раз
  • добавлен 26.09.2009
Введение в теорию алгоритмов
Сложность алгоритмов
Сортировка и поиск
Сортировка всплытия Флойда
Логарифмический поиск
Сортировка с вычисляемыми адресами
Генетические алгоритмы
Моделирование генетических операций
Вычислительные эксперименты с генетическими операциямиrn
Контрольная работа - Программометрика

Контрольная работа - Программометрика

  • лабараторные
  • doc
  • 35 КБ
  • скачан 66 раз
  • добавлен 20.10.2011
Оценить длину программы умножения матриц произвольного ранга.
Оценить начальное количество ошибок в ОС, если число разрядов слова состояния системы равно 12.
Оценить длину программы обращения матрицы произвольного ранга.
Оценить длину программы сортировки массива (например, по методу «пузырька»).
Оценить квалифик...
Лабораторные работы - Конструирование МТ

Лабораторные работы - Конструирование МТ

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

Презентация - Алгоритм и его формальное исполнение

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

Презентация - Теория алгоритмов

  • рефераты
  • ppt
  • 159.5 КБ
  • скачан 456 раз
  • добавлен 18.11.2010
24 слайда//Теория алгоритмов это.
Возникновение теории алгоритмов.
Модели вычисления.
Машина Тьюринга.
Машина Поста.
Устройство машины Тьюринга.
Презентация - Теория алгоритмов

Презентация - Теория алгоритмов

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

Презентация - Элементы теории алгоритмов

  • рефераты
  • ppt
  • 1.86 МБ
  • скачан 215 раз
  • добавлен 05.06.2011
Понятие алгоритма.
Свойства алгоритмов.
Дискретность.
Детерминированность.
Конечность.
Массовость.
Результативность.
Виды алгоритмов.
Линейный алгоритм.
Циклический алгоритм.
Разветвляющийся алгоритм.
Вспомогательный алгоритм.
Способы описания алгоритмов.
Словесный сп...
Нет изображения

Пример - Игра Жизнь. Простая реализация на языке NetLogo

  • лабараторные
  • jpg,txt
  • 52.57 КБ
  • скачан 64 раза
  • добавлен 26.09.2010
Игра «Жизнь» (Conway's Game of Life) — клеточный автомат, придуманный английским математиком Джоном Конвеем в 1970 году.

Место действия этой игры — «вселенная» — это размеченная на клетки поверхность. В нашем случае она замкнутая. Каждая клетка на этой поверхности может находиться в двух состояниях:
&bul...
Реферат - Клеточные автоматы

Реферат - Клеточные автоматы

  • рефераты
  • doc
  • 348.5 КБ
  • скачан 65 раз
  • добавлен 31.05.2010
18 ст.
Вступ.
Основні поняття.
Властивості кліткових автоматів.
Класифікація кліткових автоматів.
Одновимірні кліткові автомати.
Двовимірні кліткові автомати.
Автомати з клітинами без пам'яті.
Гра «Життя».
Застосування кліткових автоматів.
Висновок.
Використана література.
Реферат - Принципы развития теории алгоритмов

Реферат - Принципы развития теории алгоритмов

  • рефераты
  • doc
  • 137 КБ
  • скачан 62 раза
  • добавлен 04.01.2012
Автор Лифшиц Ю.М. РАН СПб. Отделение Математического Института им. В.А. Стеклова, Лаборатория математической логики

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

Реферат - Структуры данных и алгоритмы

  • рефераты
  • docx
  • 43.57 КБ
  • скачан 56 раз
  • добавлен 23.02.2011
Теоретическая часть - "Жадные алгоритмы".
Элементы жадной стратегии.
Свойство жадного выбора.
Оптимальная подструктура.
Алгоритм Хаффмена.
Практическая часть - расчет вычислительной сложности алгоритма сортировки методом вставок.
10стр.
Реферат - Элементы теории алгоритмов

Реферат - Элементы теории алгоритмов

  • рефераты
  • doc
  • 118.5 КБ
  • скачан 184 раза
  • добавлен 05.06.2011
Содержание.
Введение.
Понятие алгоритма.
Свойства алгоритмов.
Дискретность.
Детерминированность.
Конечность.
Массовость.
Результативность.
Виды алгоритмов.
Линейный алгоритм.
Циклический алгоритм.
Разветвляющийся алгоритм.
Вспомогательный алгоритм.
Способы о...
Курсовая работа - Теория алгоритмов. Разработка эффективных алгоритмов

Курсовая работа - Теория алгоритмов. Разработка эффективных алгоритмов

  • курсовые
  • doc
  • 1.16 МБ
  • скачан 206 раз
  • добавлен 09.09.2011
Содержание

Введение:

Актуальность темы
Понятие алгоритма
Признаки алгоритмов
Структуры данных и их представление в памяти ЭВМ
Эффективность алгоритмов и методы её достижения
Форма алгоритмов
Эффективность алгоритмов
Машина Тьюринга
Краткое содержание курсовой работы

Разр...
Тесты по теории алгоритмов и программа ASSIST2

Тесты по теории алгоритмов и программа ASSIST2

  • шпаргалки
  • exe,rtf,txt
  • 735.77 КБ
  • скачан 150 раз
  • добавлен 14.02.2011
Для контроля знаний предлагается программа ASSIST2, для которой приведены тесты по дисциплине "Теория алгоритмов". Содержатся вопросы по машинам Тьюринга и Поста.
Дружеский интерфейс позволяет автоматически получить оценку по пятибальной системе.
Нет изображения

Шпоры

  • шпаргалки
  • htm
  • 150.58 КБ
  • скачан 119 раз
  • добавлен 27.06.2011
Ответы на вопросы:
Машина Тьюринга.
Конструирование МТ.
Вычислимые по Тьюрингу функции: ПРФ, ЧРФ.
Правильная вычислимость.
Уточнение понятия алгоритма через машину с неограниченными регистрами.
нормальные алгоритмы Маркова.
Вычислимые функции и разрешимые множества: вычислимость, разрешимость, перечис...
Atallah M.J., Blanton M. (eds.) Algorithms and Theory of Computation Handbook. General Concepts and Techniques

Atallah M.J., Blanton M. (eds.) Algorithms and Theory of Computation Handbook. General Concepts and Techniques

  • разное
  • pdf
  • 8.46 МБ
  • скачан 25 раз
  • добавлен 30.01.2012
Издательство 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...
Atallah M.J., Blanton M. Algorithms and Theory of Computation Handbook: Special Topics and Techniques

Atallah M.J., Blanton M. Algorithms and Theory of Computation Handbook: Special Topics and Techniques

  • разное
  • pdf
  • 10.74 МБ
  • скачан 33 раза
  • добавлен 22.08.2011
Chapman and Hall/CRC, 2009. - 950 pages.

Algorithms and Theory of Computation Handbook, Second Edition: Special Topics and Techniques provides an up-to-date compendium of fundamental computer science topics and techniques. It also illustrates how the topics and techniques come together to deliver efficient solutions to...
Bednorz W. (ed.) Advances in Greedy Algorithms

Bednorz W. (ed.) Advances in Greedy Algorithms

  • разное
  • pdf
  • 55.32 МБ
  • скачан 17 раз
  • добавлен 23.09.2011
Издательство InTech, 2008, -596 pp.
Сборник статей

The greedy algorithm is one of the simplest approaches to solve the optizmization problem in which we want to determine the global optimum of a given function by a sequence of steps where at each stage we can make a choice among a class of possible decisions. In the...
Кормен Т.Х., Лейзерсон Ч.И., Ривест Р.Л., Штайн К. Алгоритмы: Построение и анализ, 2-е издание

Кормен Т.Х., Лейзерсон Ч.И., Ривест Р.Л., Штайн К. Алгоритмы: Построение и анализ, 2-е издание

  • разное
  • djvu
  • 18.3 МБ
  • скачан 786 раз
  • добавлен 29.01.2009
2-е издание, - М.: Издательский дом "Вильямс", 2005. - 1296 с.: ил.

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

Пильщиков В.Н. и др. Машина Тьюринга и алгоритмы Маркова. Решение задач

  • разное
  • pdf
  • 541.65 КБ
  • скачан 662 раза
  • добавлен 04.11.2009
Уч-метод. пособие - М.: ВМК МГУ,
2006. – 47 с.

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

Лекции по алгоритмам и анализу сложности

  • лекции
  • doc
  • 1.39 МБ
  • скачан 336 раз
  • добавлен 26.09.2009
Введение в теорию алгоритмов
Сложность алгоритмов
Сортировка и поиск
Сортировка всплытия Флойда
Логарифмический поиск
Сортировка с вычисляемыми адресами
Генетические алгоритмы
Моделирование генетических операций
Вычислительные эксперименты с генетическими операциямиrn
Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов

Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов

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

Презентация - Теория алгоритмов

  • рефераты
  • ppt
  • 159.5 КБ
  • скачан 456 раз
  • добавлен 18.11.2010
24 слайда//Теория алгоритмов это.
Возникновение теории алгоритмов.
Модели вычисления.
Машина Тьюринга.
Машина Поста.
Устройство машины Тьюринга.
Громкович Ю. Теоретическая информатика. Введение в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию

Громкович Ю. Теоретическая информатика. Введение в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию

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

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

Алферова З.В. Теория алгоритмов

  • разное
  • djvu
  • 1.63 МБ
  • скачан 305 раз
  • добавлен 02.09.2009
В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки и преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с теорией автоматов.
Пособие пре...
Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1,2,3

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1,2,3

  • разное
  • djvu
  • 1.48 МБ
  • скачан 131 раз
  • добавлен 05.05.2010
М.: МЦНМО, 1999-2000.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
Начала теории множеств.
Множества и мощности.
Упорядоченные множества.
Языки и исчисления.
Логика высказываний.
Исчисление высказываний.
Языки первого порядка.
Головешкин В.А., Ульянов М.В. Теория рекурсии для программистов

Головешкин В.А., Ульянов М.В. Теория рекурсии для программистов

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

Кормен Т.Х., Лейзерсон Ч.И., Ривест Р.Л., Штайн К. Алгоритмы: Построение и анализ, 1-е издание

  • разное
  • zip
  • 3.67 МБ
  • скачан 158 раз
  • добавлен 07.06.2010
1-е издание, 1990. — 893 с.: ил.

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

Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Таль А.А. Логика, автоматы, алгоритмы

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

Бильгаева Н.Ц. Теория алгоритмов, формальных языков, грамматик и автоматов

  • разное
  • pdf
  • 528.46 КБ
  • скачан 143 раза
  • добавлен 15.10.2009
Учебное пособие. - Улан-Удэ: Изд-во ВСГТУ,
2000 г. - 51 с.

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

Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов

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

Лабораторные работы - Конструирование МТ

  • лабараторные
  • doc
  • 21.06 КБ
  • скачан 172 раза
  • добавлен 27.05.2011
Архив содержит файлы решенных задач на МТ следующих вариантов:
Вариант 1
На информационной ленте машины Тьюринга содержится массив символов +. Необходимо разработать функциональную схему машины Тьюринга, которая каждый второй символ + заменит на -. Каретка в начальном состоянии находится где-то над указанным масси...
Кормен Т.Х., Лейзерсон Ч.И., Ривест Р.Л., Штайн К. Алгоритмы: Построение и анализ, 1-е издание

Кормен Т.Х., Лейзерсон Ч.И., Ривест Р.Л., Штайн К. Алгоритмы: Построение и анализ, 1-е издание

  • разное
  • pdf
  • 4.55 МБ
  • скачан 101 раз
  • добавлен 11.09.2010
1-е издание, 1990. — 893 с.: ил.

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

Иванов И.В. Машина Поста и Тьюринга

  • разное
  • doc
  • 219 КБ
  • скачан 226 раз
  • добавлен 28.11.2010
В документе находятся теоретические и практические данные (с решениями) о машине Поста и Тьюринга.
Машина Поста.
Машина Тьюринга
Презентация - Алгоритм и его формальное исполнение

Презентация - Алгоритм и его формальное исполнение

  • рефераты
  • pptx
  • 171.81 КБ
  • скачан 149 раз
  • добавлен 14.11.2010
15 слайдов.
Свойства алгоритма.
Классификация алгоритмов по структуре.
Классификация алгоритмов по форме представления.
Таблица основных условных обозначений в блок-схемах.
Мальцев А.И. Алгоритмы и рекурсивные функции

Мальцев А.И. Алгоритмы и рекурсивные функции

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

Гук А.К. Математическая логика и теория алгоритмов

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

Грин Д., Кнут Д. Математические методы анализа алгоритмов

  • разное
  • djvu
  • 1.55 МБ
  • скачан 98 раз
  • добавлен 28.07.2007
1982 год, 120 страниц, 2-е издание

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