Лекция “Теоремы об иерархии по времени”. Докладчик: А.А. Кноп (ПОМИ РАН).
On March 9, 2016 Alexander Knop will give a lecture “Time hierarchy theorems”.
Time: 16:40 - 18:00
Address: Kochnovsky proezd, 3
Hall: 505
To attend the seminar one should have a pass to the building. If you don’t have a pass please send your contact information (last name and first name) to Ekaterina Vavilova:evavilova@hse.ru.
Abstract
"Is it true that in less time you can compute less?" The question sounds natural.
The lecture explains how to formulate this informal question in a formal way. It will also be shown that the answer is “Yes” for different computational models.