ISSN 2307-5430
Язык: ru

АКТУАЛЬНЫЕ ПРОБЛЕМЫ ПРЕПОДАВАНИЯ МАТЕМАТИКИ В ТЕХНИЧЕСКОМ ВУЗЕ

О ПРИМЕНЕНИИ КОМПЬЮТЕРНОЙ ТЕХНИКИ ПРИ ИЗУЧЕНИИ ДИСЦИПЛИНЫ "МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ" (2020)

В статье обсуждается методика использования пакета математических символьных вычислений Maple при изучении вузовского курса «Математическая логика и теория алгоритмов». Рассматриваются особенности синтаксиса подпакета with(Logic). Показана методика компьютерного нахождения конъюнктивной, дизъюнктивной и полиномиальной форм булевой функции. Отмечено, что при машинном нахождении полиномиальной нормальной формы для функции необходимо использовать, кроме команд логического подпакета, команды для работы с многочленами. На конкретном примере детально разобран алгоритм проверки функциональной полноты системы булевых функций.


Тип: Статья
Автор (ы): Горюшкин Александр Петрович
Ключевые фразы: ЗАКОН ЛОГИКИ, НОРМАЛЬНАЯ ФОРМА, ПОЛИНОМ ЖЕГАЛКИНА, ЛОГИЧЕСКАЯ РАВНОСИЛЬНОСТЬ, ЛОГИЧЕСКОЕ СЛЕДСТВИЕ, МАШИННАЯ КОМАНДА

Идентификаторы и классификаторы

УДК
510.63. Логические и логико-предметные теории. Классические (традиционные) логические системы
Текстовый фрагмент статьи