Математика, механика, информатика. Итоговые аннотированные отчеты 2007 года по проектам РФФИ. Часть 3. Информатика