Вклад участника
10 июня 2013
5 июня 2013
4 июня 2013
PS-полнота языка верных булевых формул с кванторами (TQBF)
Нет описания правки
-6
Теорема Бермана — Форчуна
это вообще кто-нибудь проверял?
-2
Теоремы о временной и ёмкостной иерархиях
G/
м
3 июня 2013
Теория Гильберта-Шмидта
дописал
+6331
Теория Гильберта-Шмидта
lock
м+23
Теория Гильберта-Шмидта
что-то написал
+7800
Теория Гильберта-Шмидта
initial commit
Функциональный анализ 3 курс
СВЕЖИЕ ТЕМЫ!!
м+134
19 января 2013
16 января 2013
15 января 2013
Теорема Хана-Банаха
тся-ться!!!111
+69
Линейные функционалы
Нет описания правки
+62
Гильбертовы пространства
добавлено доказательство x=x_1+x_2
+3021
Топологические векторные пространства
определение хаусдорфовости
м+249
Топологические векторные пространства
скобочка
м-1
Топологические векторные пространства
очепятка
мТопологические векторные пространства
кажись определение функционала минковского такое. ну раньше был явно бред
м+4
Топологические векторные пространства
пример
м+130
14 января 2013
Счетно-нормированные пространства
Нет описания правки
м+46
Счетно-нормированные пространства
Нет описания правки
м+115
Счетно-нормированные пространства
если если
м-9
Счетно-нормированные пространства
вернул почти как было
м-20
Счетно-нормированные пространства
определение счётно-нормированного пространства
м+104
Гильбертовы пространства
minus --> plus
м+39
Нормированные пространства (3 курс)
Нет описания правки
м+882
13 января 2013
Нормированные пространства (3 курс)
-> <
м+2
Метрические пространства
Нет описания правки
м+8
Метрические пространства
наноопечтка
мМетрические пространства
пояснение
м+114
7 декабря 2012
Лямбда-исчисление
Нет описания правки
+2
Лямбда-исчисление
Нет описания правки
+21
Лямбда-исчисление
Нет описания правки
Лямбда-исчисление
Нет описания правки
-142
6 декабря 2012
Лямбда-исчисление
Нет описания правки
+10
Лямбда-исчисление
Нет описания правки
-42
Лямбда-исчисление
крокодильчики
+94
Лямбда-исчисление
Примеры (слабонервным не смотреть)
-3
Лямбда-исчисление
Выводы
-5
Лямбда-исчисление
ололо
+6204
Лямбда-исчисление
Выводы
Лямбда-исчисление
Списки
+20
Лямбда-исчисление
Нет описания правки
-395
Лямбда-исчисление
Нет описания правки
+48
Лямбда-исчисление
+1
+62
Лямбда-исчисление
Определение
+8
Лямбда-исчисление
Определение
Лямбда-исчисление
Нет описания правки
+274