Федеральное агентство по образованию

Государственное образовательное учреждение

высшего профессионального образования

«Омский государственный технический университет»

В.В. Аристов, В.Н. Гудинов

Сборник заданий и упражнений по дискретной математике

Практикум

Омск 2006

УДК 519(075)

ББК 22.176я73

А 81

Р е ц е н з е н т ы :

Палий И.А., доцент каф. «Прикладная информатика в экономике» СибАДИ,

Галдин Н.С., д.т.н., профессор каф. «ПТТМ и Г» СибАДИ

Аристов В.В., Гудинов В.Н.

А81 Сборник заданий и упражнений по дискретной математике. – Омск: Изд-во ОмГТУ, 2006. 51 с.

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

Предназначен для студентов дневного, вечернего и заочного обучения по специальностям: 220301 – «Автоматизация технологических процессов и производств» и 220401 – «Мехатроника».

УДК 519(075)

ББК 22.176я73

Печатается по решению редакционно-издательского совета Омского государственного технического университета.

© В.В. Аристов, В.Н. Гудинов, 2006

© Омский государственный

технический университет, 2006

Введение

Дискретная математика является одним из основных разделов теоретической кибернетики – науки, являющейся основой анализа и синтеза современных вычислительных систем. Широкое и повсеместное использование ЭВМ и микропроцессорных систем управления требует фундаментальных знаний прикладных специализированных дисциплин, читаемых в технических вузах, таких как «Теоретическая информатика», «ЭВМ и вычислительные системы», «Теория конечных автоматов» и др. Среди всех этих дисциплин «Дискретная математика» составляет базу для создания математического обеспечения современных компьютерных и информационных технологий. Формальные языки дискретной математики позволяют создавать математические модели вычислительных процессов и цифровых логических устройств, используемых в современных автоматизированных системах. Вот почему основная цель настоящего сборника – привить навыки решения логических задач, описанных с помощью формального языка дискретной математики, что позволит развить в дальнейшем способности к логическому мышлению в любой прикладной области.

В сборнике уделено основное внимание таким разделам дискретной математики, как «множества» и «логика». В свою очередь логика делится на три подраздела: «логику Буля», «логику высказываний» и «логику предикатов».

Для наглядного восприятия основных положений теории множеств использованы диаграммы Венна и круги Эйлера. На этих диаграммах рассмотрены основные логические операции над множествами.

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

Логика Буля основывается на отношении эквивалентности, при котором левая и правая части логического выражения содержат равное количество «истины». Логика высказываний и логика предикатов базируются уже на отношении порядка, при котором правая часть выражения (заключение) содержит больше «истины», чем левая часть (посылка), т.е. «истинность» заключения оказывается выше «истинности» посылки. Логика высказываний исходит корнями из философии древности, от Платона и Аристотеля. На первый взгляд некоторые высказывания лишены здравого смысла, однако формализм логики высказываний позволяет моделировать многие субъектные ситуации на ЭВМ.

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