ВНЕАУДИТОРНАЯ САМОСТОЯТЕЛЬНАЯ РАБОТА №2

ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ПРОФЕССИОНАЛЬНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ИРКУТСКОЙ ОБЛАСТИ

«ЧЕРЕМХОВСКИЙ ГОРНОТЕХНИЧЕСКИЙ КОЛЛЕДЖ им. М.И. ЩАДОВА»

Рассмотрено на Заседании ЦК «___» ____________ 20 __ г. Протокол № ____________ Председатель _______ Т.В. Окладникова

УТВЕРЖДАЮ Зам. директора по УР _________ Н.А.Шаманова «___» ____________ 20 __ г.

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

для выполнения

внеаудиторной самостоятельной работы студентов 2 курса

по

ОП.16 ДИСКРЕТНАЯ МАТЕМАТИКА

Программы подготовки специалистов среднего звена

09.02.04 Информационные системы (по отраслям)

Разработал преподаватель: ___________ Е.А. Литвинцева

Черемхово, 2018

ПЕРЕЧЕНЬ ВНЕАУДИТОРНОЙ САМОСТОЯТЕЛЬНОЙ РАБОТЫстудентов

№ п/п	Тема	Содержание	Количество часов.	Оценка и контроль
	1.1	Решение задач: Составление и построение таблиц истинности формулы; Доказательство тождеств; Доказательство истинности; Определение видов высказываний.		защита
	1.2	Решение задач: Составление таблиц истинности булевых функций; Дизъюнктивные и конъюнктивные нормальные формы алгебры высказываний; Совершенная дизъюнктивные и совершенная конъюнктивные нормальные формы; Многочлены Жегалкина.		защита
	2.1	Решение задач по темам: Подмножества; Соотношения между множествами и составными высказываниями; Абстрактивные законы операций над множествами.		защита
	2.2	Решение задач по темам: Отображение множеств, Составление и сравнение кортежей, Сюръективные отображения, Инъективные функции,		защита
	2.3	Выполнение упражнений по теме: Предикаты. Исчисление предикатов.		защита
	3.1	Доказательство истинности неравенства методом математической индукции.		защита
	3.2	Решение задач по темам: Кортежи из элементов конечного множества; Правило суммы; Правило произведения;		защита
	3.3	Решение задач по темам: Биномиальные коэффициенты; Характерные особенности формулы Ньютона.		защита
	4.1	Решение задач по темам: Операции над графами; Способы задания графов: Аналитический, геометрический, матричный.		защита
	4.2	Решение задач по теме: Эквивалентные способы задания абстрактных автоматов; Диаграмма Мура; Алгоритм задания конечного автомата системой булевых функций.		защита
Всего:

ВНЕАУДИТОРНАЯ САМОСТОЯТЕЛЬНАЯ РАБОТА №1

по теме 1.1: Логика высказываний

раздела 1. Элементы математической логики

Количество часов: 10 часов.

Цель: закрепить знания, умения, навыки студентов по составлению и построению таблиц истинности формулы, по доказательству тождеств, по доказательству истинности, по определению видов высказываний.

Методические указания: решить задачи:

1. Доказать тождества

2. Выяснить, эквивалентны ли формулы

Форма отчетности: отчетная работа, решение задач, оценка.

Литература.

Основные источники:

0-1 Ф.А.Новиков. Дискретная математика.М.ПИТЕР, 2003.

Дополнительные источники:

Д-1 Канцедал, С.А. Дискретная математика: учебник/С.А. Канцедал.-М.: ИНФРА-М, 2007.

Д-2 Гончарова, Г.А. Элементы дискретной математики: учебное пособие/ Г.А. Гончарова, А.А. Молчалин.-М.:ИНФРА-М, 2004.

ВНЕАУДИТОРНАЯ САМОСТОЯТЕЛЬНАЯ РАБОТА №2

по теме 1.2: Основные классы функций

раздела 1. Элементы математической логики

Количество часов: 4 часов.

Цель: закрепить знания, умения, навыки студентов по составлению и построению таблиц истинности булевых функций, по составлению ДНФ и КНФ, СДНФ и СКНФ, по формированию многочлена Жегалкина.

Методические указания: решить задачи:

1. Представить в СДНФ и СКНФ функции

2. Построить полином Жегалкина

3. Построить из заданной ДНФ ее СДНФ

4. Построить из заданной КНФ ее СКНФ