Дискретная математика и математическая логика

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

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

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

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

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

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

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

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

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления...

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