Инструмент для изучения метода резолюций

Авторы

  • П.А. Эмман
  • В.И. Шульженко

Аннотация

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

Загрузки

Опубликован

17.01.2014

Выпуск

№ 6 (2006)

Раздел

Новая статья

Лицензия

Авторский договор

 

Материал публикуется под лицензией:

Creative Commons License

Creative Commons Attribution 4.0 International License.

Как цитировать

[1]
«Инструмент для изучения метода резолюций», Компьютерные инструменты в образовании, вып. 6, янв. 2014, просмотрено: июл. 23, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1044