Вклад участника
25 января 2012
Список тем
Конфигурации пространства. Локализация.
+296
Алгоритм Флойда — Уоршалла
Источники
Алгоритм Флойда — Уоршалла
Ссылки
-471
Алгоритм Флойда — Уоршалла
Доказательство
+26
Алгоритм Флойда — Уоршалла
Доказательство
+1805
Список тем
Конфигурации пространства. Локализация.
+504
Участница:Katyatitkova/Матан
Показательная функция
-1
Определения, 1 семестр, Кохась К.П.
Нет описания правки
+555
Представление чисел с плавающей точкой
Особые значение чисел с плавающей точкой
Список тем
Нет описания правки
+539
24 января 2012
Участница:Katyatitkova/Матан
Аксиомы вещественных чисел
-8
Линейный клеточный автомат, эквивалентность МТ
Эквивалентность линейного клеточного автомата машине Тьюринга
-28
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Счётчиковые машины
+1
Диагональный метод
Нет описания правки
+1
Участница:Katyatitkova/Матан
Непрерывность слева
+1
Участница:Katyatitkova/Матан
Строго и не строго монотонная функция
-12
Участница:Katyatitkova/Матан
Замечательные пределы с участием синуса, логарифма, степенной и показательной функции
+2
Участница:Katyatitkova/Матан
Свойства показательной функции: композиция экспонент, обратимость. Логарифм. Его свойства.
+2
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+92
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+107
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+150
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+155
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
-2
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+572
Теорема о рекурсии
Нет описания правки
+4
Теорема о рекурсии
Нет описания правки
+5
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+687
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+18
Вычислимые функции
Нет описания правки
+83
Существенно неоднозначные языки
Пример:
+2
Лемма Огдена
Нет описания правки
Автоматы с магазинной памятью
Детерминированный автомат с магазинной памятью
-1314
Теорема о рекурсии
Нет описания правки
+1127
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+7
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+6
Теорема о рекурсии
Теорема о рекурсии
-1
Теорема о рекурсии
Теорема о рекурсии
-1
Нормальная форма Хомского
Нет описания правки
-31
Нормальная форма Хомского
ё
Удаление длинных правил из грамматики
Пример работы
Интерпретация булевых формул с кванторами как игр для двух игроков
Никита, ты неправ (Н минус одного квантора)
-2
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+161
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+1
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+1
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
-157
Линейный клеточный автомат, эквивалентность МТ
Эквивалентность линейного клеточного автомата машине Тьюринга
Теорема о рекурсии
Нет описания правки
+462
Линейный клеточный автомат, эквивалентность МТ
Эквивалентность линейного клеточного автомата машине Тьюринга
+50
Линейный клеточный автомат, эквивалентность МТ
Исправлено определение C_L, C_R
-40
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+2