- Добавил: SCART56
- Дата: 24-03-2018, 19:32
- Комментариев: 0
Название: Введение в математическую логику
Автор: Зюзьков В.М.
Издательство: Томск: ИД ТГУ
Год: 2017
Страниц: 258
ISBN: 978-5-94621-617-3
Формат: PDF
Размер: 10 Мб
Язык: русский
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости.