Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 22:37, 10 марта 2018 (разн. | история) . . (+3) . . Булевые формулы с кванторами как игры для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 22:31, 10 марта 2018 (разн. | история) . . (+2) . . Булевые формулы с кванторами как игры для двух игроков
- 22:30, 10 марта 2018 (разн. | история) . . (0) . . Доказательство нерегулярности языков: лемма о разрастании
- 22:29, 10 марта 2018 (разн. | история) . . (-22) . . Доказательство нерегулярности языков: лемма о разрастании (→См. также)
- 22:28, 10 марта 2018 (разн. | история) . . (+107) . . Теория формальных языков (→Свойства конечных автоматов)
- 22:27, 10 марта 2018 (разн. | история) . . (-2) . . Булевые формулы с кванторами как игры для двух игроков
- 22:24, 10 марта 2018 (разн. | история) . . (0) . . м Булевые формулы с кванторами как игры для двух игроков (Ponomarev переименовал страницу Викиконспекты:Интерпретация булевых формул с кванторами как игр для двух игроков в [[Булевые формулы с ква…)
- 22:22, 10 марта 2018 (разн. | история) . . (0) . . м Булевые формулы с кванторами как игры для двух игроков (Ponomarev переименовал страницу Участник:Ponomarev в Викиконспекты:Интерпретация булевых формул с кванторами как игр для двух игроков: Перен…)
- 22:22, 10 марта 2018 (разн. | история) . . (-5317) . . Исчисление предикатов (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 22:20, 10 марта 2018 (разн. | история) . . (+5652) . . Н Булевые формулы с кванторами как игры для двух игроков (Новая страница: « Во многих теоремах присутствуют утверждения с кванторами «для всех» и «существует». От…»)
- 21:50, 10 марта 2018 (разн. | история) . . (+7) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Простой алгоритм)
- 21:46, 10 марта 2018 (разн. | история) . . (+18) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Алгоритм Хопкрофта)
- 21:38, 10 марта 2018 (разн. | история) . . (-1) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Простой алгоритм)
- 21:38, 10 марта 2018 (разн. | история) . . (+1) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Простой алгоритм)
- 21:37, 10 марта 2018 (разн. | история) . . (+6) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))
- 21:35, 10 марта 2018 (разн. | история) . . (+6) . . Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) (→Алгоритм Хопкрофта)
- 21:27, 10 марта 2018 (разн. | история) . . (+2) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример языка, удовлетворяющего стандартной версии леммы)
- 21:26, 10 марта 2018 (разн. | история) . . (+6) . . Доказательство нерегулярности языков: лемма о разрастании (→Пример нерегулярного языка, для которого выполняется лемма о разрастании)
- 21:20, 10 марта 2018 (разн. | история) . . (0) . . Доказательство нерегулярности языков: лемма о разрастании (→Источники информации)
- 21:19, 10 марта 2018 (разн. | история) . . (+21) . . Доказательство нерегулярности языков: лемма о разрастании (→Источники)
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)