Настоящая книга является учебным пособием по курсу "Математическая логика". Книга состоит из четырех глав. Первая глава посвящена теории алгоритмов. Во второй главе рассматриваются формальные системы: исчисление высказываний, исчисление предикатов, формальные грамматики и микропрограммные алгебры. Третья и четвертая главы посвящены теории графов. В третьей главе рассматриваются основы теории графов, в четвертой - вопросы синтеза логических графов. В начале каждой главы приводятся основные поняти...
Настоящая книга является учебным пособием по курсу "Математическая логика". Книга состоит из четырех глав. Первая глава посвящена теории алгоритмов. Во второй главе рассматриваются формальные системы: исчисление высказываний, исчисление предикатов, формальные грамматики и микропрограммные алгебры. Третья и четвертая главы посвящены теории графов. В третьей главе рассматриваются основы теории графов, в четвертой - вопросы синтеза логических графов. В начале каждой главы приводятся основные понятия и утверждения соответствующего раздела курса "Математическая логика", затем читателю предлагаются задачи четырех видов. Книга «Задачник по математической логике» авторов Дмитрий Поспелов, Вячеслав Горбатов оценена посетителями КнигоГид, и её читательский рейтинг составил 0.00 из 10.
Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы для скачивания.
Рецензии на книгу
Написано 0 рецензий