Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982.

Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.




Высказывательная форма.
Так называют комбинации знаков, содержащие знаки переменных, которые превращаются в высказывания при замене переменных именами предметов. Имена предметов и именные формы называют термами, высказывания и высказывательные формы — формулами. Термами и формулами исчерпываются комбинации знаков, которым приписывается самостоятельный смысл. Иногда в математической логике термины «терм» и «формула» понимаются более узким образом, как комбинации знаков в некоторых точных логико-математических языках, например в так называемых языках первого порядка (см. гл. II, § 1).

ОГЛАВЛЕНИЕ.
Глава I.НАЧАЛЬНЫЕ ПОНЯТИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ТЕОРИИ МНОЖЕСТВ.    
Глава II.ЛОГИКО-МАТЕМАТИЧЕСКИЕ ЯЗЫКИ. ЛОГИЧЕСКИЕ ЗАКОНЫ.
Глава III.ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: Колмогоров :: Драгалин :: книги по математике :: математика :: математическая логика