20100909 csclub fall_term
TRANSCRIPT
![Page 1: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/1.jpg)
Computer Science клуб: осенний семестр 2010
А. Куликов
9 сентября 2010
![Page 2: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/2.jpg)
Тем, кто был на открытии предыдущего семестра
• Эти слайды с предыдущего семестра, признаться, не особоизменились.
• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.
2 из 39
![Page 3: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/3.jpg)
Тем, кто был на открытии предыдущего семестра
• Эти слайды с предыдущего семестра, признаться, не особоизменились.
• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.
2 из 39
![Page 4: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/4.jpg)
Тем, кто был на открытии предыдущего семестра
• Эти слайды с предыдущего семестра, признаться, не особоизменились.
• История создания клуба не изменилась совсем.
• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.
2 из 39
![Page 5: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/5.jpg)
Тем, кто был на открытии предыдущего семестра
• Эти слайды с предыдущего семестра, признаться, не особоизменились.
• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.
• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.
2 из 39
![Page 6: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/6.jpg)
Тем, кто был на открытии предыдущего семестра
• Эти слайды с предыдущего семестра, признаться, не особоизменились.
• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.
• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.
2 из 39
![Page 7: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/7.jpg)
Тем, кто был на открытии предыдущего семестра
• Эти слайды с предыдущего семестра, признаться, не особоизменились.
• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.
• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.
2 из 39
![Page 8: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/8.jpg)
Тем, кто был на открытии предыдущего семестра
• Эти слайды с предыдущего семестра, признаться, не особоизменились.
• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.
• И даже хорошая новость в конце презентации будет.
2 из 39
![Page 9: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/9.jpg)
Тем, кто был на открытии предыдущего семестра
• Эти слайды с предыдущего семестра, признаться, не особоизменились.
• История создания клуба не изменилась совсем.• И ответы на часто задаваемые вопросы всё те же.• Зато все курсы новые.• И сайт клуба новый.• И про школы будет рассказано побольше.• И даже хорошая новость в конце презентации будет.
2 из 39
![Page 10: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/10.jpg)
О клубе
3 из 39
![Page 11: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/11.jpg)
О клубе
• Computer Science клуб при ПОМИ РАН создан в сентябре2007-го года при поддержке Антона Лиходедова. Насегодняшний день поддержку клубу оказывают АнтонЛиходедов (Deutsche Bank) и Юрий Богданов (Уралкалий).
• Миссия: предоставить студентам Санкт-Петербургавозможность получить образование в области TheoreticalComputer Science.
4 из 39
![Page 12: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/12.jpg)
О клубе
• Computer Science клуб при ПОМИ РАН создан в сентябре2007-го года при поддержке Антона Лиходедова. Насегодняшний день поддержку клубу оказывают АнтонЛиходедов (Deutsche Bank) и Юрий Богданов (Уралкалий).
• Миссия: предоставить студентам Санкт-Петербургавозможность получить образование в области TheoreticalComputer Science.
4 из 39
![Page 13: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/13.jpg)
Ответы на часто задаваемые вопросы
• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/
• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.
• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.
• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.
• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.
5 из 39
![Page 14: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/14.jpg)
Ответы на часто задаваемые вопросы
• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/
• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.
• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.
• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.
• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.
5 из 39
![Page 15: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/15.jpg)
Ответы на часто задаваемые вопросы
• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/
• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.
• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.
• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.
• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.
5 из 39
![Page 16: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/16.jpg)
Ответы на часто задаваемые вопросы
• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/
• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.
• Да, естественно, посещать только некоторые курсы можно.
• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.
• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.
• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.
5 из 39
![Page 17: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/17.jpg)
Ответы на часто задаваемые вопросы
• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/
• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.
• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.
• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.
• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.
5 из 39
![Page 18: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/18.jpg)
Ответы на часто задаваемые вопросы
• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/
• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.
• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.
• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.
• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.
5 из 39
![Page 19: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/19.jpg)
Ответы на часто задаваемые вопросы
• Да, конечно, у клуба есть сайт:http://logic.pdmi.ras.ru/csclub/
• Нет, разумеется, чтобы ходить на лекции клуба, записыватьсяникуда не нужно.
• Да, естественно, посещать только некоторые курсы можно.• Да, все занятия проходят в Мраморном зале, в котором мы всесейчас находимся.
• Да, с этого семестра занятия у нас будут проходить не толькопо субботам и воскресеньям, но ещё и по четвергам. Посубботам, как и прежде, занимаемся только тогда, когдаприезжий преподаватель читает курс из десяти лекций.
• Да, в конце каждого курса (но не миникурса, состоящего издвух-трех лекций) проводится экзамен. При желании оценку закурс можно зачесть формально.
5 из 39
![Page 20: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/20.jpg)
Ответы на часто задаваемые вопросы: часть вторая
• Видеозаписи лекций выложены в двух местах:◦ Лекториум.ТВ: http://lektorium.tv/university/?id=2677,◦ Яндекс.Видео: http://video.yandex.ru/users/pdmicsclub/.
В дальнейшем лекции будут записываться на видео командойЛекториум.ТВ. Ссылки также будут доступны со страницлекций и курсов.
• Чтобы раньше всех узнать свежие новости (перенос лекции,информация о школах, выложенные материалы по курсам ит.п.), стоит подписаться на новости клуба:◦ Google-группа: http://groups.google.com/group/pdmicsclub◦ RSS новостей: http://logic.pdmi.ras.ru/csclub/news/rss◦ трансляция новостей в ЖЖ:http://syndicated.livejournal.com/csclubnews/
◦ группа Вконтакте: http://vkontakte.ru/club1530671
6 из 39
![Page 21: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/21.jpg)
Ответы на часто задаваемые вопросы: часть вторая
• Видеозаписи лекций выложены в двух местах:◦ Лекториум.ТВ: http://lektorium.tv/university/?id=2677,◦ Яндекс.Видео: http://video.yandex.ru/users/pdmicsclub/.
В дальнейшем лекции будут записываться на видео командойЛекториум.ТВ. Ссылки также будут доступны со страницлекций и курсов.
• Чтобы раньше всех узнать свежие новости (перенос лекции,информация о школах, выложенные материалы по курсам ит.п.), стоит подписаться на новости клуба:◦ Google-группа: http://groups.google.com/group/pdmicsclub◦ RSS новостей: http://logic.pdmi.ras.ru/csclub/news/rss◦ трансляция новостей в ЖЖ:http://syndicated.livejournal.com/csclubnews/
◦ группа Вконтакте: http://vkontakte.ru/club1530671
6 из 39
![Page 22: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/22.jpg)
Ответы на часто задаваемые вопросы: часть вторая
• Видеозаписи лекций выложены в двух местах:◦ Лекториум.ТВ: http://lektorium.tv/university/?id=2677,◦ Яндекс.Видео: http://video.yandex.ru/users/pdmicsclub/.
В дальнейшем лекции будут записываться на видео командойЛекториум.ТВ. Ссылки также будут доступны со страницлекций и курсов.
• Чтобы раньше всех узнать свежие новости (перенос лекции,информация о школах, выложенные материалы по курсам ит.п.), стоит подписаться на новости клуба:◦ Google-группа: http://groups.google.com/group/pdmicsclub◦ RSS новостей: http://logic.pdmi.ras.ru/csclub/news/rss◦ трансляция новостей в ЖЖ:http://syndicated.livejournal.com/csclubnews/
◦ группа Вконтакте: http://vkontakte.ru/club1530671
6 из 39
![Page 23: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/23.jpg)
Ответы на часто задаваемые вопросы: часть третья,заключительная
• Да, конечно, эти слайды будут выложены на страницурасписания клуба. Как и слайды всех лекций, читающихся вклубе.
• Нет, столовой в ПОМИ нет. Пообедать можно на Невском. Вперерывах между лекциями можно попить чая и кофе спеченьем в конце зала.
7 из 39
![Page 24: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/24.jpg)
Ответы на часто задаваемые вопросы: часть третья,заключительная
• Да, конечно, эти слайды будут выложены на страницурасписания клуба. Как и слайды всех лекций, читающихся вклубе.
• Нет, столовой в ПОМИ нет. Пообедать можно на Невском. Вперерывах между лекциями можно попить чая и кофе спеченьем в конце зала.
7 из 39
![Page 25: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/25.jpg)
Ответы на часто задаваемые вопросы: часть третья,заключительная
• Да, конечно, эти слайды будут выложены на страницурасписания клуба. Как и слайды всех лекций, читающихся вклубе.
• Нет, столовой в ПОМИ нет. Пообедать можно на Невском. Вперерывах между лекциями можно попить чая и кофе спеченьем в конце зала.
7 из 39
![Page 26: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/26.jpg)
Курсы весеннего семестра
• Теория сложности доказательств (12 пар)Эдуард Алексеевич Гирш, ПОМИ РАН
• Функциональное программирование (12 пар)Евгений Кирпичёв, Grid Dynamics
• Семантическая классификация изображений (2 пары)Антон Конушин, МГУ
• Онтология и представление знаний (10 пар)Борис Юрьевич Конев, University of Liverpool
• Проблема изоморфизма графов (12 пар)Илья Николаевич Пономаренко, ПОМИ РАН
• Program Analysis for Security (3 пары)Ben Livshits, Microsoft Research
• Синхронизируемые автоматы (10 пар)Михаил Владимирович Волков, УрГУ
8 из 39
![Page 27: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/27.jpg)
9 из 39
![Page 28: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/28.jpg)
10 из 39
![Page 29: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/29.jpg)
11 из 39
![Page 30: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/30.jpg)
12 из 39
![Page 31: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/31.jpg)
13 из 39
![Page 32: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/32.jpg)
14 из 39
![Page 33: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/33.jpg)
15 из 39
![Page 34: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/34.jpg)
Новый сайт клуба
16 из 39
![Page 35: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/35.jpg)
Новый сайт
• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.
• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.
17 из 39
![Page 36: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/36.jpg)
Новый сайт
• Поменялись адреса RSS-фидов новостей и студенческих школ.
• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.
• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.
17 из 39
![Page 37: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/37.jpg)
Новый сайт
• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.
• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.
• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.
17 из 39
![Page 38: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/38.jpg)
Новый сайт
• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.
• Google-календарь пока не поддерживается. Надеюсь, чтовременно.
• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.
17 из 39
![Page 39: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/39.jpg)
Новый сайт
• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.
• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.
17 из 39
![Page 40: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/40.jpg)
Новый сайт
• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.
• На странице каждого курса появился список лекций.
• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.
17 из 39
![Page 41: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/41.jpg)
Новый сайт
• Поменялись адреса RSS-фидов новостей и студенческих школ.• Слайды лекций выкладываются на slideshare.net.• Появился блок с ближайшими лекциями.• Google-календарь пока не поддерживается. Надеюсь, чтовременно.
• На странице каждого курса появился список лекций.• В профиле зарегистрированного пользователя по его желаниюмогут быть отображены сданные им курсы.
17 из 39
![Page 42: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/42.jpg)
Где еще можно поучиться
18 из 39
![Page 43: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/43.jpg)
АУ РАН
• Академический университет Российской академии наук (АУРАН) — первое высшее учебное заведение, входящее в системуРоссийской академии наук.
• Cоздан в 2002 году Постановлением Президиума РАН.• Ректором-организатором АУ является лауреат Нобелевскойпремии по физике академик Жорес Иванович Алфёров.
19 из 39
![Page 44: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/44.jpg)
20 из 39
![Page 45: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/45.jpg)
Кафедра МИТ
• Кафедра математических и информационных технологийАкадемического университета.http://logic.pdmi.ras.ru/aptu/
• Обучение в магистратуре по двум специализациям:теоретическая информатика (Computer Science) и разработкапрограммного обеспечения (Software Engineering).
• Также появилась магистратура по биоинформатике.http://saba.spbsu.ru/courses/info
21 из 39
![Page 46: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/46.jpg)
Курсы кафедры
• Программирование на языке C++• Комбинаторика и теория графов• Алгоритмы• Теория групп• Структурная теория сложности• Математическая логика• Проектирование программного обеспечения• Разработка UI с использованием тулкита Qt• Параллельные и распределенные вычисления• Сложностная криптография и сложность в среднем• Структура и интерпретация компьютерных программ• Машинное обучение• Организация процесса разработки ПО• и другие22 из 39
![Page 47: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/47.jpg)
Академия современного программирования
• Академия современного программированияhttp://www.amse.ru/
• Открыт приём в группу первого года.• Для поступления нужно пройти тестирование (15 и 17сентября) и собеседование.
• Для того, чтобы попасть на тестирование, нужнозарегистрироваться на сайте (до 14 сентября).
• Орг. собрание будет проведено 13 сентября.
23 из 39
![Page 48: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/48.jpg)
Физико-математический клуб при ПОМИ
• Физико-математический клуб при ПОМИhttp://club.pdmi.ras.ru/moodle/
• Курсы◦ От классической к квантовой механике. Практические занятия
для студентов младших курсовЕ.Н. Антонов, А.М. Монахов
◦ Гамильтонова механика, допускающая обобщенияМ. Сорокина, В. Касаткин
◦ Квантовая теория одномерного бозе-газа с точечнымвзаимодействиемП.Н. Бибиков
◦ Теория представлений и физикаИ. Френкель
◦ Концентрация мерыФ. Петров
◦ и другие24 из 39
![Page 49: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/49.jpg)
И ещё
• Курс “Введение в индустрию IT”http://sites.google.com/site/itindustryintro/
• Finnish-Russian University Cooperation in Telecommunications(FRUCT)http://www.fruct.org/
• Санкт-Петербургская группа пользователей Linuxhttp://linux.spb.org/
• Java User Group (JUG)http://www.jug.ru
• Санкт-Петербургская группа пользователей Haskell (SPbHUG)http://spbhug.folding-maps.org/wiki
• Open Source & Linux Labhttp://osll.spb.ru/
25 из 39
![Page 50: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/50.jpg)
Студенческие школы
26 из 39
![Page 51: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/51.jpg)
Студенческие Computer Science школы
• На сайте клуба поддерживается список интересныхмеждународных Computer Science школ:http://logic.pdmi.ras.ru/csclub/schoolsШколы отсортированы по дате крайнего срока подачи заявокна участие.
• RSS-фид: http://logic.pdmi.ras.ru/csclub/schools/rss
27 из 39
![Page 52: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/52.jpg)
Студенческие Computer Science школы
• На сайте клуба поддерживается список интересныхмеждународных Computer Science школ:http://logic.pdmi.ras.ru/csclub/schoolsШколы отсортированы по дате крайнего срока подачи заявокна участие.
• RSS-фид: http://logic.pdmi.ras.ru/csclub/schools/rss
27 из 39
![Page 53: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/53.jpg)
Студенческие Computer Science школы
• На сайте клуба поддерживается список интересныхмеждународных Computer Science школ:http://logic.pdmi.ras.ru/csclub/schoolsШколы отсортированы по дате крайнего срока подачи заявокна участие.
• RSS-фид: http://logic.pdmi.ras.ru/csclub/schools/rss
27 из 39
![Page 54: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/54.jpg)
28 из 39
![Page 55: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/55.jpg)
NoNA Summer School on Complexity Theory
• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/
• Организована коллективом клуба.• Более семидесяти участников.• Курсы:
◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute
◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”
◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover
◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University
29 из 39
![Page 56: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/56.jpg)
NoNA Summer School on Complexity Theory
• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/
• Организована коллективом клуба.• Более семидесяти участников.• Курсы:
◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute
◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”
◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover
◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University
29 из 39
![Page 57: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/57.jpg)
NoNA Summer School on Complexity Theory
• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/
• Организована коллективом клуба.
• Более семидесяти участников.• Курсы:
◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute
◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”
◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover
◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University
29 из 39
![Page 58: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/58.jpg)
NoNA Summer School on Complexity Theory
• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/
• Организована коллективом клуба.• Более семидесяти участников.
• Курсы:◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute
◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”
◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover
◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University
29 из 39
![Page 59: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/59.jpg)
NoNA Summer School on Complexity Theory
• NoNA Summer School on Complexity Theoryhttp://logic.pdmi.ras.ru/ssct09/
• Организована коллективом клуба.• Более семидесяти участников.• Курсы:
◦ Structural ComplexityLance Fortnow, Northwestern University, Toyota TechnologicalInstitute
◦ Proof ComplexityNicola Galesi, University of Rome “La Sapienza”
◦ Satisfiability ProblemsHeribert Vollmer, University of Hanover
◦ Complexity of Graph Algorithms Based on Matrix MultiplicationUri Zwick, Tel Aviv University
29 из 39
![Page 60: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/60.jpg)
30 из 39
![Page 61: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/61.jpg)
31 из 39
![Page 62: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/62.jpg)
32 из 39
![Page 63: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/63.jpg)
Школа Microsoft по структурам данных иалгоритмам
• Школа Microsoft по структурам данных и алгоритмамhttp://logic.pdmi.ras.ru/midas/
• Около 240 заявок, принято 60.• Курсы:
◦ Algorithms on Large Data SetsGiuseppe F. Italiano (University of Rome “Tor Vergata”, Italy)
◦ Case Studies: The Traveling Salesman and Bin Packing ProblemsDavid S. Johnson (AT&T Labs, USA)
◦ Combinatorial Optimization AlgorithmsClifford Stein (Columbia University, USA)
◦ Data StructuresRobert E. Tarjan (Princeton University and HP, USA)
◦ Shortest Paths and Experimental Evaluation of AlgorithmsRenato F. Werneck (Microsoft Research, USA)
33 из 39
![Page 64: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/64.jpg)
Школа Microsoft по структурам данных иалгоритмам
• Школа Microsoft по структурам данных и алгоритмамhttp://logic.pdmi.ras.ru/midas/
• Около 240 заявок, принято 60.• Курсы:
◦ Algorithms on Large Data SetsGiuseppe F. Italiano (University of Rome “Tor Vergata”, Italy)
◦ Case Studies: The Traveling Salesman and Bin Packing ProblemsDavid S. Johnson (AT&T Labs, USA)
◦ Combinatorial Optimization AlgorithmsClifford Stein (Columbia University, USA)
◦ Data StructuresRobert E. Tarjan (Princeton University and HP, USA)
◦ Shortest Paths and Experimental Evaluation of AlgorithmsRenato F. Werneck (Microsoft Research, USA)
33 из 39
![Page 65: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/65.jpg)
Школа Microsoft по структурам данных иалгоритмам
• Школа Microsoft по структурам данных и алгоритмамhttp://logic.pdmi.ras.ru/midas/
• Около 240 заявок, принято 60.
• Курсы:◦ Algorithms on Large Data SetsGiuseppe F. Italiano (University of Rome “Tor Vergata”, Italy)
◦ Case Studies: The Traveling Salesman and Bin Packing ProblemsDavid S. Johnson (AT&T Labs, USA)
◦ Combinatorial Optimization AlgorithmsClifford Stein (Columbia University, USA)
◦ Data StructuresRobert E. Tarjan (Princeton University and HP, USA)
◦ Shortest Paths and Experimental Evaluation of AlgorithmsRenato F. Werneck (Microsoft Research, USA)
33 из 39
![Page 66: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/66.jpg)
Школа Microsoft по структурам данных иалгоритмам
• Школа Microsoft по структурам данных и алгоритмамhttp://logic.pdmi.ras.ru/midas/
• Около 240 заявок, принято 60.• Курсы:
◦ Algorithms on Large Data SetsGiuseppe F. Italiano (University of Rome “Tor Vergata”, Italy)
◦ Case Studies: The Traveling Salesman and Bin Packing ProblemsDavid S. Johnson (AT&T Labs, USA)
◦ Combinatorial Optimization AlgorithmsClifford Stein (Columbia University, USA)
◦ Data StructuresRobert E. Tarjan (Princeton University and HP, USA)
◦ Shortest Paths and Experimental Evaluation of AlgorithmsRenato F. Werneck (Microsoft Research, USA)
33 из 39
![Page 67: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/67.jpg)
34 из 39
![Page 68: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/68.jpg)
35 из 39
![Page 69: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/69.jpg)
36 из 39
![Page 70: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/70.jpg)
Школа CSEDays.Application 2010
• CSEDays. Application 2010Екатеринбург, 12–14 ноябряhttp://www.csedays.ru/
• Тема: Надежность программного обеспечения• Крайний срок подачи заявок: 15 октября.
37 из 39
![Page 71: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/71.jpg)
Школа CSEDays.Application 2010
• CSEDays. Application 2010Екатеринбург, 12–14 ноябряhttp://www.csedays.ru/
• Тема: Надежность программного обеспечения• Крайний срок подачи заявок: 15 октября.
37 из 39
![Page 72: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/72.jpg)
Школа CSEDays.Application 2010
• CSEDays. Application 2010Екатеринбург, 12–14 ноябряhttp://www.csedays.ru/
• Тема: Надежность программного обеспечения
• Крайний срок подачи заявок: 15 октября.
37 из 39
![Page 73: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/73.jpg)
Школа CSEDays.Application 2010
• CSEDays. Application 2010Екатеринбург, 12–14 ноябряhttp://www.csedays.ru/
• Тема: Надежность программного обеспечения• Крайний срок подачи заявок: 15 октября.
37 из 39
![Page 74: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/74.jpg)
Хорошая новость в заключение
Эдуард Алексеевич опять заботливо насобирал нам яблок!
38 из 39
![Page 75: 20100909 csclub fall_term](https://reader033.vdocuments.us/reader033/viewer/2022042815/557f8247d8b42aab198b4f3c/html5/thumbnails/75.jpg)
Спасибо за внимание!
39 из 39