RUSSIAN

Основы формальных логических языков: Учеб. пособие

By Коротков М.А. , Степанов Е.А.

Book information

Publisher
СПбГИТМО
Year
2003
ISBN
5-7577-0122-6
Language
russian
Format
PDF
Filesize
824 kB (843429 bytes)
Pages
85\85
Topic
Mathematics Logic
Library
mexmat
Time added
2009-07-20 03:45:11
Математика;Математическая логика

Description

Данное учебное пособие посвящено основам формальных логических языков. В нем дается краткое изложение языков логики первого и второго порядков, элементов теории доказательств, теории моделей и формальной теории множеств. Пособие основано на курсе лекций, читаемом на кафедре Компьютерных технологий Санкт-Петербургского Государственного Института Точной Механики и Оптики.

Similar books