Гашков, С.Б. Арифметика. Алгоритмы. Сложность вычислений

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

Издательство Мир, 1974, -392 с. Библиотека «Кибернетического сборника» Затрагиваемые в сборнике проблемы математической логики тесно связаны с теорией вычислительных машин. В книге рассматриваются модели вычислительных устройств, их классификация, классификация языков, оценки сложности вычислений и оценки сложности программ. Развивается связанный со сложностью программ подход А. Н. Колмогорова к обоснованию теории вероятностей и теории информаци...

В книге подробно разобрано много конкретных алгоритмов; мы старались рассказать о них понятно, но не опуская деталей и не жертвуя строгостью изложения. Алгоритмы записаны с виде «псевдокода» и прокомментированы в тексте; мы старались сделать описание алгоритма понятным людям с минимальным программистским опытом. Книга содержит более 260 рисунков, поясняющих работу различных алгоритмов. Мы обращаем особое внимание на эффективность рассматриваемых...

Московский физико-технический институт. 2007 г. 135 стр. Элементы теории сложности Несложно о сложности. Примеры алгоритмов Формально об алгоритмах Сложность алгоритмов Вероятностные вычисления Вероятностно проверяемые доказательства Схемы и схемная сложность Коммуникационная сложность Диаграмма классов сложности Приближенные алгоритмы с гарантированными оценками точности Приближенные алгоритмы с фиксированными оценками точности Приближенные алго...

Эта книга написана по материалам двух спецкурсов, читавшихся авторами в течение нескольких лет для студентов 4-го и 6-го курсов Московского физико-технического института. Она знакомит читателей как с классическими результатами в разработке эффективных алгоритмов для решения вычислительно-трудных задач, полученными еще в 1960-1970-х годах, так и с новыми результатами, полученными в последние годы. Именно в рассмотрении современных подходов к решен...

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

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

Возможности вычислительных машин, сложность вычислений, нижние оценки сложности, оптимизация алгоритмов

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

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