Прикладна математика

Бакалавр

Математична логіка та теорія алгоритмів

Викладачi

Методичнi вказiвки до виконання практичних занять '«Математична логіка та теорія алгоритмів»
Частина I. “Алгебра висловлювань”.
Для здобувачів вищої освіти першого (бакалаврського) рівня зі спеціальності 113 «Прикладна математика» освітньо-професійної програми «Прикладна математика» ' 		2021 Надригайло Т.Ж.

Робоча програма '«Математична логіка та теорія алгоритмів».
Для здобувачів вищої освіти першого (бакалаврського) рівня зі спеціальності 113 «Прикладна математика» освітньо-професійної програми «Прикладна математика» ' 		2022 Надригайло Т.Ж.

Методичнi вказiвки до виконання практичних занять '«Математична логіка та теорія алгоритмів».
Частина II.“Логіка предикатів”
Для здобувачів вищої освіти першого (бакалаврського) рівня зі спеціальності 113 «Прикладна математика» освітньо-професійної програми «Прикладна математика» ' 		2021 Надригайло Т.Ж.

Методичнi вказiвки до виконання практичних занять '«Математична логіка та теорія алгоритмів».
Частина III.“Машина Тьюрінга”
Для здобувачів вищої освіти першого (бакалаврського) рівня зі спеціальності 113 «Прикладна математика» освітньо-професійної програми «Прикладна математика» ' 		2021 Надригайло Т.Ж.

Методичнi вказiвки до виконання практичних занять '«Математична логіка та теорія алгоритмів».
Частина IV.“Рекурсивні функції. Нормальні алгоритми Маркова”
Для здобувачів вищої освіти першого (бакалаврського) рівня зі спеціальності 113 «Прикладна математика» освітньо-професійної програми «Прикладна математика» ' 		2021 Надригайло Т.Ж.

Силабус '«Математична логіка та теорія алгоритмів».
Для здобувачів вищої освіти першого (бакалаврського) рівня вищої освіти зі спеціальності 113 «Прикладна математика» за освітньо-професійною програмою «Прикладна математика» ' 		2022 Надригайло Т.Ж.