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