Консультации и пересдачи

08-101, 2 08.01.05 15:00
08-106, 8 15.01.05 15:00
08-103, 4 18.01.05 15:00
08-105, 7 20.01.05 15:00
08-101..8 28.01.05 15:00
08-101..8 04.02.05 15:00

Уважаемый Валентин Евгеньевич, у студентов группы 08-106 появился ряд вопросов, по поводу ответов на вопросы к экзамену. Не могли бы Вы нам на них ответить!
1). Являются ли правильными доказательства в теоремах под номерами 19, 20 и 28?
В № 19 нет ни слова об условии, обозначающемся над стрелками. Отсюда следует, что получающаяся диаграмма зацикливается.
В № 20 по схожей причине происходит тот же процесс.
В № 28, по нашему мнению, цикл зависит от выполнения только одной функции (g1).
2). Вы не могли бы нам рассказать, о чем конкретно писать в ответе на вопрос под № 13 и в ответе на часть вопроса № 38, посвященную нотации программ Э. Дейкстры.
3). Нас также очень интересует вопрос: доказательства каких теорем необходимо знать человеку, претендующему на оценку "4" и каких на "5"?

Дмитрий!
1. Проделайте действия теоремы 2.4.2. над программой, кувыркающей и катящей палочку по ленте(пример к л.р. № 5), и вы увидите что диаграмма строится правильно. Над стрелками, идущими из q0, надписываются знаки - входные буквы соответствующих команд, над выходящими -- ничего, это безусловное движение вперёд или возврат в q0. В конспекте действительно не указано, какие буквы надо надписывать над стрелками. На лекции, возможно, это было пояснено, поскольку доказательство пересказывалось дважды. В книге п/р Эббинхауса("Современная математика", популярная серия) изложение этого вопроса ведётся втрое короче.
Про п. 20 вопрос не понял, какие стрелки не надписаны.
П. 28 (обощённая теорема о цикле): постепенно, в порядке написания,
проверяются предикаты, первая же открывшаяся ветвь выполняется, после чего цикл продолжается, а проверка предикатов повторяется с самого начала. Т.е. здесь нет одновременного и независимого вычисления всех предикатов с последующим недетерминированным выбором одной из открывшихся ветвей. Или Вы имеете в виду какую-то неточность в диаграмме при копировании списка переменных? В структуре диаграммы и в записи условия многотельного цикла я ошибок не вижу.
2. Материал изложен в п. 1.10 конспекта, но должен быть дополнен ссылками на п.1.2, 1.6, 1.7. Экзамен принимается по курсу в целом, а не по конкретному вопросу, изложенному в порядке развития событий(эволюции, хронологии). Дополнительно почитайте рекомендованную брошюру Шрейдера из списка литературы к лекциям, распостранявшегося отдельным листом вместе с практикумом.
Фраза про нотацию -- подзаголовок к группе вопросов. Но в первом вопросе надо что-то про это сказать, почему здесь употреблён именно этот термин. На лекции я минут 10 распинался обо всём этом, попутно затрагивая в. № 55.
3. Снижение оценки за отсутствие доказательств практикуется только по тем теоремам, которые были доказаны на лекциях. С другой стороны, возможно её повышение за сложные доказательства, опущенные при чтении лекций. Несмотря на то, что в конспекте и книгах на русском языке они есть!

Благодарю за своевременный и полный ответ.
Дальше я разберусь самостоятельно.