Задачник по математической логике

Настоящая книга является учебным пособием по курсу "Математическая логика". Книга состоит из четырех глав. Первая глава посвящена теории алгоритмов. Во второй главе рассматриваются формальные системы: исчисление высказываний, исчисление предикатов, формальные грамматики и микропрограммные алгебры. Третья и четвертая главы посвящены теории графов. В третьей главе рассматриваются основы теории графов, в четвертой - вопросы синтеза логических графов. В начале каждой главы приводятся основные понятия и утверждения соответствующего раздела курса "Математическая логика", затем читателю предлагаются задачи четырех видов.