Кафедра геометрии, алгебры и математической логики приглашает всех интересующихся теорией вычислимости и теоретическими основами информатики прослушать цикл лекций «Сильные сводимости и вычислимо перечислимые множества» профессора Клауса Амбос-Списа из Университета Хайдельберга, Германия. Лекции состоятся на механико-математическом факультете, аудитория 217, 10:20 - 12:15, 20 сентября - 4 октября 2010 года.

CV_ambos_10.pdf