Научные стажировки в Computer Science: кто, что, зачем и почему? +1
Публикации автора albina_nurtdinova
Learn to Run +1
Истории развития популяций, генетика и генетические алгоритмы +10
Анализ данных ChIP-seq: от гистонов к информатическим задачам +6
Введение в функциональные зависимости +7
Arend – язык с зависимыми типами, основанный на HoTT (часть 2) +19
Arend – язык с зависимыми типами, основанный на HoTT (часть 1) +23
Подход интенсивного обучения STEM +14
