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

Description

Из предисловия:Очевидно, что умение чётко разделять изучаемый объект на составные части и на связи между ними, умение так или иначе представлять сеть, схему связей между составными частями, умение выбирать лучший вариант схемы, находить в ней неисправности и т. д. является неким общим для всех видов человеческой деятельности. Тот, кто способен выявить это общее из решений конкретных практических задач, может быстрее ориентироваться при решении новых проблем, непохожих на привычные. Следовательно, такой человек эффективнее использует имеющийся опыт когда приходится менять специализацию, и эффективнее обогащает его. Тем самым человек становится более универсальным и ценным работником.Очевидно, должны существовать специальные теоретические дисциплины, изучение которых содействует такой универсальности. К числу этих дисциплин и относится математическая логика, с сущностью и основными принципами которой знакомит эта книга. "Азбука математической логики", поскольку в ней большое внимание уделено исходным понятиям и их увязыванию со здравым смыслом человека, опирающимся просто на жизненный опыт, а не на какие-либо специальные сведения, должна быть доступна читателю, не имеющему никакой предварительной математической подготовки. Книги по математической логике на сайте: Показать / Скрыть текст Шенфилд Д. Математическая логика Клини С. К. Введение в метаматематикуМанин Ю. И. Лекции по математической логике. Часть 1 , Часть 2 Гудстейн Р. Л. Математическая логикаЭдельман С. Л. Математическая логика Лихтарников Л. М., Сукачева Т. Г. Математическая логикаКалужнин Л. А. Что такое математическая логика? Колмогоров А. Н., Драгалин А. Г. Математическая логика Новиков П. С. Элементы математической логики Игошин В. И. Математическая логика и теория алгоритмов Никольская И. Л. Математическая логикаМендельсон Э. Введение в математическую логику Гладкий А. В. Математическая логика Клини С. К. Математическая логикаЕршов Ю. Л., Палютин Е. А. Математическая логикаКутасов А. Д. Элементы математической логики Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов Линдон Р. Заметки по логике Кузичев А. С. Диаграммы Венна