MIPT-ML-20-Lect-02
Мат. логика в МФТИ. Пример формализованных рассуждений: индукция и рекурсия для строк (списков).
Мат. логика в МФТИ. Пример формализованных рассуждений: индукция и рекурсия для строк (списков).
Добавить
Уведомления
Мат. логика в МФТИ. Пример формализованных рассуждений: индукция и рекурсия для строк (списков).
Мат. логика в МФТИ. Пример формализованных рассуждений: индукция и рекурсия для строк (списков).