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