Учебное пособие. — 3-е изд. — М.: Академия, 2007. — 304 с. — ISBN
5-7695-3728-0.
Сборник содержит задачи и упражнения по всем традиционным разделам
курса математической логики и теории алгоритмов. В каждом параграфе
подробно рассмотрены разнообразные типовые примеры и приведены
многочисленные задачи разного уровня сложности для самостоятельного
решения.
Сборник состоит из четырнадцати параграфов в 5 главах:
алгебра высказываний;
булевы функции;
формализованное исчисление высказываний;
логика предикатов;
элементы теории алгоритмов.
Каждый параграф предваряется теоретическими сведениями. Особенно ценным является то, что автор в каждой серии однотипных задач (под буквами, скажем, а)- л)) приводит подробное решение одной или нескольких из них в качестве образца. То есть пособие одновременно может рассматриваться как некое руководство по решению задач.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».
Сборник состоит из четырнадцати параграфов в 5 главах:
алгебра высказываний;
булевы функции;
формализованное исчисление высказываний;
логика предикатов;
элементы теории алгоритмов.
Каждый параграф предваряется теоретическими сведениями. Особенно ценным является то, что автор в каждой серии однотипных задач (под буквами, скажем, а)- л)) приводит подробное решение одной или нескольких из них в качестве образца. То есть пособие одновременно может рассматриваться как некое руководство по решению задач.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».