МАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ АЛГОРИТМІВ Практикум
| dc.contributor.author | Жук, П.Ф. | |
| dc.date.accessioned | 2018-07-12T10:45:39Z | |
| dc.date.available | 2018-07-12T10:45:39Z | |
| dc.date.issued | 2014 | |
| dc.description | Практикум «Математична логіка та теорія алгоритмів» призначено для студентів спеціальності "Прикладна математика". Він цілком відповідає програмі навчальної дисципліни, містить методичні вказівки за всіма темами курсу та значну кількість прикладів розв’язання типових задач. Для ефективного використання практи-куму в навчальному процесі студент повинен для кожного практи-чного заняття засвоїти вказаний там теоретичний матеріал, уважно розібрати типові приклади розв’язання задач, наведені в практику-мі, та самостійно розв’язати контрольні завдання. | uk_UA |
| dc.description.abstract | Містить методичні рекомендації до практичних занять, що сприяють кращому засвоєнню студентами теоретичного курсу навчальної дисципліни «Математична логіка та теорія алгоритмів», формуванню в них відповідних вмінь і навичок розв’язання типових завдань з логіки та числення висловлювань і предикатів, формальних моделей алгоритмів та алгоритмічно обчислюваних функцій, застосування методів математичної логіки та теорії алгоритмів у галузі прикладної математики. Для кожного практичного заняття викладено посилання на теоретичні відомості, наведено методи і приклади розв’язання типових завдань, сформульовано перелік завдань для самостійного виконання. Для студентів спеціальності 6.040301 «Прикладна математика». | uk_UA |
| dc.identifier.citation | Жук П.Ф. Математична логіка та теорія алгоритмів : практикум / уклад.: П. Ф. Жук – К. : НАУ, 2014. – 21 с. | uk_UA |
| dc.identifier.issn | УДК 517.9(076) | |
| dc.identifier.uri | http://er.nau.edu.ua/handle/NAU/35782 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | НАУ | uk_UA |
| dc.relation.ispartofseries | Д 50; | |
| dc.speciality | ББК В 161.6я7 | uk_UA |
| dc.subject | Алгебра висловлювань, Числення предикатів, Метод резолюцій | uk_UA |
| dc.title | МАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ АЛГОРИТМІВ Практикум | uk_UA |
| dc.type | Working Paper | uk_UA |