Manning Publications, 2016. — 258 p. Grokking Algorithms is a fully illustrated, friendly guide that teaches you how to apply common algorithms to the practical problems you face every day as a programmer. You'll start with sorting and searching and, as you build up your skills in thinking algorithmically, you'll tackle more complex concerns such as data compression and...
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2006. - 17 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов». Приводится формализация понятия «алгоритм». Обсуждаются два способа формального описания алгоритма – с помощью нормальных алгоритмов Маркова и через машины Тьюринга. Приводятся меры сложности алгоритмов, определяются легко и трудноразрешимые задачи,...
Казань: КГУ, 1999. 25 с.
В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом...
В пособии рассмотрено понятие комбинаторной задачи, приведены примеры таких задач, основные методы их решения и оценки эффективности алгоритмов. Рассмотрены основные понятия теории вычислительной сложности и приведены в кратком изложении основные результаты теории. Рассмотрены приемы доказательства NP-полноты и примеры NP-полных задач. Предназначено для студентов, изучающих курс...
В книге подробно разобрано много конкретных алгоритмов; мы старались рассказать о них понятно, но не опуская деталей и не жертвуя строгостью изложения.
Алгоритмы записаны с виде «псевдокода» и прокомментированы в тексте; мы старались сделать описание алгоритма понятным людям с минимальным программистским опытом. Книга содержит более 260 рисунков, поясняющих работу различных...
Учебное пособие. — Белгород: Белгородская государственная технологическая академия строительных материалов, 2002.
В пособии даны основные понятия комбинаторики, рассмотрены алгоритмы порождения основных комбинаторных конфигураций и вопросы их использования при решении дискретных задач выбора. Большинство вопросов излагается с помощью примеров и практических приложений.
Учебное...
Автор неизвестен.
Конспект лекций по курсу "Матем. логика и теория алгоритмов". 2008 год. - 80 стр.
Исчисления высказываний.
Определение формального исчисления.
Исчисление высказываний генценовского типа.
Эквивалентность формул.
Нормальные формы.
Семантика исчисления секвенций.
Исчисление высказываний гильбертовского типа.
Алгоритмы проверки общезначимости и...
Понятие алгоритма. Примеры. Способы задания. Общие свойства. Необходимость математического уточнения понятия алгоритма. Нормальный алгоритм Маркова. Машины Тьюринга. Сведение любого алгоритма к вычислению числовой функции. Геделевская нумерация объектов. Примитивно рекурсивные функции. Универсальная функция. Существование вычислимых, но не примитивно рекурсивных функций....
Предисловие.
обозначения и терминология.
введение.
предварительные понятия теории алгоритмов: конструктивные объекты и их ансамбли, локальные свойства и локальные действия.
Общее понятие алгоритма как самостоятельное (отдельное) понятие.
Представительные вычислительные модели.
Общее понятие исчисления как самостоятельное.
(отдельное) понятие.
Представительные порождающие...
Комментарии