МАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ АЛГОРИТМІВ Практикум
No Thumbnail Available
Date
2014
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
НАУ
Abstract
Містить методичні рекомендації до практичних занять, що сприяють кращому засвоєнню студентами теоретичного курсу навчальної дисципліни «Математична логіка та теорія алгоритмів», формуванню в них відповідних вмінь і навичок розв’язання типових завдань з логіки та числення висловлювань і предикатів, формальних моделей алгоритмів та алгоритмічно обчислюваних функцій, застосування методів математичної логіки та теорії алгоритмів у галузі прикладної математики.
Для кожного практичного заняття викладено посилання на теоретичні відомості, наведено методи і приклади розв’язання типових завдань, сформульовано перелік завдань для самостійного виконання.
Для студентів спеціальності 6.040301 «Прикладна математика».
Description
Практикум «Математична логіка та теорія алгоритмів» призначено для студентів спеціальності "Прикладна математика". Він цілком відповідає програмі навчальної дисципліни, містить методичні вказівки за всіма темами курсу та значну кількість прикладів розв’язання типових задач. Для ефективного використання практи-куму в навчальному процесі студент повинен для кожного практи-чного заняття засвоїти вказаний там теоретичний матеріал, уважно розібрати типові приклади розв’язання задач, наведені в практику-мі, та самостійно розв’язати контрольні завдання.
Keywords
Алгебра висловлювань, Числення предикатів, Метод резолюцій
Citation
Жук П.Ф. Математична логіка та теорія алгоритмів : практикум / уклад.: П. Ф. Жук – К. : НАУ, 2014. – 21 с.