Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 11:58, 11 марта 2018 (разн. | история) . . (+11) . . Автоматы в современном мире (→Построение НКА)
- 11:58, 11 марта 2018 (разн. | история) . . (+221) . . Автоматы в современном мире (→Построение НКА)
- 11:51, 11 марта 2018 (разн. | история) . . (+132) . . Автоматы в современном мире
- 00:09, 11 марта 2018 (разн. | история) . . (+65) . . Булевые формулы с кванторами как игры для двух игроков (→Источники информации)
- 23:01, 10 марта 2018 (разн. | история) . . (-2) . . Булевые формулы с кванторами как игры для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 23:00, 10 марта 2018 (разн. | история) . . (+529) . . Булевые формулы с кванторами как игры для двух игроков
- 22:58, 10 марта 2018 (разн. | история) . . (-374) . . Булевые формулы с кванторами как игры для двух игроков
- 22:38, 10 марта 2018 (разн. | история) . . (0) . . Булевые формулы с кванторами как игры для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 22:38, 10 марта 2018 (разн. | история) . . (+2) . . Булевые формулы с кванторами как игры для двух игроков (→Интерпретация булевых формул с кванторами как игр для двух игроков)
- 22:37, 10 марта 2018 (разн. | история) . . (+2) . . Булевые формулы с кванторами как игры для двух игроков
- 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) . . Н Булевые формулы с кванторами как игры для двух игроков (Новая страница: « Во многих теоремах присутствуют утверждения с кванторами «для всех» и «существует». От…»)
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)