Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 14:21, 27 ноября 2016 (разн. | история) . . (+1) . . м Свойства перечислимых языков. Теорема Успенского-Райса (→Свойства языков)
- 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 (разн. | история) . . (0) . . м Примитивно рекурсивные функции (переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень)
- 14:06, 17 ноября 2016 (разн. | история) . . (+94) . . Н Рекурсивные функции, представимость в формальной арифметике (переименовал Рекурсивные функции, представимость в формальной арифметике в Примитивно-рекурсивные функции: старое название не очень)
- 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) . . м Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего лемме в общем виде)
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)