Обложка Попов С.В., Брошкова Н.Л. Прикладная логика
Id: 157197
255 руб.

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

2011. 216 с. ISBN 978-5-9221-1340-3.
  • Твердый переплет

Аннотация

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания... (Подробнее)