Журнал `Компьютерра` №719

Теория гомологий - алгебраический язык, на котором в математике часто выражают "качественные" утверждения о строении геометрических или алгебраических объектов - например, о том, сколько "дыр" прорезано в поверхности сферы, независимо от их формы. Язык гомологий объединяет, казалось бы, не связанные друг с другом факты. Например, и знаменитая теорема Эйлера (В – Р + Г = 2, где Р, В, Г - количество ребер, вершин и граней выпуклого многогранника), и известные соотношения из теории поля div(rot v) = 0 и rot(grad f)=0 есть следствия простых теорем теории гомологий.

Курсы нового

Какие же новые дисциплины вы намерены включить в программу?

- Почти на всех кафедрах есть спецкурсы под условным названием "Дополнительные главы". Возможно слияние двух программ - нынешнего обязательного курса и "допглав". При этом будет отсеян ряд старых тем и добавлены новые. Что именно убрать и добавить - мы сейчас подробно обсуждаем.

Обновление программы в очень большой мере будет обновлением понятий. Скажем, в обязательный курс сейчас не входит общая теория гомологий (см. врезку. - Л.Л.-М.). Это классический раздел, но в последние годы он сильно расцвел, в том числе в приложениях к физике. Этот язык студенты должны осваивать. Еще один язык - геометрическая теория функций, функции Морса - тоже в той или иной форме будет введен в обязательный курс. Таких примеров много. Но обновление вовсе не означает добавления в курсы массы новых теорем. В первую очередь оно заключается во введении и осмысливании новых понятий.

Похоже, упрощение курсов не планируется?

- Нет, упрощать программу (как и сильно усложнять ее) мы не будем. Упрощение категорически не для мехмата, это как раз идея бакалавриата - упрощенный курс за три-четыре года. Но выпускать в жизнь не совсем "доделанного" математика - значит калечить судьбу ребят. Не потому, что студент за пять лет выучит больше теорем, чем за три. Дело не в теоремах. Многие теоремы на практике не понадобятся. Скажем, формула бинома Ньютона никому из нас в реальной жизни не потребовалась ни разу. Но мы же воспитываем специалиста не как ящик, в котором лежит набор теорем, - мы воспитываем умение логически мыслить. Вот чего мы добиваемся, и мы хотим объяснить это чиновникам, которые заставляют нас вводить двухуровневую систему. Ведь в итоге бакалавр может оказаться странным существом - он поверхностно изучит элементы разных разделов математики, но не приобретет навыков идеологического встраивания в ее современные приложения и будет, думаю, испытывать от этого комплекс неполноценности.

Будет ли в новых курсах мехмата учтена математика, связанная с компьютерной, информационной революцией?

- Да, разумеется, на мехмате многое делается в этом направлении, особенно на кафедре дискретной математики, теории интеллектуальных систем, теории чисел, ряде других. Несколько лет назад я организовал на факультете большой семинар по квантовой информатике. Наша кафедра почерпнула оттуда хорошие геометрические задачи, которые потом пустили в активную работу со студентами и аспирантами, еще на нескольких кафедрах возникло заметное движение, вдохновленное квантовыми вычислениями. Но потом мы этот семинар приостановили, так как пришли к выводу, что нам, математикам, пока рановато включаться в конкретную прикладную деятельность по созданию КК в железном виде. По моему ощущению, в этой области наряду с замечательными идеями есть и очень туманные спекуляции. Многие идеи при тщательном их продумывании воспринимаются нами с большим подозрением, по крайней мере они до сих пор не обоснованы. Впрочем, в новые программы некоторых кафедр элементы квантовой информатики могут войти.

Могу назвать еще компьютерную геометрию (КГ). Это огромная, очень интересная сфера деятельности, там есть замечательные теоретические задачи. На нашей кафедре уже года четыре читается спецкурс по КГ, мы написали учебник (мгновенно раскупленный), работаем в области КГ вместе с коллегами из Японии и Сингапура. Это одна из тем, которые я постараюсь ввести в наше обязательное преподавание.

Как быстро планируется провести реформу?

- Думаю, за три-четыре месяца будет составлен план реформирования программы факультета. А сама реформа потребует, видимо, около года.

Принцип кирпича

Вы берете за образец программу какого-нибудь западного университета?