Информатика и вычислительная техника
  • формат pdf
  • размер 770.38 КБ
  • добавлен 02 октября 2010 г.
Морозов А.С. Введение в вычислимость
Учебное пособие. Новосибирск: НГУ, 2005. 114 с.

Данная книга - изложение курса лекций по теории алгоритмов, читанного автором на математическом факультете Новосибирского госуниверситета в 2001-2003 годах. Задача учебника - дать хорошее интуитивное понимание математического понятия алгоритма и служить введением для дальнейшего изучения других руководств по теории алгоритмов, а также служить методологической основой для изучения других предметов, таких, как, например, теоретическое программирование.
Читать онлайн
Похожие разделы
Смотрите также

Булос Дж., Джеффри Р. Вычислимость и логика

  • формат pdf
  • размер 17.48 МБ
  • добавлен 06 января 2010 г.
Дж. Булос, Р. Джеффри Вычислимость и логика Изд. "Мир"-М. , 1984. Счетность. Диагнолизация. Машины Тьюринга. Логика первого и второго порядка. Леммы Крейга. Теорема Рамсея.

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

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

Катленд Н. Вычислимость. Введение в теорию рекурсивных функций

  • формат djvu
  • размер 4.47 МБ
  • добавлен 30 октября 2010 г.
Перевод с англ. А. А. Мучника под ред. С. Ю. Маслова Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений. Для математиков, специалистов по ЭВМ, желающих ознакомиться с теоретическими основами...

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

Курсовая работа
  • формат doc
  • размер 1.16 МБ
  • добавлен 09 сентября 2011 г.
Содержание Введение: Актуальность темы Понятие алгоритма Признаки алгоритмов Структуры данных и их представление в памяти ЭВМ Эффективность алгоритмов и методы её достижения Форма алгоритмов Эффективность алгоритмов Машина Тьюринга Краткое содержание курсовой работы Разработка эффективных алгоритмов: Типы алгоритмов Линейный алгоритм Задание 1 Алгоритмы разветвляющейся структуры Задание 2 Циклические вычислительные процессы Задание 3 Словесн...

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

Статья
  • формат pdf
  • размер 43.93 МБ
  • добавлен 04 февраля 2012 г.
Автор не известен. 136 с. Лекции в виде презентации. Содержание. - Алгоритмы в математике. Основные черты алгоритмов. Числовые функциии алгоритмы их вычисления. Примитивно рекурсивные функции. - Частично рекурсивные функции.Тезис Черча. - Машины Тьюринга и машины с неограниченными регистрами. Вычислимость частично рекурсивных функций на МНР. - Нумерации и универсальные функции. - Нормальные алгорифмы. - Алгоритмические проблемы в логике и матем...

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

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

Машины Тьюринга. Часть 2

  • формат djvu
  • размер 780.9 КБ
  • добавлен 26 июля 2010 г.
Автор неизввестен. Сборник статей. Фрагмент книги, с. 213- 278. Выходных данных нет. Статьи: Шеннон. Клод Э. "Универсальная машина Тьюринга с двумя внутренними состояниями " Дэвис М. Д. "Замечание об универсальных машинах Тьюринга" Маккартни Дж. "Обращение функций, определяемых машинами Тьюринга" К. де Леу, Э. Ф. Мур, К. Э. Шеннон, Н. Шапиро "Вычислимость на вероятностных машинах"

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

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

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

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

Шпоры

Шпаргалка
  • формат htm
  • размер 150.58 КБ
  • добавлен 27 июня 2011 г.
Ответы на вопросы: Машина Тьюринга. Конструирование МТ. Вычислимые по Тьюрингу функции: ПРФ, ЧРФ. Правильная вычислимость. Уточнение понятия алгоритма через машину с неограниченными регистрами. нормальные алгоритмы Маркова. Вычислимые функции и разрешимые множества: вычислимость, разрешимость, перечислимость, множество n-ок нат чисел, диагональная конструкция, главные универсальные функции, универсальная ОРФ, перечислимое неразрешимое множество.r...