📙 Задачи по теории множеств, математической логике и теории алгоритмов [2004] И.А. Лавров, Л.Л. Максимова

В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. 3-е издание книги вышло в 1995 г. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков – алгебраистов, логиков и кибернетиков.

Теория алгоритмов — раздел математической логики, в котором изучаются теоретические возможности эффективных процедур вычисления (алгоритмов) и их приложения.

📝 Теория алгоритмов развивается по нескольким направлениям:

▪️ Классическая теория алгоритмов. Изучает проблемы формулировки задач в терминах формальных языков, проводит классификацию задач по классам сложности (P, NP и др.).

▪️ Теория асимптотического анализа алгоритмов. Рассматривает методы получения асимптотических оценок ресурсоёмкости или времени выполнения алгоритмов, в частности, для рекурсивных алгоритмов.

▪️ Теория практического анализа вычислительных алгоритмов. Решает задачи поиска практических критериев качества алгоритмов, разработки методики выбора рациональных алгоритмов. #computer_science #дискретная_математика #математика #теория_множеств #math #coding #алгоритмы

💡 Physics.Math.Code // @physics_lib