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