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

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

Full description

Bibliographic Details
Main Author: Зюзьков, В. М.
Format: Book
Language:Russian
Published: Санкт-Петербург Лань 2022
Edition:2-е изд., испр.
Online Access:ЭБС Лань
ЭБС Лань
Перейти в каталог НТБ ТГАСУ