Е. А. Перминов методическая система обучения дискретной математике в аспекте интеграции образования монография

3.2.5.2. Программа спецкурса для подготовки 
высококвалифицированных рабочих 

В вариативном обучении магистров профессионального обуче- 

ния необходимо также предусмотреть спецкурсы для подготовки ра- 

изучения дисциплин «Электрооборудование и электрохозяйство пред- 

200 

приятий, организаций и учреждений» и «Электропривод и автоматика 
промышленных установок и технологических комплексов»). В каче- 

математике для магистров. Приведем ее содержание. 

Понятие высказывания. Операции с высказываниями и таблицы 
истинности. Алгебра высказываний. Логические тождества. Вычисле- 

разования формул алгебры высказываний. 

сание булевых функций двух переменных. 
Булева алгебра и алгебра Жегалкина. 

ции. Упрощение СДНФ на основе логических тождеств. Реализация 
булевой функции на логических элементах «конъюнктор», «дизъюнк- 

ций. Полнота множества булевых функций. 

ленных логических элементов. 

Задачи, приводящие к понятию графа. Определение графа и его 
элементов. Маршрут, цепь, цикл. 

эйлеровы, гамильтоновы, двудольные деревья, бинарные деревья, леса). 
Изоморфизм графов. Описание n-элементных графов для ма- 

Машинное представление графа. Матрица смежности и инци- 
дентности. Переход от матричного представления к машинному и об- 

Разрезы графа. Связные графы. Компоненты графа. Разрезающее 
множество и разрез графа. Матрица разрезов в графе. Циклы и контуры 

Пространство разрезов и пространство циклов графа, их ортого- 
нальность. Базисная система циклов и базисная система разрезов гра- 

201 

фа по заданному остову. Матрицы базисных циклов и разрезов, их ор- 
тогональность. Фундаментальные матрицы циклов и разрезов. 

с помощью ее графа. Теорема о токах и напряжениях в цепях с одина- 
ковыми графами. 

Графы Куратовского. Формула Эйлера для связных и несвязных гра- 
фов. Необходимые и достаточные условия планарности графа. Трас-