Введение в математическую логику. Уч. пособие, 2-е изд., испр
Зюзьков В.М.
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение...
ISBN: 978-5-8114-3053-6
Издательство:
Лань
Дата выхода: декабрь 2018
Найденных опечаток пока нет
Добавить запись