Вклад участника
3 июня 2012
PCP-теорема
основная теорема
+3235
PCP-теорема
лемма о композиции
+835
PCP-теорема
Вступление композиции
+1977
PCP-теорема
лемма об усилении
+1063
PCP-теорема
Усиление, введение
+1533
PCP-теорема
Лемма о расширении
+609
PCP-теорема
expander-replacement
+1879
PCP-теорема
реструктуризация
+865
PCP-теорема
Коды с коррекцией ошибок
+1450
PCP-теорема
Неравенство в стиле Чебышева
+597
PCP-теорема
Экспандер графы без доказательств
+998
PCP-теорема
Лемма о экспандерах
+1293
PCP-теорема
Графы условий: Доказательство леммы
+562
PCP-теорема
Графы условий без доказательсва
+1080
PCP-теорема
определение графов условий
+1811
PCP-теорема
Несколько замечаний [TODO: переименовать]: - переименовано
+79
PCP-теорема
доказательство леммы
+2236
PCP-теорема
закончено доказательство леммы в одну сторону
+1766
PCP-теорема
Начало доказательства леммы
+1948
PCP-теорема
GAP-3SAT
24 января 2012
Возможность порождения формальной грамматикой произвольного перечислимого языка
определение переехало
-217
Формальные грамматики
якорь
+10
Формальные грамматики
сент. форма
+242
Возможность порождения формальной грамматикой произвольного перечислимого языка
сент. форма
+269
Возможность порождения формальной грамматикой произвольного перечислимого языка
перевод на русский
+21
Возможность порождения формальной грамматикой произвольного перечислимого языка
точки, точки, точечки
+12
Возможность порождения формальной грамматикой произвольного перечислимого языка
примеры, структура
+134
Возможность порождения формальной грамматикой произвольного перечислимого языка
примеры, разбил доказательство
+3865
19 января 2012
Возможность порождения формальной грамматикой произвольного перечислимого языка
часть 4
+1925
Возможность порождения формальной грамматикой произвольного перечислимого языка
Часть 3
+1550
Возможность порождения формальной грамматикой произвольного перечислимого языка
часть 2
+2024
Возможность порождения формальной грамматикой произвольного перечислимого языка
часть 1
10 ноября 2011
Участник:Filchenko
Новая страница: «Николай Фильченко Мои контакты: * ICQ 403-863-699 * skype finomen812 * почта finomen812@gmail.com * jabber finomen@jabber.ru»
Обсуждение:Формальные грамматики
ответ2
+187
Формальные грамматики
Определения: объединил определения
-408
Формальные грамматики
Обозначения: фикс обозначений
+46
Обсуждение:Формальные грамматики
ToDo: ответ
+225
Формальные грамматики
Правильные скобочные последовательности: пример поинтересней
+339
Формальные грамматики
определение языка - фикс
-165
Формальные грамматики
фикс определений
+1
Формальные грамматики
еще несколько правок
-436
Формальные грамматики
Определения: вынес обозначения, добавил забытое
+244
Формальные грамматики
фикс структуры
+21
Формальные грамматики
литература
+347
Формальные грамматики
фикс ссылок
+140
Формальные грамматики
сслыка на левоторонний вывод, еще несколько тире
+173
Формальные грамматики
опечатка
-2
Формальные грамматики
обозначения, переместил определение терминала
+440
Формальные грамматики
Арифметические выражения: тире
+16
Формальные грамматики
Исправлены тире
+1