Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 00:47, 21 февраля 2017 (разн. | история) . . (+27) . . м Классы NP, coNP, Σ₁, Π₁ (poly => \mathit{poly})
- 04:51, 18 января 2017 (разн. | история) . . (0) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→\lambda\Pi-исчисление)
- 04:41, 18 января 2017 (разн. | история) . . (+1) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении)
- 04:19, 18 января 2017 (разн. | история) . . (+1) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении)
- 02:53, 18 января 2017 (разн. | история) . . (+2) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→\lambda\Pi-исчисление)
- 02:03, 18 января 2017 (разн. | история) . . (+48) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Задача вывода типов в \lambda\Pi-исчислении)
- 23:19, 17 января 2017 (разн. | история) . . (-11) . . Неразрешимость задачи вывода типов в языке с зависимыми типами
- 23:08, 17 января 2017 (разн. | история) . . (+46) . . Неразрешимость задачи вывода типов в языке с зависимыми типами
- 22:25, 17 января 2017 (разн. | история) . . (+107) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→См. также)
- 22:23, 17 января 2017 (разн. | история) . . (+111) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→См. также)
- 22:22, 17 января 2017 (разн. | история) . . (+48) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→См. также)
- 22:20, 17 января 2017 (разн. | история) . . (+60) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (См. также статью про лямбда куб)
- 22:19, 17 января 2017 (разн. | история) . . (+1388) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (Лирическое вступление)
- 22:08, 17 января 2017 (разн. | история) . . (+6) . . м Неразрешимость задачи вывода типов в языке с зависимыми типами
- 22:04, 17 января 2017 (разн. | история) . . (+235) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→См. также)
- 22:01, 17 января 2017 (разн. | история) . . (+110) . . м Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении)
- 21:58, 17 января 2017 (разн. | история) . . (+50) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Задача вывода типов в \lambda\Pi-исчислении: More english)
- 21:57, 17 января 2017 (разн. | история) . . (+271) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→\lambda\Pi-исчисление: English terms)
- 21:46, 17 января 2017 (разн. | история) . . (+1) . . м Неразрешимость задачи вывода типов в языке с зависимыми типами (→Задача вывода типов в \lambda\Pi-исчислении)
- 21:44, 17 января 2017 (разн. | история) . . (+389) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (См. также, источники и категории)
- 21:40, 17 января 2017 (разн. | история) . . (+3634) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении)
- 20:58, 17 января 2017 (разн. | история) . . (+42) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (Добавил пробелов в применения)
- 20:45, 17 января 2017 (разн. | история) . . (+1766) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении)
- 20:28, 17 января 2017 (разн. | история) . . (+1777) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении: Всё кроме доказательства теоремы)
- 20:15, 17 января 2017 (разн. | история) . . (+2230) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении)
- 19:46, 17 января 2017 (разн. | история) . . (+133) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (Новый раздел)
- 19:37, 17 января 2017 (разн. | история) . . (+78) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→\lambda\Pi-исчисление: пояснил за well-formed.)
- 19:30, 17 января 2017 (разн. | история) . . (+3181) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Типизируемость в \lambda\Pi-исчислении)
- 19:02, 17 января 2017 (разн. | история) . . (+90) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (Новый раздел)
- 18:48, 17 января 2017 (разн. | история) . . (+173) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (Викификация)
- 18:41, 17 января 2017 (разн. | история) . . (-88) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (<tex> вместо <math>)
- 18:35, 17 января 2017 (разн. | история) . . (+4054) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (Определение исчисления)
- 17:27, 17 января 2017 (разн. | история) . . (+146) . . Лямбда-исчисление (См. также)
- 17:27, 17 января 2017 (разн. | история) . . (+118) . . Н Неразрешимость задачи вывода типов в языке с зависимыми типами (Новая страница: «=Неразрешимость задачи вывода типов в языке с зависимыми типами=»)
- 17:24, 17 января 2017 (разн. | история) . . (+122) . . Теория формальных языков (→Примеры неразрешимых задач)
- 23:57, 14 января 2017 (разн. | история) . . (0) . . Объём (→Переход из одной системы координат в другую)
- 11:27, 13 декабря 2016 (разн. | история) . . (+338) . . Аффинное пространство (Источники и категория)
- 02:25, 13 декабря 2016 (разн. | история) . . (+175) . . Аффинное пространство (→Аффинная независимость и базисы)
- 00:57, 13 декабря 2016 (разн. | история) . . (0) . . м Аффинное пространство (→Аффинная независимость и базисы)
- 00:09, 13 декабря 2016 (разн. | история) . . (-245) . . Аффинное пространство (→Матрица поворота)
- 00:01, 13 декабря 2016 (разн. | история) . . (0) . . м Аффинное пространство (→Уравнение гиперплоскости, полупространства)
- 00:00, 13 декабря 2016 (разн. | история) . . (+3) . . м Аффинное пространство (→Уравнение гиперплоскости, полупространства)
- 23:59, 12 декабря 2016 (разн. | история) . . (-1) . . м Аффинное пространство (→Уравнение гиперплоскости, полупространства)
- 23:57, 12 декабря 2016 (разн. | история) . . (+2) . . м Аффинное пространство (→Аффинная независимость и базисы)
- 23:56, 12 декабря 2016 (разн. | история) . . (+21) . . Аффинное пространство (→Единственность разложения в базис)
- 23:56, 12 декабря 2016 (разн. | история) . . (+834) . . Аффинное пространство (→Аффинная независимость и базисы)
- 23:28, 12 декабря 2016 (разн. | история) . . (+81) . . Аффинное пространство (→Аффинная независимость и базисы)
- 23:03, 12 декабря 2016 (разн. | история) . . (+434) . . Аффинное пространство
- 22:57, 12 декабря 2016 (разн. | история) . . (+2231) . . Аффинное пространство (→Аффинная независимость)
- 21:31, 12 декабря 2016 (разн. | история) . . (0) . . Аффинное пространство (→Определители)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
