Централизованная контрольная будет 14 ноября вместо лекции. Если какие-то группы это по какой-то причине не устраивает, то можно договориться отдельно. Поскольку контрольная сдвинулась, в ней также будет задача про PSPACE-полноту (пройдём сегодня). А про диагонализацию и оракулы будет только одна задача.