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...
Казань: КГУ, 1999. 25 с.
В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом...
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2006. - 17 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов». Приводится формализация понятия «алгоритм». Обсуждаются два способа формального описания алгоритма – с помощью нормальных алгоритмов Маркова и через машины Тьюринга. Приводятся меры сложности алгоритмов, определяются легко и трудноразрешимые задачи,...
Понятие алгоритма. Примеры. Способы задания. Общие свойства. Необходимость математического уточнения понятия алгоритма. Нормальный алгоритм Маркова. Машины Тьюринга. Сведение любого алгоритма к вычислению числовой функции. Геделевская нумерация объектов. Примитивно рекурсивные функции. Универсальная функция. Существование вычислимых, но не примитивно рекурсивных функций....
Учебное пособие. — Белгород: Белгородская государственная технологическая академия строительных материалов, 2002.
В пособии даны основные понятия комбинаторики, рассмотрены алгоритмы порождения основных комбинаторных конфигураций и вопросы их использования при решении дискретных задач выбора. Большинство вопросов излагается с помощью примеров и практических приложений.
Учебное...
Предисловие.
обозначения и терминология.
введение.
предварительные понятия теории алгоритмов: конструктивные объекты и их ансамбли, локальные свойства и локальные действия.
Общее понятие алгоритма как самостоятельное (отдельное) понятие.
Представительные вычислительные модели.
Общее понятие исчисления как самостоятельное.
(отдельное) понятие.
Представительные порождающие...
В книге подробно разобрано много конкретных алгоритмов; мы старались рассказать о них понятно, но не опуская деталей и не жертвуя строгостью изложения.
Алгоритмы записаны с виде «псевдокода» и прокомментированы в тексте; мы старались сделать описание алгоритма понятным людям с минимальным программистским опытом. Книга содержит более 260 рисунков, поясняющих работу различных...
Автор неизвестен.
Конспект лекций по курсу "Матем. логика и теория алгоритмов". 2008 год. - 80 стр.
Исчисления высказываний.
Определение формального исчисления.
Исчисление высказываний генценовского типа.
Эквивалентность формул.
Нормальные формы.
Семантика исчисления секвенций.
Исчисление высказываний гильбертовского типа.
Алгоритмы проверки общезначимости и...
В пособии рассмотрено понятие комбинаторной задачи, приведены примеры таких задач, основные методы их решения и оценки эффективности алгоритмов. Рассмотрены основные понятия теории вычислительной сложности и приведены в кратком изложении основные результаты теории. Рассмотрены приемы доказательства NP-полноты и примеры NP-полных задач. Предназначено для студентов, изучающих курс...
Комментарии