Азбука математической логики

Abstract

Очевидно, что умение чётко разделять изучаемый объект на составные части и на связи между ними, умение так или иначе представлять сеть, схему связей между составными частями, умение выбирать лучший вариант схемы, находить в ней неисправности и т. д. является неким общим для всех видов человеческой деятельности. Тот, кто способен выявить это общее из решений конкретных практических задач, может быстрее ориентироваться при решении новых проблем, непохожих на привычные. Следовательно, такой человек эффективнее использует имеющийся опыт когда приходится менять специализацию, и эффективнее обогащает его. Тем самым человек становится более универсальным и ценным работником.Очевидно, должны существовать специальные теоретические дисциплины, изучение которых содействует такой универсальности. К числу этих дисциплин и относится математическая логика, с сущностью и основными принципами которой знакомит эта книга. "Азбука математической логики", поскольку в ней большое внимание уделено исходным понятиям и их увязыванию со здравым смыслом человека, опирающимся просто на жизненный опыт, а не на какие-либо специальные сведения, должна быть доступна читателю, не имеющему никакой предварительной математической подготовки.