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