Вклад участника
6 февраля 2012
Участник:Dgerasimov
Нет описания правки
+368
Категория:Дерево отрезков
Новая страница: «Категория: Дискретная математика и алгоритмы »
Категория:Деревья поиска
Новая страница: «Категория: Дискретная математика и алгоритмы »
Участник:Dgerasimov
Нет описания правки
+116
3 февраля 2012
27 января 2012
Математическая логика
привел в адекватный вид
+509
Лекция 7
переименовал Лекция 7 в Рекурсивные функции, представимость в формальной арифметике
Примитивно рекурсивные функции
переименовал Лекция 7 в Рекурсивные функции, представимость в формальной арифметике
мОбсуждение:Лекция 6
переименовал Обсуждение:Лекция 6 в Обсуждение:Теории первого порядка
Обсуждение:Теории первого порядка
переименовал Обсуждение:Лекция 6 в Обсуждение:Теории первого порядка
мЛекция 6
переименовал Лекция 6 в Теории первого порядка
Теории первого порядка
переименовал Лекция 6 в Теории первого порядка
мЛекция 5
переименовал Лекция 5 в Секвенциальное и интуиционистское исчисление
Секвенциальное и интуиционистское исчисление
переименовал Лекция 5 в Секвенциальное и интуиционистское исчисление
мЛекция 4
переименовал Лекция 4 в Исчисление предикатов
Исчисление предикатов
переименовал Лекция 4 в Исчисление предикатов
мОбсуждение:Лекция 3
переименовал Обсуждение:Лекция 3 в Обсуждение:Лемма о дедукции, полнота исчисления высказываний
Обсуждение:Лемма о дедукции, полнота исчисления высказываний
переименовал Обсуждение:Лекция 3 в Обсуждение:Лемма о дедукции, полнота исчисления высказываний
мЛекция 3
переименовал Лекция 3 в Лемма о дедукции, полнота исчисления высказываний
Лемма о дедукции, полнота исчисления высказываний
переименовал Лекция 3 в Лемма о дедукции, полнота исчисления высказываний
мОбсуждение:Лекция 2
переименовал Обсуждение:Лекция 2 в Обсуждение:Исчисление высказываний
Обсуждение:Исчисление высказываний
переименовал Обсуждение:Лекция 2 в Обсуждение:Исчисление высказываний
мЛекция 2
переименовал Лекция 2 в Исчисление высказываний
Исчисление высказываний
переименовал Лекция 2 в Исчисление высказываний
мМатематическая логика
Нет описания правки
-81
25 января 2012
Список тем
Конфигурации пространства. Локализация.
+140
Представление чисел с плавающей точкой
Расчет \tilde{\epsilon}
-13
Список тем
Конфигурации пространства. Определение и построение.
+136
Список тем
Нет описания правки
+458
21 января 2012
19 января 2012
Обсуждение:Эргодическая марковская цепь
Нет описания правки
м+658
Обсуждение:Эргодическая марковская цепь
Нет описания правки
+128
Обсуждение:Фундаментальная матрица
Нет описания правки
+214
Обсуждение:Регулярная марковская цепь
Нет описания правки
+204
Обсуждение:Фундаментальная матрица
Новая страница: «: {{tick}} написать что-то нормальное про то, зачем вообще нужна эта матрица. Сделать ссылки ту...»
Обсуждение:Марковская цепь
Нет описания правки
+185
Теорема о поглощении
Нет описания правки
+86
Марковская цепь
Смотри также
-333
Обсуждение:Марковская цепь
Нет описания правки
+137
Марковская цепь
Состояния
+496
17 января 2012
Эргодическая марковская цепь
Нет описания правки
-2351
Обсуждение:Регулярная марковская цепь
Новая страница: «== определение регулярной цепи == На самом деле определяется она по-другому, а то что ее хара...»
Эргодическая марковская цепь
Нет описания правки
+1
Эргодическая марковская цепь
Нет описания правки
+166
Марковская цепь
Нет описания правки
+195
Марковская цепь
Состояния: вроде нормальная классификация
+1750
Эргодическая марковская цепь
Стационарный режим
-1294
Задача о выводе в контекстно-свободной грамматике, алгоритм Кока-Янгера-Касами
Контекстно-свободная грамматика
-173
Задача о редакционном расстоянии
чтобы переименовать статью, не надо создавать новую с другим названием, для этого есть кнопка.
+38
Задача о редакционном расстоянии, алгоритм Вагнера-Фишера
Редакционное предписание
-105