Вклад участника
11 июня 2013
Базис Шаудера
заполнил доказательство полноты координатного пространства
+866
Базис Шаудера
Нет описания правки
+1039
Базис Шаудера
Нет описания правки
+1108
10 июня 2013
Базис Шаудера
\alpha-conversion
мБазис Шаудера
Начал доказательство банаховости координатного пространства
+1256
Базис Шаудера
Каждый раз, когда кто-нибудь не ставит \left и \right, в мире умирает десяток котят
м+77
20 января 2013
Теорема Райса-Шапиро
эстетические и концептуальные правки
м+16
Теорема Райса-Шапиро
точечки
м+2
Теорема Райса-Шапиро
вынес определения
м+206
16 января 2013
15 января 2013
Спектр линейного оператора
typo
м+1
Теорема Банаха об обратном операторе
большие заметные скобки
м+11
Теорема Банаха-Штейнгауза
bugfix
мТеорема Банаха-Штейнгауза
bugfix
м-2
Вопросы к экзамену по функциональному анализу за 5 семестр
bugfix
мЛинейные ограниченные операторы
bugfix
м+1
Линейные ограниченные операторы
bugfix
м+1
Теория формальных языков
Вычислительные формализмы
м-74
Топологические векторные пространства
bugfix
м+7
14 января 2013
Теорема Райса-Шапиро
расписал доказательство подробней
+825
Теорема Райса-Шапиро
interwiki
+40
Теорема Райса-Шапиро
bugfixes
м+379
Теорема Райса-Шапиро
завершение доказательства теоремы
+802
Теорема Райса-Шапиро
доказательство леммы 2
+1728
Теорема Райса-Шапиро
Нет описания правки
-1046
Теорема Райса-Шапиро
доказательство леммы 1
+3138
Теорема Райса-Шапиро
доказательство в одну сторону + философия
+1068
Теорема Райса-Шапиро
снёс прошлый вариант статьи, переписываю заново
-7876
6 января 2013
13 декабря 2012
7 декабря 2012
Машина Тьюринга
убрал плашку "в разработке"
м-29
Машина Тьюринга
Ссылки
м+353
Машина Тьюринга
Другие эквивалентные вычислительные формализмы
м+552
Машина Тьюринга
Результат работы: ещё интервики
м+213
Машина Тьюринга
bugfixes
м+334
Машина Тьюринга
Определение процесса работы
м-97
Машина Тьюринга
Многодорожечная машина Тьюринга: очень важная ремарка
м+21
Машина Тьюринга
Многодорожечная машина Тьюринга
м+35
Машина Тьюринга
Ссылки
м+7
Машина Тьюринга
Ссылки
м+66
Машина Тьюринга
Определение процесса работы: исправлена ошибка
мМашина Тьюринга
убрал пункт "введение"
м-24
Машина Тьюринга
Определение машины
м-1
Машина Тьюринга
Определение процесса работы: ещё шаблоны
м+79
Машина Тьюринга
Определение машины: модный шаблон
м+41
6 декабря 2012
Машина Тьюринга
Ссылки
м+22
Машина Тьюринга
Ссылки
м+11
Машина Тьюринга
Нет описания правки
+407
Машина Тьюринга
Универсальная машина Тьюринга: описание УМТ
м+731
Машина Тьюринга
Другие эквивалентные вычислительные формализмы: ещё формализмы
м+333