Please use this identifier to cite or link to this item: https://er.nau.edu.ua/handle/NAU/35782
Full metadata record
DC FieldValueLanguage
dc.contributor.authorЖук, П.Ф.-
dc.date.accessioned2018-07-12T10:45:39Z-
dc.date.available2018-07-12T10:45:39Z-
dc.date.issued2014-
dc.identifier.citationЖук П.Ф. Математична логіка та теорія алгоритмів : практикум / уклад.: П. Ф. Жук – К. : НАУ, 2014. – 21 с.uk_UA
dc.identifier.issnУДК 517.9(076)-
dc.identifier.urihttp://er.nau.edu.ua/handle/NAU/35782-
dc.descriptionПрактикум «Математична логіка та теорія алгоритмів» призначено для студентів спеціальності "Прикладна математика". Він цілком відповідає програмі навчальної дисципліни, містить методичні вказівки за всіма темами курсу та значну кількість прикладів розв’язання типових задач. Для ефективного використання практи-куму в навчальному процесі студент повинен для кожного практи-чного заняття засвоїти вказаний там теоретичний матеріал, уважно розібрати типові приклади розв’язання задач, наведені в практику-мі, та самостійно розв’язати контрольні завдання.uk_UA
dc.description.abstractМістить методичні рекомендації до практичних занять, що сприяють кращому засвоєнню студентами теоретичного курсу навчальної дисципліни «Математична логіка та теорія алгоритмів», формуванню в них відповідних вмінь і навичок розв’язання типових завдань з логіки та числення висловлювань і предикатів, формальних моделей алгоритмів та алгоритмічно обчислюваних функцій, застосування методів математичної логіки та теорії алгоритмів у галузі прикладної математики. Для кожного практичного заняття викладено посилання на теоретичні відомості, наведено методи і приклади розв’язання типових завдань, сформульовано перелік завдань для самостійного виконання. Для студентів спеціальності 6.040301 «Прикладна математика».uk_UA
dc.language.isoukuk_UA
dc.publisherНАУuk_UA
dc.relation.ispartofseriesД 50;-
dc.subjectАлгебра висловлювань, Числення предикатів, Метод резолюційuk_UA
dc.titleМАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ АЛГОРИТМІВ Практикумuk_UA
dc.typeWorking Paperuk_UA
dc.specialityББК В 161.6я7uk_UA
Appears in Collections:Навчально-методичні комплекси кафедри прикладної математики

Files in This Item:
File Description SizeFormat 
Практикум МЛТА.pdf434.55 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.