Задачи и упражнения по математической логике - Игошин В.И.
Игошин В.И.

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

Автор Игошин В.И.
Издательство Академия, 3-е издание
Год 2007
Формат TMP
Рейтинг книги
9.00
(9)


10

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.

Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Элементы теории алгоритмов. Каждый параграф предваряется теоретическими сведениями. Особенно ценным является то, что автор в каждой серии однотипных задач (под буквами, скажем, а)- л)) приводит подробное решение одной или нескольких из них в качестве образца. То есть пособие одновременно может рассматриваться как некое руководство по решению задач.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».



X