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