Азбука математической логики, Г. П. Мельников

Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т. д.), а затем эти понятия связываются с некоторыми уже установившимися терминами математики (такими, например, как функция, аргумент). Это позволяет полнее сформулировать сущность математической логики и ее отличие от обычных разделов математики. На примере анализа поведения "черного ящика" показаны основные типы логических отношений и изложены важнейшие законы математической логики. Заключительная глава посвящается проблеме связи математической логики и математики с традиционной аристотелевской логикой, а также выяснению того, каковы объективные причины, препятствующие разрешению этой проблемы.Книга, в которой большое внимание уделено именно исходным понятиям и их увязыванию со здравым смыслом человека, опирающимся на жизненный опыт, будет доступна читателю, не имеющему никакой математической подготовки. Немало интересного в ней найдут и специалисты — математики, инженеры и вообще исследователи, применяющие в своей работе логико-математические методы.