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

1.3.4.2. Функции дискретной математики в дальнейшем 
совершенствовании систем компьютерной математики 

Системы компьютерной математики «интегрируют в себе совре- 
менный интерфейс пользователя, решатели математических задач – 

ства графики… Они вторглись в наиболее интеллектуальную сферу 
деятельности математиков-аналитиков и ученых-теоретиков, тради- 

особенно сложных и каверзных математических и научно-технических 
задач – таких, например, как задачи теории поля, аэродинамики, кос- 

К настоящему времени по СКМ, в частности по наиболее распростра- 
ненной системе Mathematica, выпущены сотни книг. Следует отме- 
тить, что важнейшим приложением системы Mathematica (3.0–3.5) яв- 

следовала методологические аспекты этого приложения [83]. 
Совершенствование систем компьютерной математики проис- 

А. И. Белоусова и С. Б. Ткачева, «разумно считать, что ядро дискрет- 
ной математики образует именно математическая теория языков, точ- 

Слово “формальный” подчеркивает, что в этой теории изучаются 
в основном искусственные языки, специально созданные для каких-то 

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

47 

раических структурах (в частности, полукольцах). Теория формаль- 
ных языков также опирается на теорию полугрупп, т. е. класса моде- 

рации, обладающей ассоциативным свойством [112]. Кроме того, 
важную роль в разработке этой теории играют логические, алгорит- 

В связи с изложенным следует отметить, что в тематике журна- 
ла «Прикладная дискретная математика» имеется раздел с названием 

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