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

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

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

Обновлены электронная версия учебника и список замеченных опечаток. На настоящий момент в книге исправлено более 20 ошибок, замеченных с момента издания, а также внесены различные мелкие улучшения.

Вниманию студентов, слушавших мой курс в этом семестре. К экзамену необходимо будет подготовить
вопросы 15-31 из списка. Указания для подготовки к
зачёту можно использовать.

Программа «Бурбакизатор» — редактор концептуальных схем с синтаксическим и семантическим контролем текста, автоматическими операциями над родами структур и другими функциями — была написана в 2003-м году и до сегодняшнего дня используется студентами и сотрудниками кафедры концептуального анализа и проектирования.

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

Чтобы дать проекту возможность развиваться, «Бурбакизатор» был выпущен с открытыми исходными кодами под лицензией GPL и выложен на портале Google Code. Страница проекта — http://code.google.com/p/bourbakizer/, с её помощью каждый разбирающийся в программировании пользователь интернета может получить доступ на чтение к исходным кодам программы, а связавшись с администраторами проекта (которыми являются Юрий Байда и Иван Пономарёв), получить доступ и на запись. Для работы над проектом нужна система Delphi 7 и не нужно никаких внешних библиотек или компонент. Программа специально написана с использованием только стандартной библиотеки Delphi.

Насколько нам известно, это первый случай, когда автоматизированное средство концептуального проектирования выпускается под open source лицензией.

Мы будем рады сотрудничеству со всеми, кто заинтересован в совместной работе над кодом «Бурбакизатора».