Информатический клуб при ПОМИ

[kirpich_spb]

Информатический клуб при ПОМИ

http://logic.pdmi.ras.ru/~infclub/

С сентября 2007-го года начинает работу информатический клуб. Лекции будут читаться в ПОМИ (Фонтанка, 27) по субботам или воскресеньям. Заинтересовавшимся студентам просьба сообщить Александру Куликову (kulikov()logic.pdmi.ras.ru) ФИО, email и номер группы. Дополнительная

Comments

[dmitri_pavlov]

Может, всё-таки назовёте его алгоритмический клуб, а?
А то информатический клуб - больно уж страшное название.
Тем более, что курсов по теории сложности у вас не наблюдается.
(Под криптографией, как я могу предположить, понимаются алгоритмы криптографии.)
(Или, всё-таки, криптография будет читаться в теоретико-сложностном аспекте?)
Письмо перешлю всей кафедре КТ в ЛИТМО.

[kirpich_spb]

Дима, да мне название самому не очень нравится тоже (и еще несколько людей делали замечания), но клуб все-таки совсем не только алгоритмический. Ведь это видно по списку тем?.. Будет логика, будет, наверное, какая-то комбинаторика, в криптографии я вообще алгоритмов не припомню (но точно не скажу). Будут ли еще предложения? Буду благодарен, если поможешь придумать хорошее название, хотя не уверен, что еще не поздно его менять...

Спасибо за рекламу в ИТМО!

[dmitri_pavlov]

Логика и комбинаторика не имеют никакого отношения к информатике. Что касается теории сложности, то да, есть проблема. Однако дать точное определение термину информатика на русском языке никто не в состоянии. Мне кажется, что прилагательное алгоритмический является наилучшим приближением (пусть и не точным из-за теории сложности).
В крпиптографии есть алгоритмы RSA и много других
(всевозможные протоколы и так далее).

Можно понимать прилагательно алгоритмический в расширительном смысле, как изучение всего, имеющего отношение к алгортимам (в том числе и теории сложности).
Инфоклуб - уродское название в любом случае.
Могу ещё предложить TCS-клуб.
Коротко и понятно.

[kirpich_spb]

Ну, в целом согласен. Хотя не стал бы я говорить, что логика и комбинаторика не имеют _никакого_ отношения к информатике. Я вот тоже склонялся к чему-нибудь типа CS клуба. Поговорю потом с коллегами. Спасибо!

[dmitri_pavlov]

Никакого отношения не имеют в том смысле,
что не являются частью информатики.
Обычные математические связи между ними,
конечно, есть.
Скажем, теория сложности вычислений,
теория вычислимости, теория доказательств,
и теория моделей довольно тесно связаны между собой.
Ну а про значительную часть алгоритмов можно сказать,
что они есть часть комбинаторики в широком смысле.
(Исключая, наверное, алгоритмы в соответствующих областях
- вычислительная алгебра (и коммутативная в том числе), вычислительная геометрия, и другие.)

[mon_ii]

А мои друзья из ИТМО говорят, что у них вообще не было такого понятия, как спецкурс по выбору, только обязательные.
Значит если курсы этого клуба не согласовать с деканатом (сделать их обязательными, например), то их там никому не зачтут. :(

[kirpich_spb]

Ваня, труби им скорее, что получат они зачеты и оценки. Все уже согласовано. Просто не хотелось в объявлении писать о различии системы зачетов в ИТМО и на мат-мехе.

[dmitri_pavlov]

Есть. Можно вообще делать индивидуальный план и заменять в нём почти все предметы (кроме нескольких федеральных).