Основы формальных логических языков: Учеб. пособие
Коротков М.А., Степанов Е.А.
Данное учебное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного Института Точной Механики и Оптики.
Категории:
Год:
2003
Издательство:
СПбГИТМО
Язык:
russian
Страницы:
85
ISBN 10:
5757701226
ISBN 13:
9785757701226
Файл:
PDF, 824 KB
IPFS:
,
russian, 2003