Профильный курс информатики

Уважаемая Любовь Владимировна!
В профильном учебнике мы стараемся максимально отразить темы ГОС 2004 года. Но у меня есть сомнение в том, что нужно отражать все, что там написано. К слову, замечу, что срок действия ГОС 2004 г. формально уже истек (5 лет). И мы (как и Вы) ждем выхода стандартов второго поколения... Не буду углубляться в эту больную тему. Вернусь к учебнику. Темы, которые Вы назвали, не отражены ни в одном из трех ныне существующих профильных учебников. И это не случайно! В этом проявляется общее мнение разных аторов о том, что они не нужны в общеобразовательном школьном  учебнике, пусть даже профильного уровня. Эти темы изучаются даже не на всех профильных к ИКТ вузовских специальностях (см. стандарты ВПО). Поэтому и в нашем учебнике ни "диагонального доказательства", ни "универсальной вычислимой функции, ... полноты формализации" не будет. Такие темы можно изучать в профильных классах, но не в общеобразовательном курсе, а в рамках профильных эллективов, например, с названием "Математические основы информатики". Для этого есть замечательное пособие Андреевой, Босовой,  Фалиной. В нем, в частности, раскрывается понятие вычислимой функции. А вот диагонального доказательства нет. Если Вы хотите разобраться с этим вопросом, изложенным для школьников, см. г.Информатика, 2007 г., с.24-27 (цикл статей "Энциклопедия учителя информатики").
И.Г.Семакин

Я не вхожу в число разработчиков Стандарта. Эту работу выполняет РАО. Я, как и Вы, могу судить о будущем стандарте только по декларациям, которые делают сотрудники РАО. Моя позиция состоит в следующем: как автор учебников я пытаюсь через их содержание повлиять на становление и развитие  школьной информатики. Во многом его инвариантное ядро уже сложилось. Оно проявляется в пересечении содержания учебников разных авторов. Область такого пересечения сейчас гораздо шире, чем 10 лет назад. Эта область (де факто) и должна притянуть к себе стандарт. Поэтому, я надеюсь, что разработчики новых стандартов учтут это обстоятельство.

Спасибо за рекомендации! Все, о чем Вы пишете, будет в УМК, который включает в себя учебник и практикум. В учебнике - основные принципы и примеры, в практикуме - дополнительные примеры и разнообразные задания. Мы долго думали, куда воткнуть игровые стратегии. Поместили в главу "Компьютерное моделирование", раздел "Моделирование в экономике", параграф под названием "Задачи теории игр" (наряду с задачами расписания, транспортной задачей и пр.)
Переключательные схемы есть в учебнике 10 класса, глава "Компьютер", раздел "Логические основы ЭВМ", параграф "Логические элементы и переключательные схемы".

Спасибо за советы!
Логика, системы счисления - все это, конечно есть в учебнике и практикуме. Насчет кругов Эйлера - полезное напоминание. Учебник уже сдан и там этого нет. Вставлю в практикум, который сейчас пишем. Насчет рабочих тетрадей. Мое мнение, что это жанр не для старшеклассников. Вопрос о формате решает издательство: технический редактор, художник и др. Я могу лишь передать Ваше пожелание.