Ebook: Введение в математическую логику

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