Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.
Высказывательная форма.
Так называют комбинации знаков, содержащие знаки переменных, которые превращаются в высказывания при замене переменных именами предметов. Имена предметов и именные формы называют термами, высказывания и высказывательные формы — формулами. Термами и формулами исчерпываются комбинации знаков, которым приписывается самостоятельный смысл. Иногда в математической логике термины «терм» и «формула» понимаются более узким образом, как комбинации знаков в некоторых точных логико-математических языках, например в так называемых языках первого порядка (см. гл. II, § 1).
ОГЛАВЛЕНИЕ.
Глава I.НАЧАЛЬНЫЕ ПОНЯТИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ТЕОРИИ МНОЖЕСТВ.
Глава II.ЛОГИКО-МАТЕМАТИЧЕСКИЕ ЯЗЫКИ. ЛОГИЧЕСКИЕ ЗАКОНЫ.
Глава III.ФОРМАЛЬНЫЕ АКСИОМАТИЧЕСКИЕ ТЕОРИИ.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать pdf
Ниже можно купить эту книгу, если она есть в продаже, и похожие книги по лучшей цене со скидкой с доставкой по всей России.Купить книги
Скачать - pdf - Яндекс.Диск.
Дата публикации:
Теги: Колмогоров :: Драгалин :: книги по математике :: математика :: математическая логика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
Предыдущие статьи:
