Мельников Г.П.: Азбука математической логики: № 78
Скачать книгу (размер 524 Kb , формат fb2, страниц 104)
Жанр : Разное
Издательство : Ленанд
Год издания : 2014
Аннотация:
Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т.д.), а затем эти понятия связываются с некоторыми уже установившимися терминами математики (такими, например, как функция, аргумент). Это позволяет полнее сформулировать сущность математической логики и ее отличие от обычных разделов математики. На примере анализа поведения «черного ящика» показаны основные типы логических отношений и изложены важнейшие законы математической логики. Заключительная глава посвящается проблеме связи математической логики и математики с традиционной аристотелевской логикой, а также выяснению того, каковы объективные причины, препятствующие разрешению этой проблемы. Книга, в которой большое внимание уделено именно исходным понятиям и их увязыванию со здравым смыслом человека, опирающимся на жизненный опыт, будет доступна читателю, не имеющему никакой математической подготовки. Немало интересного в ней найдут и специалисты — математики, инженеры и вообще исследователи, применяющие в своей работе логико-математические методы.