ФАКУЛЬТАТИВНЫЙ КУРС "СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ"
Аннотация
Статья написана в соавторстве с М.В. Павловой. Статья продолжает материалы авторов из номеров 2 и 3/4 за 1998 год. В статье рассматриваются две версии системы автоматизации поиска решений, предназначенные для решения задач, описываемых формулами исчисления высказываний.
Загрузки
Опубликован
31.10.1998
Выпуск
Раздел
Сценарии уроков
Лицензия
Как цитировать
[1]
«ФАКУЛЬТАТИВНЫЙ КУРС „СИСТЕМА АВТОМАТИЗИРОВАННОГО РЕШЕНИЯ ЗАДАЧ“», Comput. Tools Educ., вып. 5, окт. 1998, просмотрено: окт. 24, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/89
