Feedback

Курс окончен, всем спасибо! Если у Вас есть мысли, пожелания, мнения, нам будет интересно их выслушать. Не исключено, что мы в самом императивном смысле примем их во внимание ;)

Срочно! Проблемы с учебной частью

Просьба СЕГОДНЯ (20 января) подойти в учебную часть и разобраться с проблемами с ведомостями следующим студентам :

Куприк 527 группа
Творогов 524 группа

Завтра перед экзаменом это сделать будет нельзя, т.к. в учебной части никого не будет!

Разъяснение условия А3 по Флойду

Условие задания А3 по методам Флойда сформулировано недостаточно точно, на мой взгляд. я хочу пояснить формулировку этого задания.

Правила проведения пересдачи

Если вы захотите пойти на пересдачу, Ваши баллы, заработанные в семестре, делятся пополам. Пересдача проходит в том же формате, как и основной экзамен. Набранные на пересдаче баллы будут добавлены к половине набранных за семестр баллов и на основе границ 30-60-80 баллов будет выставлена оценка.

Список тем лекций

Советую, как минимум, иметь представление по каждому из вопросов из следующего списка (это краткий план материала лекций этого года), а лучше и знать формулировки и определения по каждому из вопросов. Фактически этот список можно воспринимать как список тем для теоретических вопросов на экзамене.

Показ работ третьей комиссии

состоится 19 января в 9:00 в аудитории 726. В 10:00 в П-14 состоится консультация к экзамену.

Экзамен

21 января состоится экзамен по нашему курсу. Начало в 9:00. У нас две аудитории: 520-524 группы пишут в П-5, остальные - в П-6. Экзамен письменный. Длительность 120 минут. Каждому студенту будет предложен билет, состоящий из 10 заданий. Задания покрывают весь курс лекций и семинаров. Каждое задание оценивается от 0 до 5 баллов. Список возможных типов заданий на экзамене можно скачать на странице курса. Ответы пишите прямо на билете. На экзамене можно пользоваться любой печатной продукцией и рукописными текстами (крайне рекомендуется взять конспекты лекций и пособия по нашему курсу). Пользоваться электронными средствами связи и всем прочим барахлом запрещается.

19 января в П-14 в 10:00 состоится консультация к экзамену. Вы сможете задать интересующие вас вопросы непосредственно лекторам курса.

Программа экзаменационного дня следующая:
9:00 - 11:00 - Вы пишете экзамен.
11:00 - 13:00 - мы проверяем Ваши работы.
13:00 - 14:00 - показ работ и выставление оценок в зачетки.

Если кто-либо согласен с имеющейся уже сейчас оценкой, подходите, пожалуйста, на проставление оценок в зачетки с 9 до 10 утра.

Третья комиссия состоится

18 января в ИСП РАН (ул. Александра Солженицына, дом 25). Начало в 9:30, а не в 9:00, как написано на доске 5 курса.

Показ работ второй комиссии состоится

13 января в 9:00. Аудитория 726.

Напоминаю, 19 января в 10:00 в П-14 будет консультация к экзамену.

Статья "Об одном примере нарушения принципа подстановки Лисков"

В мире не так много статей на русском языке, касающихся различных аспектов RAISE метода. Алексей Германович Пискунов регулярно пишет статьи по RAISE методу. Рекомендую ознакомиться с его статьей под названием "Об одном примере нарушения принципа подстановки Лисков". В том числе она будет полезна и при подготовке к экзамену. Рекомендую также почитать и другие статьи на странице Алексея Германовича.

Классические формальные методы разработки программ

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

Эта ситуация была уже 40-50 лет назад. С этого времени профессия программиста в этом плане сильно не изменилась. А тем не менее рутинная, механическая, работа осталась. Если у программиста в голове есть правильное понимание того, что должна делать программа, то пусть компьютер сам пишет программы, подчиняясь идеям программиста. Т.е. хотелось бы иметь "программирующую программу" нового поколения, которая по некому более высокоуровневому описанию, нежели теперешние широкоиспользуемые языки программирования, предлагала реализации, возможно ценой потери эффективности, но с бОльшими возможностями по поддержке программ в более высокоуровневом представлении.

В мечтах это представлялось следующим образом: подходит программист к доске, чертит на ней какие-то непонятные символы (это он кратко, но точно, описывает концепции, логику поведения, которая должна быть в программе. Затем, оформив это в виде файла, запускает некий "спец.транслятор", выдающий исходные тексты программы, выполняющие заданную программистом логику. Программист занимается человеческим делом, он думает о самой задаче (а ведь сейчас, согласитесь, задачи решаются сложные: попробуйте хотя бы представить объемы требований!). А рутинную работу человек уже не делает. Красиво, не правда ли!

А теперь вопрос, почему мы до сих пор так не программируем ?