Вклад участника
10 декабря 2016
Примитивно рекурсивные функции
Вычитания
+3
Примитивно рекурсивные функции
Операции сравнения
-1
Примитивно рекурсивные функции
Вычитания
+1
Примитивно рекурсивные функции
Умножения
-1
Примитивно рекурсивные функции
n-местный ноль
+1
Примитивно рекурсивные функции
n-местный ноль
+21
Примитивно рекурсивные функции
n-местный ноль
+179
Примитивно рекурсивные функции
Деление
+11
Примитивно рекурсивные функции
IF
-2
Примитивно рекурсивные функции
Деление
Примитивно рекурсивные функции
Деление
+3
Примитивно рекурсивные функции
Деление
-2
Примитивно рекурсивные функции
IF
Примитивно рекурсивные функции
Деление
-2
Примитивно рекурсивные функции
Деление
-1
Примитивно рекурсивные функции
Деление
+6
Примитивно рекурсивные функции
Сложение
Примитивно рекурсивные функции
Рекурсивные функции
+79
Примитивно рекурсивные функции
Арифметические операции на примитивно рекурсивных функциях
-79
Примитивно рекурсивные функции
Примитивно рекурсивные функции
+36
5 декабря 2016
Примитивно рекурсивные функции
Константа \textbf M
Примитивно рекурсивные функции
Константа \textbf M
Примитивно рекурсивные функции
Константа \textbf M
-1
Примитивно рекурсивные функции
Константа \textbf M
+13
Примитивно рекурсивные функции
Сложение
-6
Примитивно рекурсивные функции
Сложение
-32
4 декабря 2016
Примитивно рекурсивные функции
Сложение
-4
Примитивно рекурсивные функции
Сложение
+218
Примитивно рекурсивные функции
Рекурсивные функции
-17
Примитивно рекурсивные функции
Источники информации
+27
Примитивно рекурсивные функции
Деление
-314
3 ноября 2016
18 октября 2016
11 октября 2016
Формальные грамматики
Обозначения
+157
Формальные грамматики
Определения
+9
Формальные грамматики
Язык 0^n1^n2^n
-8
Формальные грамматики
Язык 0^n1^n2^n
+669
Формальные грамматики
Определения
-137
Формальные грамматики
Определения
+137
5 июня 2016
Алгоритм Ахо-Корасик
Пример автомата Ахо-Корасик
Алгоритм Ахо-Корасик
Пример автомата Ахо-Корасик
-137
Алгоритм Ахо-Корасик
Пример реализации
+88
Алгоритм Ахо-Корасик
Пример реализации
-1
Алгоритм Ахо-Корасик
Оптимизации
+611
Алгоритм Ахо-Корасик
Пример реализации
-6
Алгоритм Ахо-Корасик
Шаг 3. Построение сжатых суффиксных ссылок
+370
Алгоритм Ахо-Корасик
Оптимизации
+98
Алгоритм Ахо-Корасик
Пример реализации
-9
Алгоритм Ахо-Корасик
Пример реализации
+9