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

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

Аннотация

В данной статье описывается программа, с помощью которой студент, изучающий метод резолюций, сможет рассмотреть его на примере любого множества логических формул любой интерпретации.
Опубликован
2014-01-17
Как цитировать
Эмман, П., & Шульженко, В. (2014). Инструмент для изучения метода резолюций. Компьютерные инструменты в образовании, (6). извлечено от http://cte.eltech.ru/ojs/index.php/kio/article/view/1044
Выпуск
№ 6 (2006)
Раздел
Новая статья

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

 

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

Creative Commons License

Creative Commons Attribution 4.0 International License.