С экзаменом ситуация такая же, как и с экзаменом по спецкурсу ''Булевы алгебры''. Желающие (как те, кто когда-то ходил на лекции, так и те, кто на них ни разу не был) могут сдавать его в любое время, когда меня можно найти в Новосибирске. Форма проведения такая: студенту дается вопрос, задача и время (полсуток или сутки) на подготовку дома со всей возможной литературой. Требования зависят от конкретного человека. Если это студент одного из старших курсов, специализирующийся на кафедрах АиЛ или ДМИ, то он должен дать исчерпывающее доказательство теоремы в вопросе (в том числе уметь доказывать с ходу все необходимые леммы), решить задачу и свободно ориентироваться во всех определениях. Для студентов младших курсов и студентов, специализирующихся на других кафедрах, требования более мягкие.
Доказательства результатов при ответе могут быть не такими, как у меня. В принципе, человек может вообще не читать эти лекции, а изучать предмет по книгам. В тех книгах, которые приведены в списке литературы в конце текста спецкурса, есть все, хотя иногда в несколько другом изложении. Тем не менее, тот, кто сдает экзамен, должен уметь ВСЕ ДОКАЗЫВАТЬ.
В заключении несколько слов о том, что необходимо для понимания спецкурса. Во-первых, необходима общая математическая подготовка и знание основ алгебры. Обычно у способных студентов на втором курсе это все уже есть. Во-вторых, необходимо знание основного курса по теории алгоритмов, лучше в том варианте, как его читает автор спецкурса на 2-ом потоке ММФ НГУ (см. ссылку на главной странице). В-третьих, желательно знание курса математической логики, который читается во втором и третьем семестрах на ММФ НГУ. Главным образом это относится к таким темам, как мощности, частично упорядоченные множества и ординалы. Если кто-то плохо помнит эти темы из курса логики, то для него, в-принципе, будет достаточно прочитать учебник Ершова и Палютина, а также посмотреть где-нибудь (например, в книге Роджерса) про операции над ординалами. Также крайне желательно хотя бы предварительное знакомство с решетками и полурешетками: необходимые сведения есть в книге Гретцера ''Общая теория решеток'' и во введении к книге Ершова ''Теория нумераций''.
Замечания, предложения, вопросы, комментарии, а также сообщения о замеченных в лекциях ошибках и опечатках просьба присылать мне по электронной почте. Адрес находится на главной странице.