Уважаемый студент!

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

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

Приступая к изучению новой учебной дисциплины, Вы должны внимательно изучить список рекомендованной литературы (пункт меню «Электронные пособия»).

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

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

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

По итогам изучения дисциплины проводится дифференцированный зачет.

Дифференцированный зачет проводится в виде комплексной контрольной работы, состоящей из тестовой части и практического задания.

В результате освоения дисциплины Вы должны уметь:

• применять методы дискретной математики;
• строить таблицы истинности для формул логики;
• представлять булевы функции в виде формул заданного типа;
• выполнять операции над множествами, применять аппарат теории множеств для решения задач;
• выполнять операции над предикатами;
• исследовать бинарные отношения на заданные свойства;
• выполнять операции над отображениями и подстановками;
• выполнять операции в алгебре вычетов;
• применять простейшие криптографические шифры для шифрования текстов;
• генерировать основные комбинаторные объекты;

находить характеристики графов.

В результате освоения дисциплины Вы должны знать:

• логические операции, формулы логики, законы алгебры логики;
• основные классы функций, полноту множеств функций, теорему Поста;
• основные понятия теории множеств, теоретико-множественные операции и их связь с логическими операциями;
• логику предикатов, бинарные отношения и их виды;
• элементы теории отображений и алгебры подстановок;
• основы алгебры вычетов и их приложение к простейшим криптографическим шифрам;
• метод математической индукции;
• алгоритмическое перечисление основных комбинаторных объектов;
• основы теории графов;
• элементы теории автоматов.

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