Перейти до головного вмісту
Бокова панель
uiite
Українська (uk)
Русский (ru)
Українська (uk)
English (en)
Ви не пройшли ідентифікацію (
Увійти
)
Математична логіка і теорія алгоритмів. Частина 1. Алгоритмічні машини, рекурсивні функції, автоматичне доведення теорем
На головну
Інформація про курс
На головну
Курси
Інститут прикладного системного аналізу
Математична логіка і теорія алгоритмів. Частина 1. Алгоритмічні машини, рекурсивні функції, автоматичне доведення теорем
Резюме
Математична логіка і теорія алгоритмів. Частина 1. Алгоритмічні машини, рекурсивні функції, автоматичне доведення теорем
Викладач:
Стусь Олександр Вікторович