МАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ АЛГОРИТМІВ Практикум

Abstract

Містить методичні рекомендації до практичних занять, що сприяють кращому засвоєнню студентами теоретичного курсу навчальної дисципліни «Математична логіка та теорія алгоритмів», формуванню в них відповідних вмінь і навичок розв’язання типових завдань з логіки та числення висловлювань і предикатів, формальних моделей алгоритмів та алгоритмічно обчислюваних функцій, застосування методів математичної логіки та теорії алгоритмів у галузі прикладної математики. Для кожного практичного заняття викладено посилання на теоретичні відомості, наведено методи і приклади розв’язання типових завдань, сформульовано перелік завдань для самостійного виконання. Для студентів спеціальності 6.040301 «Прикладна математика».