📖 Прикладная логика

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установление выполнимости логических функций - и синтаксический - построение выводов в логическом...

О книге

автор, издательство, серия
Издательство
ФИЗМАТЛИТ
ISBN
978-5-9221-1340-3
Год
2011