Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 14:20, 27 ноября 2016 (разн. | история) . . (+6) . . м Свойства перечислимых языков. Теорема Успенского-Райса (→Теорема Успенского-Райса)
- 22:43, 22 ноября 2016 (разн. | история) . . (-5) . . м Участник:Shersh/Тикеты к 3ему терму (→6. Раскраски графов)
- 22:38, 22 ноября 2016 (разн. | история) . . (0) . . м Дискретная математика, алгоритмы и структуры данных (→Основные определения теории графов)
- 16:44, 22 ноября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 16:44, 22 ноября 2016 (разн. | история) . . (+16) . . Участник:Shersh/Тикеты к 5ому терму (→Вычислительные формализмы)
- 19:30, 19 ноября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 19:29, 19 ноября 2016 (разн. | история) . . (+15) . . м Участник:Shersh/Тикеты к 5ому терму (→Примеры неразрешимых задач)
- 22:32, 18 ноября 2016 (разн. | история) . . (-319) . . Обсуждение:Дискретная математика и алгоритмы (delete trash)
- 14:06, 17 ноября 2016 (разн. | история) . . (+94) . . Н Рекурсивные функции, представимость в формальной арифметике (переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень)
- 14:06, 17 ноября 2016 (разн. | история) . . (0) . . м Примитивно рекурсивные функции (переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень)
- 14:01, 17 ноября 2016 (разн. | история) . . (+45) . . м Участник:Shersh/Тикеты к 5ому терму (→МП-автоматы)
- 14:01, 17 ноября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Нормальные формы КС-грамматик)
- 17:40, 15 ноября 2016 (разн. | история) . . (-5) . . м Участник:Shersh/Тикеты к 5ому терму (→Свойства конечных автоматов)
- 17:40, 15 ноября 2016 (разн. | история) . . (-2) . . м Исчисление предикатов (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 17:53, 13 ноября 2016 (разн. | история) . . (-5) . . м Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
- 15:14, 13 ноября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Нормальные формы КС-грамматик)
- 12:40, 13 ноября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Примеры неразрешимых задач)
- 00:08, 13 ноября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Свойства конечных автоматов)
- 00:07, 13 ноября 2016 (разн. | история) . . (+1) . . м Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего лемме в общем виде)
- 00:06, 13 ноября 2016 (разн. | история) . . (+1) . . м Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего лемме в общем виде)
- 17:19, 11 ноября 2016 (разн. | история) . . (-10) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 17:13, 11 ноября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
- 17:35, 10 ноября 2016 (разн. | история) . . (+1) . . Доказательство нерегулярности языков: лемма о разрастании (→Лемма о разрастании в общем виде)
- 22:37, 6 ноября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 22:37, 6 ноября 2016 (разн. | история) . . (0) . . м Замкнутость КС-языков относительно различных операций (→Источники информации)
- 19:38, 1 ноября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 5ому терму (→Опровержение контекстно-свободности языка)
- 13:36, 1 ноября 2016 (разн. | история) . . (+45) . . м Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 13:36, 1 ноября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 11:32, 1 ноября 2016 (разн. | история) . . (+22) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 11:24, 1 ноября 2016 (разн. | история) . . (+15) . . м Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
- 00:08, 1 ноября 2016 (разн. | история) . . (-45) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 00:06, 1 ноября 2016 (разн. | история) . . (-7) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 00:06, 1 ноября 2016 (разн. | история) . . (-7) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 00:05, 1 ноября 2016 (разн. | история) . . (-15) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 00:05, 1 ноября 2016 (разн. | история) . . (-15) . . Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
- 13:20, 21 октября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 3ему терму (→1. Основные определения теории графов)
- 22:35, 20 октября 2016 (разн. | история) . . (-5) . . Участник:Shersh/Тикеты к 3ему терму (→1. Основные определения теории графов)
- 21:49, 20 октября 2016 (разн. | история) . . (-5) . . м Участник:Shersh/Тикеты к 3ему терму (→1. Основные определения теории графов)
- 21:48, 20 октября 2016 (разн. | история) . . (-52) . . м Теорема о существовании простого пути в случае существования пути (→Теорема о существовании простого пути в случае существования пути)
- 17:58, 19 октября 2016 (разн. | история) . . (-5) . . м Участник:Shersh/Тикеты к 5ому терму (→Регулярные языки и ДКА)
- 17:56, 19 октября 2016 (разн. | история) . . (+30) . . м Детерминированные конечные автоматы (→См. также)
- 16:23, 19 октября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Опровержение контекстно-свободности языка)
- 16:21, 19 октября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Вычислительные формализмы)
- 16:21, 19 октября 2016 (разн. | история) . . (-7) . . м Участник:Shersh/Тикеты к 5ому терму (→Свойства конечных автоматов)
- 17:24, 16 октября 2016 (разн. | история) . . (+45) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 17:24, 16 октября 2016 (разн. | история) . . (+7) . . Участник:Shersh/Тикеты к 5ому терму (→Базовые понятия о грамматиках)
- 22:08, 15 октября 2016 (разн. | история) . . (-701) . . Участник:Shersh/Тикеты к 5ому терму (→Примеры неразрешимых задач)
- 22:05, 15 октября 2016 (разн. | история) . . (-2130) . . Участник:Shersh/Тикеты к 5ому терму (→Вычислительные формализмы)
- 22:04, 15 октября 2016 (разн. | история) . . (-794) . . Участник:Shersh/Тикеты к 5ому терму (→Разрешимые и перечислимые языки)
- 21:55, 15 октября 2016 (разн. | история) . . (+15) . . м Участник:Shersh/Тикеты к 5ому терму (→Минимизация ДКА)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
