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

3.2.2. Содержание обучения в методической схеме 
модели обучения дискретной математике 

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

горитмы. Формальные языки и системы компьютерной математики», 
«Элементы теории графов» со следующим содержанием [154]: 

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

Основные комбинаторные схемы: списки элементов, урновая 
схема, схема раскладки предметов по различным ящикам. 

отображения. 

Понятие алгебраической операции. Примеры. Определение полу- 
группы, группы, кольца и полукольца и их примеры. Понятие алгебры. 

Декартово произведение множеств. Бинарное соответствие меж- 
ду множествами. Примеры. 

и их основные свойства. Граф бинарного отношения. Отношения эк- 
вивалентности и частичного порядка. Примеры. 

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

184 

Понятие математической структуры и ее модели (интерпрета- 
ции). Примеры. Дискретная и непрерывная величина. Дискретные струк- 
туры и способы их задания. Дискретизация непрерывной модели. 

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

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

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

логических устройств. Формы представления чисел в цифровых уст- 
ройствах. Роль цифровых устройств в структуре ЭВМ. 

терной математики 

мической разрешимости задачи. Экспоненциальные и полиномиаль- 

ные алгоритмы. Примеры. 

птотических оценок в анализе сложности алгоритмов. 

образования слов. Примеры. Исчисление высказываний как формаль- 
ный язык. Роль формальных языков в теоретической информатике. 

формальных языков и конечных автоматов в автоматизации техноло- 
гических процессов в машиностроении. 

ной математики. Роль СКМ в реализации этапов математического мо- 
делирования и вычислительных процессов в машиностроительном