Архивы автора: Admin

Бурбакизатор

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

Запись опубликована .

Учебник

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

Запись опубликована .

Зачёт в осеннем семестре

К зачёту в осеннем семестре следует подготовить вопросы 15-37 из списка. О том, как готовиться к зачёту, написано здесь, и, как всегда, тот, кто приносит найденные опечатки в моей книге, ещё не вошедшие в список замеченных опечаток, получает преимущество: одна опечатка = +1 балл. (А также известной считается опечатка на стр. 153, третья строчка снизу: знаки x и пустого множества должны быть в фигурных скобках, как синглетоны.)

Запись опубликована .