Вклад участника
- 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) . . Аффинное пространство (→Определители)
- 21:31, 12 декабря 2016 (разн. | история) . . (-57) . . м Аффинное пространство (→Матрица перехода)
- 21:29, 12 декабря 2016 (разн. | история) . . (-135) . . Аффинное пространство (→Матрица поворота)
- 21:23, 12 декабря 2016 (разн. | история) . . (+125) . . Аффинное пространство (→Обоснование)
- 21:21, 12 декабря 2016 (разн. | история) . . (-177) . . Аффинное пространство (→Определители)
- 21:17, 12 декабря 2016 (разн. | история) . . (+683) . . Аффинное пространство (→Векторные пространства и определители)
- 21:00, 12 декабря 2016 (разн. | история) . . (0) . . Объём (→Параллелепипед)
- 20:57, 12 декабря 2016 (разн. | история) . . (0) . . м Объём (→Вычисление объема)
- 20:56, 12 декабря 2016 (разн. | история) . . (+151) . . Объём (→Параллелепипед)
- 20:53, 12 декабря 2016 (разн. | история) . . (+1202) . . Объём (Площадь параллелепипеда)
- 16:31, 12 декабря 2016 (разн. | история) . . (0) . . м Объём (→Общий случай)
- 16:18, 12 декабря 2016 (разн. | история) . . (+4) . . м Аффинное пространство (ошибочка →Аффинная независимость)
- 16:17, 12 декабря 2016 (разн. | история) . . (0) . . м Аффинное пространство (Тире)
- 16:07, 12 декабря 2016 (разн. | история) . . (0) . . м Аффинное пространство (→Аффинная независимость)
- 16:06, 12 декабря 2016 (разн. | история) . . (+1648) . . Аффинное пространство (Доказательство леммы из →Аффинная независимость)
- 15:27, 12 декабря 2016 (разн. | история) . . (-24) . . Вычислительная геометрия (→Основание вычислительной геометрии)
- 15:27, 12 декабря 2016 (разн. | история) . . (0) . . м Объём (переименовал Ориентация и объем в Объем: Ориентация переехала)
- 15:27, 12 декабря 2016 (разн. | история) . . (+46) . . Н Ориентация и объем (переименовал Ориентация и объем в Объем: Ориентация переехала)
- 15:24, 12 декабря 2016 (разн. | история) . . (+1) . . м Объём (→Переход из одной системы координат в другую)
- 15:22, 12 декабря 2016 (разн. | история) . . (+31) . . м Объём (→Вычисление объема)
- 17:02, 11 декабря 2016 (разн. | история) . . (0) . . м Вычислительная геометрия (→Основание вычислительной геометрии)
- 17:01, 11 декабря 2016 (разн. | история) . . (+15) . . м Аффинное пространство (→Базисы векторного пространства)
- 16:50, 11 декабря 2016 (разн. | история) . . (+38) . . Объём (→Переход из одной системы координат в другую)
- 02:54, 11 декабря 2016 (разн. | история) . . (+9) . . м Аффинное пространство (→Матрица поворота)
- 02:50, 11 декабря 2016 (разн. | история) . . (+20) . . м Аффинное пространство (→Определения)
- 02:00, 11 декабря 2016 (разн. | история) . . (-1) . . м Аффинное пространство
- 01:56, 11 декабря 2016 (разн. | история) . . (+202) . . Аффинное пространство (Размерность)
- 00:56, 11 декабря 2016 (разн. | история) . . (+147) . . Аффинное пространство (→Определения)
- 00:53, 11 декабря 2016 (разн. | история) . . (-4) . . м Аффинное пространство (→Базисы векторного пространства)
- 00:51, 11 декабря 2016 (разн. | история) . . (+98) . . Аффинное пространство (→Базисы векторного пространства)
- 00:51, 11 декабря 2016 (разн. | история) . . (+47) . . Аффинное пространство (reorder)
- 00:49, 11 декабря 2016 (разн. | история) . . (+21) . . Аффинное пространство (→Единственность разложения)
- 00:48, 11 декабря 2016 (разн. | история) . . (+1396) . . Аффинное пространство (Аффинная независимость)
- 00:25, 11 декабря 2016 (разн. | история) . . (0) . . Н Файл:Alice and lost Bob.png (текущая)
- 23:49, 10 декабря 2016 (разн. | история) . . (+2260) . . Аффинное пространство (Аффинные подпространства)
- 23:03, 10 декабря 2016 (разн. | история) . . (+7) . . Аффинное пространство (→Определения)
- 04:23, 10 декабря 2016 (разн. | история) . . (+1985) . . Аффинное пространство (→Определение)
- 02:58, 10 декабря 2016 (разн. | история) . . (+301) . . Аффинное пространство (→Мотивация)
- 02:51, 10 декабря 2016 (разн. | история) . . (+207) . . Аффинное пространство (→Неформальное описание)
- 02:49, 10 декабря 2016 (разн. | история) . . (+293) . . Аффинное пространство (→Мотивация)
- 02:46, 10 декабря 2016 (разн. | история) . . (+709) . . Аффинное пространство (→Мотивация)
- 02:31, 10 декабря 2016 (разн. | история) . . (-300) . . Аффинное пространство (→Определение)
- 02:17, 10 декабря 2016 (разн. | история) . . (+87) . . м Аффинное пространство (→Неформальное введение)
- 23:22, 9 декабря 2016 (разн. | история) . . (+785) . . Аффинное пространство (→Неформальное введение)
- 21:53, 9 декабря 2016 (разн. | история) . . (+1247) . . Аффинное пространство (Неформальное введение)
- 20:49, 9 декабря 2016 (разн. | история) . . (+19) . . Аффинное пространство (→Базисы)
- 20:40, 9 декабря 2016 (разн. | история) . . (+277) . . м Аффинное пространство (Remove wikitex)
- 20:24, 9 декабря 2016 (разн. | история) . . (0) . . м Аффинное пространство (Определение)
- 20:13, 9 декабря 2016 (разн. | история) . . (+394) . . Аффинное пространство (Определение ЛНЗ)
- 20:01, 9 декабря 2016 (разн. | история) . . (+2) . . м Аффинное пространство (type)
- 16:01, 9 декабря 2016 (разн. | история) . . (+2) . . м Объём (→Вычисление поворота)
- 15:54, 9 декабря 2016 (разн. | история) . . (+1570) . . Аффинное пространство (→Определения)
- 14:42, 9 декабря 2016 (разн. | история) . . (+327) . . Аффинное пространство (→Матрица перехода)
- 14:35, 9 декабря 2016 (разн. | история) . . (+22) . . Объём (→Матрица поворота)
- 14:30, 9 декабря 2016 (разн. | история) . . (+5) . . Объём (→Матрица поворота)
- 21:11, 6 декабря 2016 (разн. | история) . . (+597) . . Аффинное пространство (→Базисы)
- 20:32, 6 декабря 2016 (разн. | история) . . (+1) . . м Аффинное пространство (→Базисы)
- 19:59, 6 декабря 2016 (разн. | история) . . (+1931) . . Н Аффинное пространство (Единственность разложения в базис.)
- 16:48, 6 декабря 2016 (разн. | история) . . (+42) . . Список заданий по ТФЯ 2016
- 21:39, 28 ноября 2016 (разн. | история) . . (0) . . м Триангуляция Делоне на сфере (→Критерии Делоне для ребер)
- 20:48, 28 ноября 2016 (разн. | история) . . (+15) . . м Триангуляция Делоне на сфере (operatorname)
- 20:36, 28 ноября 2016 (разн. | история) . . (+68) . . Триангуляция Делоне на сфере (<tex>\implies</tex>)
- 11:56, 18 ноября 2015 (разн. | история) . . (+1) . . Список заданий по АСД 2к 2015 осень
- 11:40, 18 ноября 2015 (разн. | история) . . (0) . . Список заданий по АСД 2к 2015 осень
- 10:05, 11 декабря 2014 (разн. | история) . . (+2) . . Дисперсия случайной величины (→Линейность)
- 16:14, 9 декабря 2014 (разн. | история) . . (0) . . Дискретная случайная величина (→кси и икс перепутаны местами)