Прикладная логика
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установление выполнимости логических функций - и синтаксический - построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления...
ISBN: 978-5-9221-1340-3
Издательство:
Физматлит
Дата выхода: сентябрь 2011
Найденных опечаток пока нет
Добавить запись