Вклад участника
30 декабря 2012
Метрические пространства
Нет описания правки
+1129
Метрические пространства
Нет описания правки
+2859
Метрические пространства
Нет описания правки
+201
Метрические пространства
Нет описания правки
+275
Метрические пространства
спааать
+4294
Метрические пространства
Нет описания правки
+4432
Метрические пространства
Нет описания правки
+285
Метрические пространства
Нет описания правки
+2802
29 декабря 2012
Метрические пространства
Новая страница: «{{Определение |id=def1 |definition= Для некоторого множества <tex>X</tex>, отображение <tex> \rho : X \times X \righta...»
Функциональный анализ 3 курс
Нет описания правки
+129
Функциональный анализ 3 курс
Нет описания правки
+810
14 декабря 2012
Обсуждение:Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
м+166
Обсуждение:Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Новая страница: «: {{tick}} нормально оформить уже существующий источник : {{tick}} добавить англоязычные термин...»
13 декабря 2012
9 декабря 2012
Обсуждение:Примеры неразрешимых задач: задача о выводе в полусистеме Туэ
Новая страница: «: {{tick}} англоязычные термины : {{tick}} нормальные русские и английские источники : {{tick}} мне к...»
Обсуждение:Примеры неразрешимых задач: задача о замощении
sta
Обсуждение:Примеры неразрешимых задач: однозначность грамматики
Новая страница: «: {{tick}} как-то сразу прыгаем в решение задачи, надо бы хоть написать, что хотим выполнить m-...»
Обсуждение:Примеры неразрешимых задач: проблема соответствий Поста
Новая страница: «: {{tick}} англоязычные термины : {{tick}} англоязычные источники, в частности, википедия : {{tick}} В...»
Обсуждение:M-сводимость
Нет описания правки
-2421
Обсуждение:Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
Нет описания правки
+447
8 декабря 2012
7 декабря 2012
Теория формальных языков
Теория вычислимости
+68
Характеристика перечислимых множеств через вычислимые функции
смержено с вычислимыми функциями
-2944
Теория формальных языков
Теория вычислимости
-123
Вычислимые функции
merge
+2764
Машина Тьюринга
Определение машины
-2
Обсуждение:Иерархия Хомского формальных грамматик
sta
+69
Обсуждение:Формальные грамматики
Нет описания правки
+127
Обсуждение:Формальные грамматики
Нет описания правки
-2975
Теория формальных языков
Теория вычислимости
+16
Перечислимые языки
merge
+1092
Обсуждение:Приведение грамматики к ослабленной нормальной форме Грейбах
Содержимое страницы заменено на «: {{tick}} написать, нафига она нужна : {{tick}} какая асимптотика алгоритма при...»
-1942
Обсуждение:Устранение левой рекурсии
Нет описания правки
-272
Обсуждение:Диагональный метод
Нет описания правки
+767
Обсуждение:Существенно неоднозначные языки
Нет описания правки
Обсуждение:Существенно неоднозначные языки
Нет описания правки
-2337
5 декабря 2012
Обсуждение:Теорема о рекурсии
Нет описания правки
Обсуждение:Теорема о рекурсии
Нет описания правки
-147
4 декабря 2012
Обсуждение:Доказательство нерегулярности языков: лемма о разрастании
Нет описания правки
-1494
Обсуждение:Дискретная математика и алгоритмы
TeX
+242
Обсуждение:Разрешимость перечислимого и коперечислимого языка
Новая страница: «Это надо смержить с конспектом по разрешимым языкам. --~~~~»
28 ноября 2012
5 октября 2012
25 сентября 2012
19 сентября 2012
16 сентября 2012
Участник:Dgerasimov
Нет описания правки
+86
Участник:Dgerasimov
sta
+259
Лекция по ассемблеру 3 марта
Нет описания правки
м+39
