НОУ ИНТУИТ | Учебный курс | Введение в теорию... http://www.intuit.ru/studies/courses/39/39/info Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной bereg_73 | | 0 | 234 | 0