Вклад участника
26 апреля 2015
Функциональное программирование
Решение
м+2
Функциональное программирование
E0. Определить примитивные конструкции
м-1
Функциональное программирование
E0. Определить примитивные конструкции
м+7
Функциональное программирование
E0. Определить примитивные конструкции
м+2
Функциональное программирование
Аппликативный порядок редукции
м-6
Функциональное программирование
Решение
м+5
Функциональное программирование
Решение: исправлена бага
мФункциональное программирование
E2. let-биндинги но с возможной взаимной рекурсией
м+1
Функциональное программирование
Решение
мФункциональное программирование
Кр2: добавлен разбор кр2
+5210
Функциональное программирование
Кр2
+205
Функциональное программирование
Фотки
мФункциональное программирование
Кр2
+293
Функциональное программирование
Кодирование по Чёрчу
+151
Функциональное программирование
Кодирование по Чёрчу
м+134
Функциональное программирование
Выписать систему уравнений типизации
+1466
Функциональное программирование
Нет описания правки
+545
Функциональное программирование
Аппликативный порядок редукции
+509
Функциональное программирование
Нормальный порядок редукции
м+893
Функциональное программирование
Привести в нормальную форму
+403
Функциональное программирование
Убрать все сокращения и расставить все скобки
м+757
23 апреля 2015
Декомпозиция Линдона
Существование и единственность: исправлен мелкий баг
мУчастник:Shersh/Тикеты к 4ому терму
Основные факты теории матроидов
м+15
21 апреля 2015
Персистентные структуры данных
Преобразование списка в персистентный за O(1): чуть переписана потенциальная оценка
-300
Персистентные структуры данных
Метод копирование пути
м-20
Участник:Shersh/Тикеты ко 2ому терму
4. Поисковые структуры данных
+7
20 апреля 2015
19 апреля 2015
Персистентные структуры данных
Метод копирование пути
м+2
Персистентные структуры данных
Метод копирование пути
м+1
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м
18 апреля 2015
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м+14
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м-7
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
мПоиск k-ой порядковой статистики в двух массивах
Нет описания правки
м-11
Поиск k-ой порядковой статистики в двух массивах
Еще одно решение
м+3
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м-4
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
мПоиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м-42
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м+2
Поиск k-ой порядковой статистики в двух массивах
Варианты решения
м-604
Поиск k-ой порядковой статистики в двух массивах
Еще одно решение
м+1
Поиск k-ой порядковой статистики в двух массивах
Чуть менее наивное решение
м-6
Поиск k-ой порядковой статистики в двух массивах
Чуть менее наивное решение
м+2
Поиск k-ой порядковой статистики в двух массивах
Наивное решение
м-8
Поиск k-ой порядковой статистики в двух массивах
Наивное решение
м-1
Дискретная математика, алгоритмы и структуры данных
Сортировка
м+17
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м+157
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м+4