Название: Введение в математическую логику Автор: Попов А.И. Издательство: Ленинград, издательство Ленинградского университета Год: 1959 Формат: PDF Качество: Отсканированные страницы Страниц: 110 Размер: 14.0 MB Язык: Русский
Работа проф. А.И.Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается место математической логики в системе научного познания. В работе указываются практические приложения математической логики как основы для конструирования и работы разнообразных «умных» и «думающих» машин. Книга рассчитана на научных работников, аспирантов, студентов и учителей средней школы, а также на широкие круги читателей, интересующихся философией, логикой и математикой.
Скачать Попов А.И. - Введение в математическую логику [1959, PDF]
|