Анализ сложности алгоритмов - все книги по дисциплине. Издательство Лань

Учебное пособие содержит задачи по темам: множества, комбинаторика и бинарные отношения, булевы функции, графы, кодирование информации, алгоритмы. В пособии приведены краткие теоретические сведения, решено около 200 типовых примеров, содержится большой набор задач для самостоятельного решения, дана контрольная работа. При наличии большого количества новых понятий приведены систематизирующие таблицы, в которых указаны критерии использования понятий.
Предназначено для студентов обучающихся по образовательным программам среднего профессионального образования, входящим в УГС: «Техника и технология строительства», «Информатика и вычислительная техника», «Электроника, радиотехника и системы связи», «Электро- и теплотехника», и другим специальностям, где предусмотрен курс дискретной математики.

В пособии будут рассмотрены базовые приемы алгоритмизации, которые являются основой для решения более сложных задач программирования: проиллюстрированы основные понятия алгоритмизации (ветвление, циклы различных видов), базовые алгоритмы работы с основными структурами данных (массивами, символьными строками, матрицами). Отдельные главы учебного пособия посвящены структурированию программ (созданию пользовательских функций), а также работе с более сложными структурами данных (списками, деревьями, графами). Приведенные в учебном пособии примеры программ написаны на языках программирования C++ и C#, которые на данный момент являются одними из самых популярных универсальных языков программирования.
Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.
Данное учебное пособие предназначено для обучающихся по направлениям группы «Информатика и вычислительная техника» среднего профессионального образования, начинающих изучать программирование.

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.
Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.

Представлено пять тем: теория множеств, булева алгебра логики, теория конечных автоматов, комбинаторика и теория графов. Из теории множеств освещены темы: алгебра множеств, бинарные отношения, бесконечные множества, теория нечетких множеств. Из булевой алгебры — минимизация булевых формул в дизъюнктивных и конъюнктивных нормальных формах с учетом неопределенных состояний, булевы уравнения, первые сведения о булевом дифференциальном и интегральном исчислении. Из теории конечных автоматов — синтез логических комбинационных и многотактных схем, теорема Поста о функциональной полноте. Из комбинаторики — размещения, сочетания и перестановки с повторениями и без повторений, разбиение множеств и др. Из теории графов — графы и ориентированные графы, сети, деревья и др. Приведено более 2600 задач и упражнений для самостоятельной работы и 620 задач для контрольных работ. Ко всем упражнениям для самостоятельной работы приведены ответы.
Для студентов технических специальностей колледжей и техникумов, школьников старших классов общеобразовательных школ и для всех желающих самостоятельно пройти вводный курс прикладной дискретной математики. Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.

В книге изложены основы программирования на языке C# в среде .Net Framework, описаны операции и операторы языка, а также система встроенных типов данных. Значительное внимание уделено описанию организации консольного ввода-вывода, преобразованию значений при вводе и их форматированию при выводе. Текст содержит большое количество примеров программного кода, способствующих усвоению материала.
Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.
Книга предназначена для студентов, обучающихся по направлениям групп специальностей «Информатика и вычислительная техника», «Информационная безопасность», «Электроника, радиотехника и системы связи» среднего профессионального образования, а также учащихся старших классов и лиц, самостоятельно изучающих языки программирования.
К книге прилагаются дополнительные материалы, доступные в электронной библиотечной системе «Лань» по ссылке или QR-коду, указанным ниже.

Материал пособия скомпонован так, чтобы, с одной стороны, дать темы для практических занятий, познакомить студентов с важными идеями на несложных примерах, дать им возможность в совершенстве освоить необходимую технику вычислений, обсуждаемые алгоритмы, а с другой — последовательно и доказательно изложить теоретический материал, который может быть осмыслен на разных уровнях формализма и не обязательно при первом прочтении книги. Учебное пособие строится на базе известных из курса средней школы математических идей. Идеи эти достаточно разноплановы, чтобы заинтересовать людей с различными интересами и разной математической подготовкой.
Учебное пособие будет полезно студентам технических университетов, специализирующимся в направлении «Информатика».

В первой части дается введение в теорию алгоритмов (часто называемую также теорией вычислимых функций или просто теорией вычислимости). Намечаются разные варианты её построения, основанные на использовании теории рекурсивных функций, машин Тьюринга, Поста и Минского, бесконечного абака, алгорифмов Маркова и экзотического языка Фрактран, предложенного Конвеем. Приводятся классические примеры алгоритмически неразрешимых проблем. Во второй части излагаются основы теории NP-полных задач. Доказывается NP-полнота ряда классических комбинаторных проблем переборного характера, таких как проблема выполнимости логических формул, проблемы коммивояжера, упаковки рюкзака, размена монет, поиска минимального покрытия и максимальной клики и др. Рассматриваются точные и приближенные алгоритмы для решения этих задач.
В конце каждой части приводится список задач, дополняющих ее содержание. К некоторым из них даны указания к решению.
В основу книги положен семестровый курс, читавшийся автором на факультете математики и компьютерных наук Бакинского филиала МГУ им. М. В. Ломоносова.

Учебное пособие посвящено логико-алгебраическим основам дискретной математики. Содержит краткое и вместе с тем доступное для начинающих изложение элементов математической логики, основных алгебраических структур, важнейших понятий комбинаторики, теории графов, упорядоченных множеств и решеток.
Пособие предназначено для студентов, изучающих курс «Дискретная математика», а также другие дисциплины, относящиеся к теории дискретных систем и использующие аппарат дискретной математики.

Учебное пособие содержит кодификатор, тестовые задания и типовой расчет к разделу «Дискретная математика». Раздел представлен четырьмя тесно связанными между собой темами: элементы теории множеств, элементы комбинаторного анализа, элементы теории графов и элементы математической логики. Каждая тема снабжена справочным материалом, оформленным в виде таблиц, схем, рисунков. Имеются тестовые задания с решениями, тестовые задания для самопроверки и индивидуальные типовые задания с образцом для их выполнения. К тестовым заданиям для самопроверки прилагаются ответы.
Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям.
Данное пособие можно использовать для подготовки студентов к компьютерному тестированию по дискретной математике на этапах текущего, промежуточного контроля и проверки остаточных знаний. Пособие адресовано студентам учреждений среднего профессионального образования, обучающимся по специальностям «Информационные системы и программирование», «Информатика», а также школьникам старших классов.

В книге вводятся понятия косых многочленов от двух коммутирующих «переменных» и сопряженных к косым многочленам от одной и двух «переменных». Исследуется линейное уравнение с коэффициентами в алгебре с делением и находится его общее решение. Строятся правые и левые результантные матрицы систем косых многочленов. Рассматриваются некоторые их свойства. Доказывается теорема о связи рангов результантных матриц с порядком их правого (ПНОД) и левого (ЛНОД) наибольшего общего делителя и наименьшего общего кратного, формулируется алгоритм вычисления ПНОД и ЛНОД системы косых многочленов, отличный от известных алгоритмов.

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

Дается метод факторизации нелинейных ОДУ на примере уравнений первого порядка. Изучаются некоторые свойства решений обыкновенных нелинейных дифференциальных уравнений первого порядка, алгебраических над полем рациональных функций. Метод факторизации применяется к дифференциальному уравнению Риккати, для которого получены новые условия разрешимости в квадратурах. Рассматривается уравнение Абеля первого рода. Получены некоторые условия его факторизуемости и свойство, аналогичное свойству постоянства двойного отношения решений уравнения Риккати.

Книга адресована математикам, физикам, специалистам в области криптографии, лингвистики. Алгоритмы могут быть использованы в интеллектуальных системах, например, системах аналитических вычислений MAPLE, MATHEMATICA. Материал может быть использован в образовательном процессе для направлений подготовки: «Математика и механика», «Математические и естественные науки», для специальностей: «Математика и компьютерные науки», «Компьютерные и информационные науки», «Фундаментальная информатика и информационные технологии», «Математическое обеспечение и администрирование».