Вклад участника
21 февраля 2017
18 января 2017
Неразрешимость задачи вывода типов в языке с зависимыми типами
\lambda\Pi-исчисление
Неразрешимость задачи вывода типов в языке с зависимыми типами
Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+1
Неразрешимость задачи вывода типов в языке с зависимыми типами
Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+1
Неразрешимость задачи вывода типов в языке с зависимыми типами
\lambda\Pi-исчисление
+2
Неразрешимость задачи вывода типов в языке с зависимыми типами
Задача вывода типов в \lambda\Pi-исчислении
+48
17 января 2017
Неразрешимость задачи вывода типов в языке с зависимыми типами
Нет описания правки
-11
Неразрешимость задачи вывода типов в языке с зависимыми типами
Нет описания правки
+46
Неразрешимость задачи вывода типов в языке с зависимыми типами
См. также
+107
Неразрешимость задачи вывода типов в языке с зависимыми типами
См. также
+111
Неразрешимость задачи вывода типов в языке с зависимыми типами
См. также
+48
Неразрешимость задачи вывода типов в языке с зависимыми типами
См. также статью про лямбда куб
+60
Неразрешимость задачи вывода типов в языке с зависимыми типами
Лирическое вступление
+1388
Неразрешимость задачи вывода типов в языке с зависимыми типами
Нет описания правки
м+6
Неразрешимость задачи вывода типов в языке с зависимыми типами
См. также
+235
Неразрешимость задачи вывода типов в языке с зависимыми типами
Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
м+110
Неразрешимость задачи вывода типов в языке с зависимыми типами
Задача вывода типов в \lambda\Pi-исчислении: More english
+50
Неразрешимость задачи вывода типов в языке с зависимыми типами
\lambda\Pi-исчисление: English terms
+271
Неразрешимость задачи вывода типов в языке с зависимыми типами
Задача вывода типов в \lambda\Pi-исчислении
м+1
Неразрешимость задачи вывода типов в языке с зависимыми типами
См. также, источники и категории
+389
Неразрешимость задачи вывода типов в языке с зависимыми типами
Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+3634
Неразрешимость задачи вывода типов в языке с зависимыми типами
Добавил пробелов в применения
+42
Неразрешимость задачи вывода типов в языке с зависимыми типами
Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+1766
Неразрешимость задачи вывода типов в языке с зависимыми типами
Неразрешимость задачи вывода типов в \lambda\Pi-исчислении: Всё кроме доказательства теоремы
+1777
Неразрешимость задачи вывода типов в языке с зависимыми типами
Неразрешимость задачи вывода типов в \lambda\Pi-исчислении
+2230
Неразрешимость задачи вывода типов в языке с зависимыми типами
Новый раздел
+133
Неразрешимость задачи вывода типов в языке с зависимыми типами
\lambda\Pi-исчисление: пояснил за well-formed.
+78
Неразрешимость задачи вывода типов в языке с зависимыми типами
Типизируемость в \lambda\Pi-исчислении
+3181
Неразрешимость задачи вывода типов в языке с зависимыми типами
Новый раздел
+90
Неразрешимость задачи вывода типов в языке с зависимыми типами
Викификация
+173
Неразрешимость задачи вывода типов в языке с зависимыми типами
<tex> вместо <math>
-88
Неразрешимость задачи вывода типов в языке с зависимыми типами
Определение исчисления
+4054
Лямбда-исчисление
См. также
+146
Неразрешимость задачи вывода типов в языке с зависимыми типами
Новая страница: «=Неразрешимость задачи вывода типов в языке с зависимыми типами=»
Теория формальных языков
Примеры неразрешимых задач
+122
14 января 2017
13 декабря 2016
Аффинное пространство
Источники и категория
+338
Аффинное пространство
Аффинная независимость и базисы
+175
Аффинное пространство
Аффинная независимость и базисы
мАффинное пространство
Матрица поворота
-245
Аффинное пространство
Уравнение гиперплоскости, полупространства
мАффинное пространство
Уравнение гиперплоскости, полупространства
м+3
12 декабря 2016
Аффинное пространство
Уравнение гиперплоскости, полупространства
м-1
Аффинное пространство
Аффинная независимость и базисы
м+2
Аффинное пространство
Единственность разложения в базис
+21
Аффинное пространство
Аффинная независимость и базисы
+834
Аффинное пространство
Аффинная независимость и базисы
+81
Аффинное пространство
Нет описания правки
+434
Аффинное пространство
Аффинная независимость
+2231
Аффинное пространство
Определители
