Навчально-методичні комплекси кафедри прикладної математики

Browse

Now showing 1 - 1 of 1

МАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ АЛГОРИТМІВ Практикум
(НАУ, 2014) Жук, П.Ф.
Містить методичні рекомендації до практичних занять, що сприяють кращому засвоєнню студентами теоретичного курсу навчальної дисципліни «Математична логіка та теорія алгоритмів», формуванню в них відповідних вмінь і навичок розв’язання типових завдань з логіки та числення висловлювань і предикатів, формальних моделей алгоритмів та алгоритмічно обчислюваних функцій, застосування методів математичної логіки та теорії алгоритмів у галузі прикладної математики. Для кожного практичного заняття викладено посилання на теоретичні відомості, наведено методи і приклади розв’язання типових завдань, сформульовано перелік завдань для самостійного виконання. Для студентів спеціальності 6.040301 «Прикладна математика».