Математическая логика, Курс лекций и практических занятий, Шапорев С.Д., 2005.
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
Шапорев
Математическая логика, курс лекций и практических занятий, Шапорев С.Д., 2005
Скачать и читать Математическая логика, курс лекций и практических занятий, Шапорев С.Д., 2005Дискретная математика, курс лекций и практических занятий, Шапорев С.Д., 2006
Дискретная математика, Курс лекций и практических занятий, Шапорев С.Д., 2006.
Рассмотрены вопросы трех разделов, изучаемых в курсе дискретной математики: теории множеств, комбинаторики и теории графов. Изложены основные теоретические сведения и приведены многочисленные примеры решения задач по всем разделам. Для теории множеств обсуждена основная система аксиом, ее модификации и перспективы дальнейшего развития теории на основе аксиоматического метода. Рассмотрены основные типы задач комбинаторики, основанные на 4-х схемах выбора элементов множеств. Приведены основные наиболее употребительные оптимизационные алгоритмы теории графов, алгоритмы сетевого планирования и варианты заданий для выполнения контрольных и расчетно-графических работ.
Для студентов, аспирантов и преподавателей технических ВУЗов.
Скачать и читать Дискретная математика, курс лекций и практических занятий, Шапорев С.Д., 2006Рассмотрены вопросы трех разделов, изучаемых в курсе дискретной математики: теории множеств, комбинаторики и теории графов. Изложены основные теоретические сведения и приведены многочисленные примеры решения задач по всем разделам. Для теории множеств обсуждена основная система аксиом, ее модификации и перспективы дальнейшего развития теории на основе аксиоматического метода. Рассмотрены основные типы задач комбинаторики, основанные на 4-х схемах выбора элементов множеств. Приведены основные наиболее употребительные оптимизационные алгоритмы теории графов, алгоритмы сетевого планирования и варианты заданий для выполнения контрольных и расчетно-графических работ.
Для студентов, аспирантов и преподавателей технических ВУЗов.