∀… ∃…∀… ∃…∀… ∃…∀… ∃…∀… ∃…∀… ∃…∀… ∃…
На что это похоже?
Представим себе игру на двоих типа шахмат (чередование ходов), но для простоты — без возможности ничейного исхода. То есть неминуем мат белым (МБ) или мат черным (МЧ). Тогда нетрудно заметить, что из данной позиции мат черным в три хода записывается такой формулой (где б(к); ч(к) — соответственно к-е ходы белых и черных):
∃ б(1) ∀ ч(1) ∃б(2) ∀ ч(2) ∃б(3) МЧ
(Опять по-русски: Есть такой первый ход белых, что на любой ответ черных найдется — естественно, не универсальный, а зависящий от этого ответа второй ход белых, такой, что на любой ответ черных третьим ходом — белые ставят мат.)
Мат же белым предполагает другое начало — с квантора всеобщности: как бы ни пошли белые, они обречены.
Наша игра «предел» предполагает три хода — белых, черных и белых, потом — сверку полученного результата и непременный выигрыш черных. Вот как выглядит сходимость последовательности к 5 (исходная формула):
Первый играющий называет значение числа е. Например, 0,000000001.
Второй, подумав, выдает N = 16573. Первый вправе назвать любое число больше N. Он называет 16585.
Идет сверка. И х(16585) — 5 оказывается меньше 0,000000001.
Первый расплачивается. Азарт толкает его на повторение эксперимента. Теперь он выдвигает и вовсе микроскопическое s = 0,000000000000000000000000000000000000001.
Второй, подумав, выдает N=178539763. И, вне зависимости от следующего декоративного хода Первого, Второй выигрывает по итогам сверки.
Если Первый — не клинический идиот и не чересчур богат, после получаса игры он понимает две вещи:
1) второй выигрывает всегда (это и есть сходимость — квантор в квантор);
2) так как он выигрывает одним ходом, в нем заключена суть выигрыша.
Опыт показывает, что такая игровая модель наглядна и способствует лучшему усвоению материала.
Здесь же — и возможность немного неформального, нестрогого, но быстрого и конструктивного определения предела, того самого разумного упрощения без катастрофической потери смысла. В подавляющем большинстве случаев сходимость последовательности (функции) — это способ вычисления N (или А) по s. Иначе говоря, решающий ход. Заметим, что просто наблюдением за формулой предела выделить из нее решающее звено 3 N(s) не так-то легко. А в метафоре игры — мгновенно.
Всматривание в природу решающего хода наводит на еще одну модель. Давайте будем говорить о сходимости как о существовании машинки, перерабатывающей ε в N (или Δ). Вот такой: ε → ♦→ Δ. Тогда доказательства сходимости сводятся к конструированию и предъявлению таких машинок — либо «винтик за винтиком» (сходимость конкретных функций и последовательностей), либо с использованием уже существующих, данных машинок, неважно как, но действующих, типа запаянных микросхем (сумма, произведение, суперпозиция функций).
Здесь надо сказать, что этот (довольно очевидный) язык — с «распараллеливанием» s на две машинки, с черными ящичками и т.п. — оказывается весьма современным. Отвинтив боковую стенку компьютера, любой студент видит нечто подобное. Поэтому здесь идет оживление формулы, визуализация.
К сожалению, в большинстве вузов мальчики и девочки довольно бойко дифференцируют и вычисляют пределы, не зная, что такое производная и предел. По-моему, этот компромисс вреден со многих точек зрения. Об этом можно впоследствии поговорить отдельно.
Леонид Костюков
ФЦП «Кадры» — гладко было на бумаге...
«Троицкий вариант» продолжает отслеживать ход конкурсов Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России»
Федеральная целевая программа (ФЦП) «Кадры» была задумана, чтобы поддержать лучшие научно-образовательные центры, научные группы и отдельных молодых исследователей. Пробив себе дорогу в серьезной конкуренции с проектами многих других федеральных целевых программ, ФЦП «Кадры», наконец, заработала в этом году, пусть первоначально планировавшиеся расходы на нее и были урезаны в связи с кризисом. Однако ей не суждено было оправдать надежд на качественное отличие в организации конкурсов и экспертизы от того, что как это устроено в уже действующих федеральных целевых программах научно-технической направленности. Виной тому в первую очередь Федеральный закон от 21.07.2005 № 94-ФЗ «О размещении заказов на поставки товаров, выполнение работ, оказание услуг для государственных и муниципальных нужд» и психология чиновников, не желающих отступать от наработанных шаблонов проведения конкурсов. Дело в том, что Федеральный закон 94-ФЗ устанавливает такие правила оценки заявок, подаваемых на конкурсы, которые практически не учитывают особенностей научно-образовательной сферы (см. выпуск «Троицкого варианта» от 17 марта 2009 г.), и, кроме того, прописывает процедуру подачи заявок, неудобную для нормальной организации научных конкурсов, а чиновники по своей инициативе делают процедуру подачи заявок еще более тяжелой и запутанной.
В случае конкурсов научно-образовательных центров (НОЦ), проводимых Роснаукой, у которой был определенный опыт проведения конкурсов научной направленности (ведущие научные школы и т.д.), конкурсная документация была неудобной. Но -насколько это позволяет Федеральный закон 94-ФЗ — она была хотя бы относительно адекватной и, если так можно выразиться, посильной для коллективов НОЦ. Поэтому основные содержательные потери были связаны с диктуемыми федеральным законом критериями оценки заявок (из числа победивших коллективов менее двух третей выиграли бы, если бы заявки оценивались только по научным критериям). А вот в конкурсах Рособразова-ния, никогда не проводившего массовых научных конкурсов, конкурсная документация оказалась крайне неудобна и громоздка для заявителей. В результате «основной тур» конкурсов для научных групп под руководством докторов и кандидатов наук, а также для молодых кандидатов наук и аспирантов, прошедший в мае — августе 2009 г., оказался без преувеличения провальным.
Во-первых, многие из тех, кто мог бы участвовать в конкурсе, сознательно отказались делать это, ознакомившись с комплектом конкурсной документации. Для групп под руководством докторов наук было подано 3,1 заявки на место, для групп под руководством кандидатов наук -2,2 заявки на место, для молодых кандидатов наук — 2,5 заявки на место, для аспирантов — ... 0,6 заявки на место. Для сравнения: для НОЦ средний конкурс составлял примерно 6 заявок на место, а в 2008 г. конкурс на гранты Президента РФ для молодых кандидатов наук составлял примерно 5,4 заявки на место. И это при том, что размер гранта Президента РФ для молодого кандидата наук составлял на тот момент 150 тыс. руб. в год, а цена госконтракта для аспиранта в рамках ФЦП «Кадры» может доходить до 500 тыс. руб. в год, а для молодого кандидата наук — до 1 млн руб. в год.
Во-вторых, мало подать заявку — необходимо еще, чтобы она была допущена к конкурсу. И аспиранты, и доктора наук показали себя в важнейшей бюрократической науке правильной подготовки заявок не лучшим образом: примерно 40% заявок не было допущено к конкурсу за несоблюдение требований к оформлению заявки. Таким образом, реальный конкурс оказался еще более низким, чем написано выше. По некоторым лотам были отвергнуты все (!) поданные заявки, по другим лотам существовавшая изначально конкуренция была сведена на нет. Так, по лоту «Создание электронной компонентной базы», предусматривавшему заключение 7 государственных контрактов, из 29 поданных заявок соответствующими требованиям было признано 8, а по лоту «Производство топлив и энергии из органического сырья», предусматривавшему заключение 8 государственных контрактов, из 24 заявок было допущено к конкурсу только 6. По сути, был проведен конкурс на знание всех бюрократических нюансов проведения конкурса.