Соловьева Т.В. Элементы математической логики и теории графов

Учебное пособие. - СПб: СПбГУГА, 2010,- 113 с.
Рассматриваются основные понятия математической логики и теории графов, которые являются составной частью курса дискретной математики.
Математическая логика исследует соотношения между основными понятиями, на базе которых доказываются математические утверждения.
Теория графов широко применяется при установлении разного рода соответствий, при составлении сетевых графиков, структурных схем предприятий, технологии обслуживания воздушных судов.