Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 22:19, 3 июня 2012 (разн. | история) . . (+3235) . . PCP-теорема (основная теорема)
- 21:46, 3 июня 2012 (разн. | история) . . (+835) . . PCP-теорема (лемма о композиции)
- 21:28, 3 июня 2012 (разн. | история) . . (+1977) . . PCP-теорема (Вступление композиции)
- 21:07, 3 июня 2012 (разн. | история) . . (+1063) . . PCP-теорема (лемма об усилении)
- 19:59, 3 июня 2012 (разн. | история) . . (+1533) . . PCP-теорема (Усиление, введение)
- 19:40, 3 июня 2012 (разн. | история) . . (+609) . . PCP-теорема (Лемма о расширении)
- 19:34, 3 июня 2012 (разн. | история) . . (+1879) . . PCP-теорема (expander-replacement)
- 19:17, 3 июня 2012 (разн. | история) . . (+865) . . PCP-теорема (реструктуризация)
- 19:08, 3 июня 2012 (разн. | история) . . (+1450) . . PCP-теорема (Коды с коррекцией ошибок)
- 18:56, 3 июня 2012 (разн. | история) . . (+597) . . PCP-теорема (Неравенство в стиле Чебышева)
- 18:48, 3 июня 2012 (разн. | история) . . (+998) . . PCP-теорема (Экспандер графы без доказательств)
- 18:35, 3 июня 2012 (разн. | история) . . (+1293) . . PCP-теорема (Лемма о экспандерах)
- 18:15, 3 июня 2012 (разн. | история) . . (+562) . . PCP-теорема (→Графы условий: Доказательство леммы)
- 18:06, 3 июня 2012 (разн. | история) . . (+1080) . . PCP-теорема (Графы условий без доказательсва)
- 17:47, 3 июня 2012 (разн. | история) . . (+1811) . . PCP-теорема (определение графов условий)
- 17:15, 3 июня 2012 (разн. | история) . . (+79) . . PCP-теорема (→Несколько замечаний [TODO: переименовать]: - переименовано)
- 17:11, 3 июня 2012 (разн. | история) . . (+2236) . . PCP-теорема (доказательство леммы)
- 16:18, 3 июня 2012 (разн. | история) . . (+1766) . . PCP-теорема (закончено доказательство леммы в одну сторону)
- 16:01, 3 июня 2012 (разн. | история) . . (+1948) . . PCP-теорема (Начало доказательства леммы)
- 15:24, 3 июня 2012 (разн. | история) . . (+1375) . . Н PCP-теорема (GAP-3SAT)
- 02:38, 24 января 2012 (разн. | история) . . (-217) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (определение переехало)
- 02:34, 24 января 2012 (разн. | история) . . (+10) . . Формальные грамматики (якорь)
- 02:32, 24 января 2012 (разн. | история) . . (+242) . . Формальные грамматики (сент. форма)
- 02:30, 24 января 2012 (разн. | история) . . (+269) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (сент. форма)
- 02:22, 24 января 2012 (разн. | история) . . (+21) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (перевод на русский)
- 02:21, 24 января 2012 (разн. | история) . . (+12) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (точки, точки, точечки)
- 02:16, 24 января 2012 (разн. | история) . . (+134) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (примеры, структура)
- 02:11, 24 января 2012 (разн. | история) . . (+3865) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (примеры, разбил доказательство)
- 05:26, 19 января 2012 (разн. | история) . . (+1925) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (часть 4)
- 05:07, 19 января 2012 (разн. | история) . . (+1550) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (Часть 3)
- 04:51, 19 января 2012 (разн. | история) . . (+2024) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (часть 2)
- 04:27, 19 января 2012 (разн. | история) . . (+2955) . . Н Возможность порождения формальной грамматикой произвольного перечислимого языка (часть 1)
- 18:02, 10 ноября 2011 (разн. | история) . . (+157) . . Н Участник:Filchenko (Новая страница: «Николай Фильченко Мои контакты: * ICQ 403-863-699 * skype finomen812 * почта finomen812@gmail.com * jabber finomen@jabber.ru») (текущая)
- 17:57, 10 ноября 2011 (разн. | история) . . (+187) . . Обсуждение:Формальные грамматики (ответ2)
- 17:56, 10 ноября 2011 (разн. | история) . . (-408) . . Формальные грамматики (→Определения: объединил определения)
- 06:59, 10 ноября 2011 (разн. | история) . . (+46) . . Формальные грамматики (→Обозначения: фикс обозначений)
- 06:52, 10 ноября 2011 (разн. | история) . . (+225) . . Обсуждение:Формальные грамматики (→ToDo: ответ)
- 06:49, 10 ноября 2011 (разн. | история) . . (+339) . . Формальные грамматики (→Правильные скобочные последовательности: пример поинтересней)
- 06:40, 10 ноября 2011 (разн. | история) . . (-165) . . Формальные грамматики (определение языка - фикс)
- 06:36, 10 ноября 2011 (разн. | история) . . (+1) . . Формальные грамматики (фикс определений)
- 06:35, 10 ноября 2011 (разн. | история) . . (-436) . . Формальные грамматики (еще несколько правок)
- 06:18, 10 ноября 2011 (разн. | история) . . (+244) . . Формальные грамматики (→Определения: вынес обозначения, добавил забытое)
- 05:52, 10 ноября 2011 (разн. | история) . . (+21) . . Формальные грамматики (фикс структуры)
- 05:51, 10 ноября 2011 (разн. | история) . . (+347) . . Формальные грамматики (литература)
- 05:49, 10 ноября 2011 (разн. | история) . . (+140) . . Формальные грамматики (фикс ссылок)
- 05:47, 10 ноября 2011 (разн. | история) . . (+173) . . Формальные грамматики (сслыка на левоторонний вывод, еще несколько тире)
- 05:30, 10 ноября 2011 (разн. | история) . . (-2) . . Формальные грамматики (опечатка)
- 05:29, 10 ноября 2011 (разн. | история) . . (+440) . . Формальные грамматики (обозначения, переместил определение терминала)
- 05:09, 10 ноября 2011 (разн. | история) . . (+16) . . Формальные грамматики (→Арифметические выражения: тире)
- 05:08, 10 ноября 2011 (разн. | история) . . (+1) . . Формальные грамматики (Исправлены тире)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)