Вклад участника
11 декабря 2016
Участник:Shersh/Тикеты к 5ому терму
Свойства конечных автоматов
м+7
Дискретная математика, алгоритмы и структуры данных
Эйлеровы графы
м+13
Эйлеровы графы
переименовал Эйлеровы графы в Графы Эйлерова обхода
Деревья Эйлерова обхода
переименовал Эйлеровы графы в Графы Эйлерова обхода
м
10 декабря 2016
Примитивно рекурсивные функции
Деление
м-55
Примитивно рекурсивные функции
IF
м+31
Примитивно-рекурсивные функции
переименовал Примитивно-рекурсивные функции в Примитивно рекурсивные функции
Примитивно рекурсивные функции
переименовал Примитивно-рекурсивные функции в Примитивно рекурсивные функции
мУчастник:Shersh/Тикеты к 5ому терму
Вычислительные формализмы
-5
Примитивно рекурсивные функции
Примитивно рекурсивные функции
м+2
8 декабря 2016
Участник:Shersh/Тикеты к 5ому терму
Другие автоматы
м+7
Участник:Shersh/Тикеты к 1ому терму
Подсчёт числа объектов
+15
Участник:Shersh/Тикеты к 1ому терму
Генерация комбинаторных объектов
м+15
Участник:Shersh/Тикеты к 1ому терму
Комбинаторные объекты
м+7
7 декабря 2016
Участник:Shersh/Тикеты к 5ому терму
Нормальные формы КС-грамматик
-5
Приведение грамматики к ослабленной нормальной форме Грейбах
Приведение грамматики к ослабленной нормальной форме Грейбах
м+16
Участник:Shersh/Тикеты к 5ому терму
МП-автоматы
м-15
6 декабря 2016
Участник:Shersh/Тикеты к 3ему терму
1. Основные определения теории графов
м-5
Дополнительный, самодополнительный граф
Нет описания правки
м-9
Дополнительный, самодополнительный граф
Нет описания правки
+9
5 декабря 2016
Простой сопоставитель регулярных выражений
Алгоритм
м+23
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
м+10
4 декабря 2016
Дискретное преобразование Фурье
Применение ДПФ
м+19
Euler tour graphs
переименовал Euler tour graphs в Эйлеровы графы
Деревья Эйлерова обхода
переименовал Euler tour graphs в Эйлеровы графы
м
27 ноября 2016
Теорема Вагнера
Нет описания правки
м-2
Теория формальных языков
Регулярные языки и ДКА
м+1
Простой матчер регулярных выражений
переименовал Простой матчер регулярных выражений в Простой сопоставитель регулярных выражений
Простой сопоставитель регулярных выражений
переименовал Простой матчер регулярных выражений в Простой сопоставитель регулярных выражений
мТеория формальных языков
Нет описания правки
м+32
Участник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
-15
Свойства перечислимых языков. Теорема Успенского-Райса
Свойства языков
м+1
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
м+6
22 ноября 2016
Участник:Shersh/Тикеты к 3ему терму
6. Раскраски графов
м-5
Дискретная математика, алгоритмы и структуры данных
Основные определения теории графов
мУчастник:Shersh/Тикеты к 5ому терму
Разрешимые и перечислимые языки
+7
Участник:Shersh/Тикеты к 5ому терму
Вычислительные формализмы
+16
19 ноября 2016
Участник:Shersh/Тикеты к 5ому терму
Базовые понятия о грамматиках
+7
Участник:Shersh/Тикеты к 5ому терму
Примеры неразрешимых задач
м+15
18 ноября 2016
17 ноября 2016
Рекурсивные функции, представимость в формальной арифметике
переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень
Примитивно рекурсивные функции
переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень
мУчастник:Shersh/Тикеты к 5ому терму
МП-автоматы
м+45
Участник:Shersh/Тикеты к 5ому терму
Нормальные формы КС-грамматик
+7
15 ноября 2016
Участник:Shersh/Тикеты к 5ому терму
Свойства конечных автоматов
м-5
Исчисление предикатов
Интерпретация булевых формул с кванторами как игр для двух игроков
м-2
13 ноября 2016
Участник:Shersh/Тикеты к 5ому терму
Минимизация ДКА
м-5
Участник:Shersh/Тикеты к 5ому терму
Нормальные формы КС-грамматик
-5
Участник:Shersh/Тикеты к 5ому терму
Примеры неразрешимых задач
+7
Участник:Shersh/Тикеты к 5ому терму
Свойства конечных автоматов
-5
