алгоритм

Совершенный алгоритм, Графовые алгоритмы и структуры данных, Рафгарден Т., 2019.

  Алгоритмы — это сердце и душа computer science. Без них не обойтись, они есть везде — от сетевой маршрутизации и расчетов по геномике до криптографии и машинного обучения. «Совершенный алгоритм» превратит вас в настоящего профи, который будет ставить задачи и мастерски их решать как в жизни, так и на собеседовании при приеме на работу в любую IТ-компанию.
Во второй книге Тим Рафгарден, гуру алгоритмов, расскажет о графовом поиске и его применении, алгоритме поиска кратчайшего пути, а также об использовании и реализации некоторых структур данных: куч. деревьев поиска, хеш-таблиц и фильтра Блума.
Серия книг «Совершенный алгоритм» адресована тем. у кого уже есть опыт программирования, и основана на онлайн-курсах, которые регулярно проводятся с 2012 года. Вы перейдете на новый уровень, чтобы увидеть общую картину, разобраться в низкоуровневых концепциях и математических нюансах.

Программы, алгоритмы, конструкции, Мельников Л.Н., 1980.

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

Взвешивания и алгоритмы, от головоломок к задачам, Кноп К.А., 2016.

Пятая книжка серии «Школьные математические кружки» посвящена задачам о взвешиваниях и предназначена для занятий со школьниками 6-9 классов. В неё вошли разработки семи занятий математического кружка с подробно разобранными примерами различной сложности, задачами для самостоятельного решения и методическими указаниями для учителя. Приведены также дополнительные задачи. Для удобства заключительная часть книжки сделана в виде раздаточных материалов. Книжка адресована школьным учителям математики и руководителям математических кружков.

Модели и алгоритмы для интеллектуальных систем управления, Богуславский А.А., Боровин Г.К., Карташев В.А., 2019.

В монографии собраны результаты исследований по разработке математических моделей и алгоритмов интеллектуальных систем управления для подвижных робототехнических систем различного целевого назначения, отличающихся конструкцией движителей, элементами мехатроники и платформами реализации программного обеспечения. Описаны методы и средства развития интеллектуальной составляющей во всех уровнях систем управления роботами. Исследование выполнено методами концептуального и логического анализа с построением моделей предметной области, требуемых для функционирования каждой из рассматриваемых технических систем, с построением математических моделей механики их силовых элементов и ограничений наблюдаемости их операционных сред. Алгоритмическое обеспечение исследуется на предмет его реализуемости в масштабе реального времени с учётом доступных вычислительных ресурсов и возможности унифицированного использования. Акцентируется внимание на программной составляющей интеллектуальных систем управления. Предлагается общая схема компоновки таких систем на основе программного обеспечения наиболее ресурсоёмкой и унифицированной части систем информационного обеспечения - системы технического зрения.

Упрощенный алгоритм решения творческих задач, Горев П.М., Утёмов В.В., 2014.

Учебное пособие подготовлено в помощь студентам педагогических направлений подготовки (специальностей), учителям и преподавателям для использования на занятиях по изучению методов и приёмов научного творчества, а именно упрощенных алгоритмов решения творческих задач, в частности алгоритма С. Малкина, с целью формирования творческого мышления и развития творческого воображения учащихся. Книга может быть также полезна всем тем, кто находится в творческом поиске решения творческих ситуаций как учебного, так и внеучебного характера.

Алгоритмы решения экстремальных задач, Романовский И.В., 1977.

В книге излагаются теория и численные методы решения важных классов экстремальных задач: общей задачи линейного программирования, транспортной задачи и задач, ей родственных, комбинаторных задач на графах, ряда дискретных задач динамического программирования. Изложение численных методов сопровождается разбором алгоритмов, записанных на алгоритмических языках алгол-60 и алгол-68; при этом особое внимание уделено вопросам представления данных при эффективной организации вычислительного процесса. Книга рассчитана на студентов-старшекурсников и аспирантов математических факультетов, специализирующихся в приложениях, а также на сотрудников научно-исследовательских учреждений и вычислительных центров, связанных с разработкой численных методов решения экстремальных задач.

Алгоритм дипломного проектирования (по направлению подготовки дипломированных специалистов 655800 «Пищевая инженерия»), Антипов С.Т., Валуйский В.Я., Панфилов В.А., Ураков О.А., 2005.

1.1.2. ЗАДАЧИ ДИПЛОМНОГО ПРОЕКТИРОВАНИЯ.
Выпускник в соответствии с требованиями государственного образовательного стандарта к деятельности инженеров по направлению 655800 «Пищевая инженерия» при выполнении и защите дипломного проекта должен продемонстрировать теоретическую и практическую подготовку к решению следующих профессиональных задач:
в научно-исследовательской деятельности: документальное оформление и выполнение процедур сбора и анализа научно-технической и патентной информации; диагностика качества функционирования технологических линий и комплексов оборудования; экспериментальное исследование процессов, конструкции и материалов с разработкой рекомендаций по совершенствованию технического оснащения производства для достижения современного передового уровня;
в проектно-конструкторской деятельности; выполнение и документальное оформление процедур проектирования и разработки конструкторской документации для модернизации действующего оборудования, размещения или создания нового оборудования;

Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013.

Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 — "Информатика и вычислительная техника" (Специальность 220100 — ""Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 — ""Информатика и вычислительная техника ".
В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100. Достаточно подробно изложены основы логики высказываний и логики предикатов, включая приложение логики предикатов к доказательству правильности алгоритмов. Пособие содержит вводный материал по логическому программированию и клаузальной логике, а также основные понятия нечеткой и модальной логики. Приведены основы теории алгоритмов и алгоритмической разрешимости, доказательство эквивалентности моделей алгоритмов Тьюринга и рекурсивных схем Клини. Пособие содержит также введение в теорию эффективной вычислимости, переборных NP-нолных и NP-трудных задач.

1.7. Формальные теории и исчисление высказываний.
Формальная теория это
а) Множество правильно построенных формул (ППФ), или выражений, определяющих язык теории.
б) Подмножество формул множества ППФ, называемых аксиомами теории.
в) Правила вывода, т.е. конечное множество отношений между формулами.
Доказательством называется конечная последовательность
формул Ф, такая, что каждая Ф есть либо аксиома, либо
получена из предыдущих формул по одному из правил вывода.