Основы формальных логических языков: Учеб. пособие
Коротков М.А., Степанов Е.А.
Данное учебное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного Института Точной Механики и Оптики.
Thể loại:
Năm:
2003
Nhà xuát bản:
СПбГИТМО
Ngôn ngữ:
russian
Trang:
85
ISBN 10:
5757701226
ISBN 13:
9785757701226
File:
PDF, 824 KB
IPFS:
,
russian, 2003