Результаты поиска: 1 док. (сбросить фильтры)
Статья: О ПРИМЕНЕНИИ КОМПЬЮТЕРНОЙ ТЕХНИКИ ПРИ ИЗУЧЕНИИ ДИСЦИПЛИНЫ "МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ"
В статье обсуждается методика использования пакета математических символьных вычислений Maple при изучении вузовского курса «Математическая логика и теория алгоритмов». Рассматриваются особенности синтаксиса подпакета with(Logic). Показана методика компьютерного нахождения конъюнктивной, дизъюнктивной и полиномиальной форм булевой функции. Отмечено, что при машинном нахождении полиномиальной нормальной формы для функции необходимо использовать, кроме команд логического подпакета, команды для работы с многочленами. На конкретном примере детально разобран алгоритм проверки функциональной полноты системы булевых функций.