Г. П. Мельников - Азбука математической логики (1967) DJVU

Автор: Г. П. Мельников
Издательство: Знание
Жанр: История, математика, логика
Формат: DJVU
Качество: Хороший скан
Иллюстрации: Черно-белые
Страниц: 106
Размер 10 Мб

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