Код: 258700Назва:
Математична логіка та теорія алгоритмів
Анотація: У курсі вивчаються основи математичної логіки, формальні мови, формальні теорії на прикладі числення висловлювань та числення предикатів. В другій частині вивчається теорія алгоритмів. Розглядається теорія складності алгоритмів, лямбда числення, теорія примітивно рекурсивних функцій.