Знание - сила, 2003 № 06 (912)

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

Понедельник начинается в субботу

Говоря о современном компьютерном образовании во всем мире, я хотел бы отметить, что, на мой взгляд, математика и особенно логика изучаются весьма поверхностно. В мире создаются очень сложные программы и системы, которые требуются для обработки колоссальных массивов данных, интернет-технологий, распределенных вычислений, создания больших программных комплексов управления сложнейшими объектами, моделирования приборов и диспетчеров в авиаперелетах и так далее. Для создателей этих программ главное — надежность. Она всегда основывалась на верном следовании хорошим эмпирическим правилам. Сбой в работе таких программных комплексов — это катастрофа. Как проверить правильность их работы?

С точки зрения современных технологий, для правильной проверки необходимо использовать математическую логику. При отладке, верификации сложнейших программных систем логика И1рает фундаментальную роль. В конце октября прошлого года в Линце проходил конгресс «Логика. Компьютинг. Математика», посвященный юбилею одного из крупнейших современных специалистов во всех трех областях — австрийского ученого Бруно Бухбергера, который неоднократно бывал у нас в Дубне. Там отмечалось возникновение глубокого кризиса: разрабатываются огромные программные комплексы, а при этом у специалистов, занимающихся их отладкой, отсутствуют глубокие знания по математической логике. Именно только логический анализ всей совокупности программ и подпрограмм, знание логики всего хода вычислений позволят реально создать надежный программный продукт. Остальное — эффект опыта. Но если работать на одном опыте, на тестах, тогда вам ничего не будет гарантировано, особенно при постоянном все большем усложнении программного обеспечения.

Безусловно, любая компьютерная специальность изучает логику, но явно недостаточно. И студенты, освоив курс, подчас тут же его забывают. В лучшем случае знают элементы Булевой алгебры. Но саму логику — как математику — не знают. С точки зрения высоких технологий и новой техники, в первую очередь надо изучать физику и математику. Конструктивную математику, которая затем необходима в технике, нужно изучать очень глубоко. Уверен, что технологический уровень заставит весь мир через какое-то время повернуться лицом к математике и физике, как это было в 30-е, 40-е, 50-е, 60-е, 70-е годы.

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

Отставание образования от реальных потребностей физики и техники хорошо прослеживается на информатике. еще 10 — L5 лет назад в Германии факультеты информатики были, в общем-то, «на заднем плане». Заметно большее внимание уделялось физике, математике, биологии, другим предметам. Были свободные профессорские ставки, высококвалифицированные специалисты предпочитали не преподавать, а идти в промышленность. А потом оказалось, что за последние 5—10 лет спрос на специалистов по информатике возрос очень сильно, и выяснилось, что их не хватает. Стали приглашать специалистов из России, Индии, отовсюду. Сейчас ситуация изменилась, на информатику студенты идут очень охотно. Лет через десять Германия более-менее удовлетворит свои потребности в специалистах в области программирования и информационных технологий. Подобная картина, я думаю, будет наблюдаться и с физикой и математикой. Когда создадут квантовый компьютер, то не будет хватать специалистов, которые способны на нем работать: чтобы просто написать программу, надо знать квантовую механику. Для подготовки новых специалистов нужно будет сначала подготовить преподавателей для них, а на это уйдут годы и годы.

Не потерять в реформах традиции