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

Богатая коллекция старинных задач предоставляет читателю замечательную возможность проследить за развитием математической мысли с древнейших времен.

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

Конспект лекций по дискретной математике, подготовленный на математическом факультете Челябинского государственного университета, включает два раздела "Алгебра логики" и "к-значная логика".

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

В учебнике рассмотрены общие (множества и отношения, алгебра и топология) и специальные (математическая логика, математическая кибернетика, математическая информатика) вопросы дискретной математики. Для студентов высших учебных заведений. Может быть полезен аспирантам, научным работникам и специалистам в области прикладной математики и современных наукоемких информационных технологий. Из предисловия. Данный учебный курс задуман как начальный базовый курс дискретной математики. В нем отражен опыт авторов чтения курса дискретной математики в Московском государственном университете имени М.В. Ломоносова, в Военной академии ракетных войск стратегического назначения имени Петра Великого и в Российском государственном университете нефти и газа имени И. М. Губкина. Учебник отличается от большинства аналогичных тем, что в нем особое внимание уделяется алгебре и топологии, а также различию сильноформальных (кибернетических) и слабоформальных (информационных) систем. Краткое содержание: Часть I. Множества и отношения (Основные понятия теории множеств. Конечные и бесконечные множества. Отношения на множествах. Элементы теории графов). Часть II. Алгебра и топология (Алгебры. Булевы функции. Элементы общей топологии). Часть III. Математическая логика (Логика высказываний. Логика предикатов. Элементы теории доказательств). Часть IV. Математическая кибернетика (Синтаксис языков. Теория алгоритмов. Элементы теории кодирования). Часть V. Математическая информатика (Семантика языков. Информация о точке и математическое моделирование баз данных. Принятие решений. Ультраоператоры и математическое моделирование баз знаний. Дополнения).

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

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

В книге представлено свыше 300 занимательных задач, связанных с идеей лабиринта (нерегулярности, диффузности) и такими разделами современной математики, как теория графов, теория вероятностей, информатика, кибернетика. Приводятся многочисленные историко-этнографические сведения, раскрывающие глубокую связь идеи лабиринта с разнообразнейшими областями человеческой деятельности. Предназначается для учащихся 7— 10-х классов.

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

Книга даст цельное представление о математическом аппарате теории выбора и принятия решений. В ней обобщены основные направления исследований в рассматриваемой области и изложены методы построения алгоритмов и процедур выбора. Приведено большое число примеров и упражнений, направленных на выработку систематических навыков применения математических методов в принятии решений. Для студентов университетов и вузов по специальностям "Прикладная математика" и "Экономическая кибернетика", а также для экономистов, инженеров, разработчиков АСУ и робототехнических систем.

Книга известного польского математика п логика А. Тарского, представляющая собой популярное введение в математическую логику и методологию дедуктивных наук, заслуживает внимания советского читателя. Вышедшая в 1936 Г, на польском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известным немецким книгоиздательством Шпрингера не в Германии, а в Вене, Правда, зто не помогло издательству; часть издания, которую оно не успело распространить до «аншлюса», так и осталась лежать на его складах... по соображениям расового порядка, В 1941 г. просмотренное и дополненное издание книги вышло на английской языке в Нью-Йорке. С этого издания и выполнен русский перевод.

Первые пять глав посвящены наглядному материалу и содержат основные понятия и свойства графов. В главе 6 даются основы теории вполне упорядоченных множеств, которая используется в дальнейшем для строгого абстрактного рассмотрения бесконечных графов. В главе 7 особенно подробно излагается вопрос о паросочетаниях; естественным ее продолжением является глава 12. В главах 8-11 рассматриваются ориентированные графы, и затем на языке ориентированных графов изучаются частично упорядоченные множества. Последние три главы (13-15), представляющие немалый интерес, снова имеют дело с более наглядным материалом. Книга дает достаточно полное представление о направлениях исследований в теории графов. В ней приводятся упражнения и нерешенные задачи; сделана попытка ввести систематическую терминологию. Написана книга ясным и достаточно доступным математическим языком.

Новая книга венгерских математиков Д. Бизама и Я. Герцега продолжает серию книг по занимательной математике. Как и предыдущая книга этих авторов "Игра и логика" (М., "Мир", 1975), она посвящена началам математической логики и содержит 175 логических задач. Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить.

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