Введение в математическую логику
| Egile nagusia: | |
|---|---|
| Gaia: | Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений. Книга из коллекции Лань - Математика |
| Argitaratua: |
Санкт-Петербург, Лань, 2022
|
| Edizioa: | 2-е изд., испр. |
| Gaiak: | |
| Sarrera elektronikoa: | https://e.lanbook.com/book/213008 https://e.lanbook.com/img/cover/book/213008.jpg |
| Formatua: | Baliabide elektronikoa Liburua |
