Иван Пономарёв

к. ф.-м. н., доцент кафедры концептуального анализа и проектирования МФТИ.

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

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

12.09.11 Учебник

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

10.01.11 Учебник

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

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

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

23.06.10 О переводе терминов Бурбаки на английский язык

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

27.12.09 Учебник

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

14.12.09 Экзамен

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

19.06.09 «Бурбакизатор» становится open source проектом

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

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

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

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

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