Кредитний модуль: Математична логіка і теорія алгоритмів 1.

Алгоритмічні машини, рекурсивні функції, автоматичне доведення теорем