Вклад участника
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)
- 22:06, 25 января 2012 (разн. | история) . . (+296) . . Список тем (→Конфигурации пространства. Локализация.)
- 12:16, 25 января 2012 (разн. | история) . . (0) . . Алгоритм Флойда — Уоршалла (→Источники)
- 12:14, 25 января 2012 (разн. | история) . . (-471) . . Алгоритм Флойда — Уоршалла (→Ссылки)
- 12:09, 25 января 2012 (разн. | история) . . (+26) . . Алгоритм Флойда — Уоршалла (→Доказательство)
- 12:02, 25 января 2012 (разн. | история) . . (+1805) . . Алгоритм Флойда — Уоршалла (→Доказательство)
- 10:58, 25 января 2012 (разн. | история) . . (+504) . . Список тем (→Конфигурации пространства. Локализация.)
- 07:53, 25 января 2012 (разн. | история) . . (-1) . . Участница:Katyatitkova/Матан (→Показательная функция)
- 05:52, 25 января 2012 (разн. | история) . . (+555) . . Определения, 1 семестр, Кохась К.П.
- 05:50, 25 января 2012 (разн. | история) . . (0) . . Представление чисел с плавающей точкой (→Особые значение чисел с плавающей точкой)
- 03:33, 25 января 2012 (разн. | история) . . (+539) . . Список тем
- 19:11, 24 января 2012 (разн. | история) . . (-8) . . Участница:Katyatitkova/Матан (→Аксиомы вещественных чисел)
- 17:40, 24 января 2012 (разн. | история) . . (-28) . . Линейный клеточный автомат, эквивалентность МТ (→Эквивалентность линейного клеточного автомата машине Тьюринга)
- 17:22, 24 января 2012 (разн. | история) . . (+1) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Счётчиковые машины)
- 17:15, 24 января 2012 (разн. | история) . . (+1) . . Диагональный метод
- 15:32, 24 января 2012 (разн. | история) . . (+1) . . Участница:Katyatitkova/Матан (→Непрерывность слева)
- 14:59, 24 января 2012 (разн. | история) . . (-12) . . Участница:Katyatitkova/Матан (→Строго и не строго монотонная функция)
- 12:05, 24 января 2012 (разн. | история) . . (+2) . . Участница:Katyatitkova/Матан (→Замечательные пределы с участием синуса, логарифма, степенной и показательной функции)
- 12:04, 24 января 2012 (разн. | история) . . (+2) . . Участница:Katyatitkova/Матан (→Свойства показательной функции: композиция экспонент, обратимость. Логарифм. Его свойства.)
- 11:44, 24 января 2012 (разн. | история) . . (+92) . . Линейный клеточный автомат, эквивалентность МТ
- 11:29, 24 января 2012 (разн. | история) . . (+107) . . Линейный клеточный автомат, эквивалентность МТ
- 11:09, 24 января 2012 (разн. | история) . . (+150) . . Линейный клеточный автомат, эквивалентность МТ
- 10:26, 24 января 2012 (разн. | история) . . (+155) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 10:24, 24 января 2012 (разн. | история) . . (-2) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 10:16, 24 января 2012 (разн. | история) . . (+572) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 09:47, 24 января 2012 (разн. | история) . . (+4) . . Теорема о рекурсии
- 09:47, 24 января 2012 (разн. | история) . . (+5) . . Теорема о рекурсии
- 09:32, 24 января 2012 (разн. | история) . . (+687) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 09:21, 24 января 2012 (разн. | история) . . (+18) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 08:51, 24 января 2012 (разн. | история) . . (+83) . . Вычислимые функции
- 08:36, 24 января 2012 (разн. | история) . . (+2) . . Существенно неоднозначные языки (→Пример:)
- 08:21, 24 января 2012 (разн. | история) . . (0) . . Лемма Огдена
- 08:11, 24 января 2012 (разн. | история) . . (-1314) . . Автоматы с магазинной памятью (→Детерминированный автомат с магазинной памятью)
- 07:05, 24 января 2012 (разн. | история) . . (+1127) . . Теорема о рекурсии
- 06:43, 24 января 2012 (разн. | история) . . (+7) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 06:38, 24 января 2012 (разн. | история) . . (+6) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 06:21, 24 января 2012 (разн. | история) . . (-1) . . Теорема о рекурсии (→Теорема о рекурсии)
- 06:21, 24 января 2012 (разн. | история) . . (-1) . . Теорема о рекурсии (→Теорема о рекурсии)
- 05:57, 24 января 2012 (разн. | история) . . (-31) . . Нормальная форма Хомского
- 05:34, 24 января 2012 (разн. | история) . . (0) . . Нормальная форма Хомского (ё)
- 05:29, 24 января 2012 (разн. | история) . . (0) . . Удаление длинных правил из грамматики (→Пример работы)
- 05:22, 24 января 2012 (разн. | история) . . (-2) . . Интерпретация булевых формул с кванторами как игр для двух игроков (Никита, ты неправ (Н минус одного квантора))
- 05:19, 24 января 2012 (разн. | история) . . (+161) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 05:17, 24 января 2012 (разн. | история) . . (+1) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 05:14, 24 января 2012 (разн. | история) . . (+1) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 05:13, 24 января 2012 (разн. | история) . . (-157) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 05:02, 24 января 2012 (разн. | история) . . (0) . . Линейный клеточный автомат, эквивалентность МТ (→Эквивалентность линейного клеточного автомата машине Тьюринга)
- 05:01, 24 января 2012 (разн. | история) . . (+462) . . Теорема о рекурсии
- 04:55, 24 января 2012 (разн. | история) . . (+50) . . Линейный клеточный автомат, эквивалентность МТ (→Эквивалентность линейного клеточного автомата машине Тьюринга)
- 04:54, 24 января 2012 (разн. | история) . . (-40) . . Линейный клеточный автомат, эквивалентность МТ (Исправлено определение C_L, C_R)
- 04:51, 24 января 2012 (разн. | история) . . (+2) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 04:23, 24 января 2012 (разн. | история) . . (+5) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухсчётчиковой машины трёхсчётчиковой)
- 04:09, 24 января 2012 (разн. | история) . . (+6) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 04:08, 24 января 2012 (разн. | история) . . (-2) . . Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
- 04:07, 24 января 2012 (разн. | история) . . (+1) . . Линейный клеточный автомат, эквивалентность МТ
- 04:06, 24 января 2012 (разн. | история) . . (+697) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухсчётчиковой машины трёхсчётчиковой)
- 03:52, 24 января 2012 (разн. | история) . . (-27) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 03:51, 24 января 2012 (разн. | история) . . (-1) . . Правоконтекстные грамматики, эквивалентность автоматам
- 03:47, 24 января 2012 (разн. | история) . . (0) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 03:46, 24 января 2012 (разн. | история) . . (-2) . . Правоконтекстные грамматики, эквивалентность автоматам
- 03:46, 24 января 2012 (разн. | история) . . (+483) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 03:36, 24 января 2012 (разн. | история) . . (+3069) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 03:27, 24 января 2012 (разн. | история) . . (+3) . . Формальные грамматики (→Арифметические выражения)
- 03:24, 24 января 2012 (разн. | история) . . (+3) . . Формальные грамматики (→Правильные скобочные последовательности)
- 03:05, 24 января 2012 (разн. | история) . . (+1117) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухстековой машины трёхсчётчикой машине)
- 02:42, 24 января 2012 (разн. | история) . . (+2) . . Лемма о разрастании для КС-грамматик (→Лемма о разрастании для КС-грамматик)
- 02:40, 24 января 2012 (разн. | история) . . (+1170) . . Лемма о разрастании для КС-грамматик (→Лемма о разрастании для КС-грамматик)
- 02:13, 24 января 2012 (разн. | история) . . (+95) . . Конкурс для более удачного URL сайта вики-конспектов (→Варианты)
- 01:59, 24 января 2012 (разн. | история) . . (-12) . . Теорема о рекурсии (→Пример использования)
- 01:35, 24 января 2012 (разн. | история) . . (+40) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 01:32, 24 января 2012 (разн. | история) . . (-3582) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность двухсчетчиковой машины машине Тьюринга)
- 01:25, 24 января 2012 (разн. | история) . . (+44) . . Нормальная форма Хомского
- 01:22, 24 января 2012 (разн. | история) . . (+1366) . . Нормальная форма Хомского (→Приведение грамматики к нормальной форме Хомского)
- 01:14, 24 января 2012 (разн. | история) . . (+74) . . Лемма о разрастании для КС-грамматик (→Пример доказательства неконтекстно-свободности языка с использованием леммы)
- 01:05, 24 января 2012 (разн. | история) . . (+63) . . Лемма о разрастании для КС-грамматик
- 00:57, 24 января 2012 (разн. | история) . . (+193) . . Лемма о разрастании для КС-грамматик
- 00:42, 24 января 2012 (разн. | история) . . (+1321) . . Перечислимые языки
- 00:31, 24 января 2012 (разн. | история) . . (+74) . . Лемма о разрастании для КС-грамматик
- 00:28, 24 января 2012 (разн. | история) . . (+102) . . Лемма о разрастании для КС-грамматик
- 00:13, 24 января 2012 (разн. | история) . . (+345) . . Лемма о разрастании для КС-грамматик
- 23:44, 23 января 2012 (разн. | история) . . (+1615) . . Лемма о разрастании для КС-грамматик
- 23:25, 23 января 2012 (разн. | история) . . (+68) . . Математический анализ 1 курс (→Экзамен)
- 23:17, 23 января 2012 (разн. | история) . . (+105) . . Лемма о разрастании для КС-грамматик
- 22:56, 23 января 2012 (разн. | история) . . (+92) . . Лемма о разрастании для КС-грамматик
- 22:53, 23 января 2012 (разн. | история) . . (+1197) . . Лемма о разрастании для КС-грамматик
- 22:51, 23 января 2012 (разн. | история) . . (+2412) . . Линейный клеточный автомат, эквивалентность МТ
- 22:42, 23 января 2012 (разн. | история) . . (+23) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 22:42, 23 января 2012 (разн. | история) . . (-28) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 22:41, 23 января 2012 (разн. | история) . . (-13) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 22:39, 23 января 2012 (разн. | история) . . (+18) . . Свойства перечислимых языков. Теорема Успенского-Райса
- 22:25, 23 января 2012 (разн. | история) . . (+213) . . Лемма о разрастании для КС-грамматик
- 22:23, 23 января 2012 (разн. | история) . . (+24) . . Иммунные и простые множества
- 22:20, 23 января 2012 (разн. | история) . . (+41) . . Н Участник:Pashkal (Новая страница: «Pashkal, или дедушка Марат») (текущая)
- 22:16, 23 января 2012 (разн. | история) . . (-16) . . Вычислимые функции (→Примеры вычислимых функций)
- 21:55, 23 января 2012 (разн. | история) . . (-1) . . Примеры неразрешимых задач: проблема соответствий Поста
- 21:53, 23 января 2012 (разн. | история) . . (+10) . . Лемма о разрастании для КС-грамматик
- 21:52, 23 января 2012 (разн. | история) . . (-82) . . Лемма о разрастании для КС-грамматик
- 21:35, 23 января 2012 (разн. | история) . . (+1) . . Лемма о разрастании для КС-грамматик
- 21:32, 23 января 2012 (разн. | история) . . (+284) . . Лемма о разрастании для КС-грамматик
- 21:06, 23 января 2012 (разн. | история) . . (-51) . . Лемма о разрастании для КС-грамматик
- 20:55, 23 января 2012 (разн. | история) . . (+74) . . Лемма о разрастании для КС-грамматик
(новейшие | старейшие) Просмотреть (100 более новых | 100 более старых) (20 | 50 | 100 | 250 | 500)