Книга Введение в математическую логику скачать бесплатно
Название: Введение в математическую логику
Автор: Мендельсон Э.
Издательство: Наука
Год: 1971
Страниц: 322
Формат: DJVU
Размер: 3.7 Мб
Качество: среднее
Аннотация:
В книге Э. Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.
Автор: Мендельсон Э.
Издательство: Наука
Год: 1971
Страниц: 322
Формат: DJVU
Размер: 3.7 Мб
Качество: среднее
Аннотация:
В книге Э. Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.
Внимание! У Вас нет прав для просмотра скрытого текста.
Похожие книги
Введение в математическую логику
образование и наука
образование и наука
Название: Введение в математическую логику Автор: Колмогоров А.Н., Драгалин А.Г. Издательство: Московского университета Год: 1962 ...
Вводный курс математической логики
образование и наука
образование и наука
Название: Вводный курс математической логики Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е. Издательство: Физматлит Год: 2004 ...
Колмогоров, Драгалин Математическая логика
образование и наука
образование и наука
Название: Математическая логика Автор: Колмогоров А.Н., Драгалин А.Г. Издательство: КомКнига Год: 2006 Страниц: 240 ...
Колмогоров, Драгалин Математическая логика
образование и наука
образование и наука
Название: Математическая логика Автор: Колмогоров А.Н., Драгалин А.Г. Издательство: КомКнига Год: 2006 Страниц: 240 ...