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

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

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

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

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

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