Предисловие

Данная книга включает в себя многолетний опыт преподавания авторами различных разделов дискретной математики для таких специальностей, как прикладная математика и информатика, прикладная информатика, математические методы в экономике, экономика и управление на предприятии на факультетах «Кибернетика» и «Управление и экономика высоких технологий» НИЯУ МИФИ.

Данный курс знакомит с основами дискретной математики и методами их использования в информатике. Основная задача курса – формирование прочной теоретической основы, необходимой для дальнейшей работы. Разделы, рассмотренные в данной книге, включают в себя теорию множеств и бинарных отношений, математическую логику, основные понятия математических теорий и исчислений, теорию математических доказательств, основы комбинаторики, теорию графов и нечеткие модели. По каждому разделу приводятся задачи и вопросы, часть из них, самые простые, соответствует требованиям Интернет-экзамена, который был проведен в НИЯУ МИФИ весной 2009 г.

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

приведенные в книге Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering, Computing Curricula 2001: Computer Science. Именно благодаря этим рекомендациям появилась глава, посвященная построению математических доказательств.

Помимо этого, на содержание учебника большое влияние оказало появление в конце 2007 г. профессиональных стандартов в области информационных технологий (ИТ). Часть задач, используемых в данной книге, сформулированы в соответствии с требуемыми в стандартах компетенциями по ряду ИТ профессий.

Разные главы написаны разными авторами. Главы 1–5 написаны профессором А.И. Гусевой, главы 6–7 – доцентом А.Н. Тихомировой.

7