Математическая логика и алгоритмы, 4 курс мехмата. Весна 2007 года