Кубок Москвы по ЧГК. Гран-При сезона 2014/15 гг. 8 тур. "Концептуальный респект". Вопрос 10

Вопрос 10: В вопросе есть замена.
    Чтобы привлечь внимание к полугодовому спецкурсу по мю-исчислению и вычислительной теории доказательств, автор вопроса поместил на объявление об этом спецкурсе эмблему, известную с 1998 года. Изобразите эту эмблему.

Ответ: Лямбда в круге.

Комментарий: Лямбда в круге — эмблема серии игр "Half-life". Слово "полугодовой" — подсказка.

Источник(и):
    1. Объявление о спецкурсе "Лямбда-исчисление, или вычислительная теория доказательств" (весна 2015 г., НОЦ МИАН).
    2. http://ru.wikipedia.org/wiki/Half-Life

Автор: Степан Кузнецов