Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Logicheskij formalizm rassmatrivaetsja kak instrument dlja formulirovki i reshenija soderzhatelnykh zadach. Analizirujutsja ego dva aspekta: semanticheskij — ustanovlenie vypolnimosti logicheskikh funktsij — i sintaksicheskij — postroenie vyvodov v logicheskom ischislenii. Osnovnaja zadacha knigi sostoit v vydelenii tak nazyvaemykh lokalnykh zadach, kotorye kharakterizujutsja prostymi protsedurami kak ustanovlenija vypolnimosti, tak i postroenija vyvodov. Dlja opisanija etikh klassov zadach vvodjatsja matrichnoe predstavlenie logicheskikh formul i operatsii nad matritsami. Takoe predstavlenie daet vozmozhnost uvidet suschestvennye svojstva logicheskikh formul, kotorye pri traditsionnom podkhode ne projavljajutsja. Kniga mozhet byt polezna v kachestve uchebnogo posobija po distsiplinam: diskretnaja matematika, informatsionnoe modelirovanie, iskusstvennyj intellekt i proektirovanie ekspertnykh sistem.
