Обсуждение:Теоремы о временной и ёмкостной иерархиях
Версия от 20:08, 2 мая 2012; DrozdovVA (обсуждение | вклад)
ToDo
- Я считаю, что, раз мы доказываем более сложный факт, чем неравенство некоторых классов (а именно, невключение), его и нужно вписать в формулировку теоремы (тем более, что у меня формулировка не такая, как у тебя).
- В ограничении стоит написать заглавной (просто мы обычно большой буквай обозначаем).
- Вместо «т.к.» пиши лучше «так как».
- Доказательство для пущей читабельности стоит разбить на большее количество абзацев (по моим прикидкам +2).
- ☑ Сделано. DrozdovVA
