Уважаемые студенты, домашнее задание прошу брать из этого документа. Если возникнут сложности с задачником Лаврова/Максимовой, дайте знать.

Уважаемые студенты, к экзамену в весеннем семестре 2014 следует готовить вопросы 38–45 из перечня.

Опубликована моя старая статья «Об эквивалентной представимости рода структуры с помощью заданной типовой характеристики», материал которой читается в весенние семестры и, возможно, со временем войдёт в учебник.

Опубликован перечень вопросов к зачёту. Будьте внимательны! Перечень адаптирован к фактически прочитанному материалу и несколько отличается от тех, что были в прошлые годы.

Эта страница переехала с narod.ru на платный хостинг (что давно следовало сделать :-), и отныне будет существовать без рекламных баннеров. Электронная версия учебника и список замеченных опечаток обновлены.

После долгого перерыва обновлён Бурбакизатор — исправлена ошибка, приводившая, в частности, к невозможности синтеза некоторых родов структур. По-прежнему актуален мой призыв к студентам: буду рад стать научным руководителем для желающих сделать НИР по переводу Бурбакизатора на FreePascal и доводке необходимых функциональных возможностей.

Обновлены электронная версия учебника и список замеченных опечаток

Опубликован перечень вопросов к зачёту. Будьте внимательны! Перечень несколько отличается от тех, что были в прошлые годы.

Обновлены электронная версия учебника и список замеченных опечаток. Исправлено 4 опечатки, замеченных в весеннюю сессию, на сегодня список исправлений содержит 37 записей.