?

Log in

Теоретическая информатика по-русски [entries|archive|friends|userinfo]
Теоретическая информатика по-русски

[ Профиль | livejournal userinfo ]
[ Архив | journal archive ]

Фрактал Герасимова [Sep. 28th, 2013|12:04 am]
Теоретическая информатика по-русски

xcontcom
Фрактал Герасимова

Я обнаружил этот фрактал, когда разглядывал интерференцию волн на поверхности речки. Волна движется к берегу, отражается и накладывается сама на себя. Есть ли порядок в тех узорах, которые создаются волнами? Попробуем найти его. Рассмотрим не всю волну, а только вектор ее движения. "Берега" сделаем гладкими, для простоты эксперимента.

Фрактал Герасимова

Read more...Collapse )
LinkОставить комментарий

Начало весеннего семестра в Computer Science клубе при ПОМИ РАН [Feb. 12th, 2013|05:19 pm]
Теоретическая информатика по-русски
ivanbliznets
В CS клубе при ПОМИ РАН первое занятие нового семестра пройдет 21 февраля. Ниже список курсов, читаемых в этом семестре:

* Николай Вяххи (СПб АУ РАН), Алгоритмы в биоинформатике
начало: 24.02.2013, 11:15
http://compsciclub.ru/courses/algorithmsbioinformatics

* Дмитрий Ицыксон (ПОМИ РАН), Сложность вычислений и основы криптографии
начало: 21.02.2013, 18:30
http://compsciclub.ru/courses/complexitycryptography

* Илья Кацев (СПб ЭМИ РАН/Яндекс), Теория игр
начало: 24.02.2013, 13:00
http://compsciclub.ru/courses/gametheory

* Computer Science семинар
начало: 24.02.2013, 15:35
http://compsciclub.ru/courses/seminar2013spring

Вход свободный, приглашаются все желающие.
Расскажите, пожалуйста, о курсах заинтересованным друзьям.
Адрес: наб. реки Фонтанки, 27. Подробност
http://compsciclub.ru/.
LinkОставить комментарий

Летняя школа по Программной Инженерии и Верификации ПО [Apr. 12th, 2011|10:49 pm]
Теоретическая информатика по-русски

wh1t3cat1k
Этим летом (с 17 по 27 июля 2011 года) Microsoft Research, совместно с НИУ ВШЭ и ИСП РАН, организует международную Летнюю Школу, посвященную вопросам программной инженерии и верификации программного обеспечения.

Директором Школы является Тони Хоар (Tony Hoare) – ученый с мировым именем, лауреат премии Тьюринга. В качестве лекторов в школе будут выступать и другие широко известные ученые и профессора из ведущих университетов США и Европы.

К участию приглашаются заинтересованные и активные студенты старших курсов, аспиранты, и молодые ученые из России, СНГ, а также стран центральной Европы и Скандинавии. При условии прохождения отбора участие в школе и проживание (предоставляется общежитие) бесплатны.

Если Вы заинтересованы, то спешите зарегистрироваться - последний срок регистрации 15 апреля. В дальнейшем, при принятии Вами окончательного решения относительно участия, Вы сможете подать официальную заявку и документы - до 1 мая.

Подробности - под катом, в нашей группе и на официальном сайте.
Read more...Collapse )
LinkОставить комментарий

VI Летняя школа “Достижения и приложения современной информатики, математики и физики” [Mar. 28th, 2011|06:59 pm]
Теоретическая информатика по-русски

amfitra

VI Летняя школа “Достижения и приложения современной информатики, математики и физики”

8-20 августа 2011 года, Украина, Киев, НТУУ «КПИ»

 

Организаторы:

  • Научное общество студентов и аспирантов НТУУ «КПИ»
  • Национальный технический университет Украины «Киевский политехнический институт»

Участники: образованная социально-активная молодежь, которая стремится к саморазвитию, интересуется современным состоянием науки и планирует в будущем реализовываться в области научно-исследовательской работы;

Учебная программа AACIMP-2011 предусматривает лекции, семинары, практические занятия, дискуссии в рамках четырех направлений («стримов»):

  • Современное исследование операций (финансовая математика, теория игр, экспериментальная экономика, логистика, моделирование и другие);
  • Компьютерные науки (облачные вычисления, информационный поиск, информационная безопасность, мобильные платформы и другие);
  • Нейронауки (биологически достоверное моделирование нейронов и нейронных сетей, нейрокомпьютерный интерфейс, модели синаптической передачи, модели нейронных популяций и зрительной коры  и другие);
  • Науки глобальных вызовов (современная энергетика, астрофизика, генетика, вирусология, стратегический анализ и другие).

Для преподавания в Летней школе приглашены признанные ученые из известных университетов Германии, Франции, Бельгии, Швеции, Литвы, Польши, Украины, России, Турции, США, а также ведущие специалисты крупнейших мировых компаний. Такой преподавательский состав позволяет участникам не только углубить собственные научные знания, но и ознакомиться с традициями разных научных школ, приобщиться к дискуссии по решению важнейших проблем современных науки и технологий.

Кроме образовательной, участников Летней школы ожидает насыщенная культурная программа: дебаты, брейн-ринг, экскурсии по самым красивым и наиболее таинственным местам Киева, кинопоказы.

Для участия необходимо заполнить регистрационную форму на сайте AACIMP-2011. Решение о возможности Вашего участия в Летней школе принимает Программный комитет в течение месяца со дня регистрации.

  • Ранний срок регистрации ― до 1 июня.
  • Поздний срок регистрации ― до 1 августа.

Все детали регистрации, правила участия и оплаты, информацию о курсах Вы можете найти на сайте летней школы AACIMP-2011.

 

Контакты:

03056, Украина, Киев, пр-т Победы, 37,
Научное общество студентов и аспирантов НТУУ «КПИ»,

Корпус №1, ауд.299(15)
Тел/факс: +38 (044) 454 92 43
E-mail: summerschool@ssa.org.ua

LinkОставить комментарий

Приглашаем в лагерь по информатике и компьютерным технологиям [Jun. 24th, 2010|09:16 pm]
Теоретическая информатика по-русски
avschool
30 июня-13 июля 2010 пройдет первая смена Лагеря «Антивирусной школы» в пансионате «Лесное» (берег Волги, 35 км от Ярославля). Будут: занятия, направленные на углубление знаний в сфере информатики, ИТ, компьютерной безопасности, тестирование ПО, спорт, экскурсии, просмотр кинофильмов, барбекю. http://av-school.ru/camp


Посмотреть в полный размер, 72.40 КБ, 640x498Collapse )
LinkОставить комментарий

(no subject) [Nov. 21st, 2009|02:46 am]
Теоретическая информатика по-русски

neatfires
Тут со спамом что-нибудь решится, или я отписываюсь?
Link8 комментариев|Оставить комментарий

Летняя школа в г. Марктобердорф 2009 [Sep. 30th, 2009|10:04 am]
Теоретическая информатика по-русски

ulysses4ever
Я участвовал в летней школе в г. Марктобердорф 2009 (проводится она с 1970), основная тематика: верификация ПО, формальные методы, model checking. Впечатления остались самые положительные.  Пишу просто ради популяризации самой школы и рассматриваемых там тем (не сочтите рекламой в плохом смысле).

Список тем я забил в университетскую вики, добавив несколько развёрнутых аннотаций к некоторым курсам, а также открытые ссылки на некотрые из релевантных публикаций. Интересно будет, если кто-то выскажет своё мнение об аннотациях (наверняка там много ляпов по причине того, что я не специализируюсь в этих областях). Сейчас их всего 6 из 12 возможных, может быть, я добавлю ещё пару, но до конца вряд ли сделаю.

Моё участие финансировал наполовину университет, наполовину сами организаторы. Некоторые ехали за счёт организаторов целиком. Из около 80-ти участников было около 10 россиян (в частности, четверо москвичей, трое новосибирцев, двое ярославцев, один ростовчанин) и ещё штук пяток русскоговорящих. Повторю: это отличный опыт, так что рекомендую людям посылать заявки и пробовать попасть туда.

UPD: более развёрнутое описание самой школы (не курсов лекций) от happy_mystx
LinkОставить комментарий

Алгоритмы - построение и анализ Упражнения [Aug. 12th, 2009|09:09 pm]
Теоретическая информатика по-русски
imephistopheles
[Current Location |Russian Federation, Тольятти]

Здравствуйте, Книга о которой пойдет речь мне очень нравиться, но некоторые упражнения меня смущают.
Авторы книги говорят о том что ответов к заданиям из книги, никто никогда не получит, они естественно хотели как лучше. В таком подходе есть несколько проблем.
Если задача предпологает четкий конечный результат, который можно проверить эксперементально, то в таком случае проблем не возникает, но если задача на докозательство то в таком случае возникает проблема - Кому доказывать? Конечно можно попробовать что либо докозать книге, но врядли это даст какой либо результат, доказывать что либо себе тоже не имеет особого смысла. Все дело в том что я не могу без аппонента что ли бо докозать.
Вторая проблема - это смысл задачи, которую предложил автор.
Третья проблема - это теоретические вопросы, как определить границы где пора остановиться.
В частности сейчас я хотел бы предложить задачу со второй проблемой:
2.1-3. Рассмотрим задачу поиска
Вход: Последовательность n чисел A = <a1, a2, ... an> и величина v.
Выход: индекс i, обладающий символом v = A[i], или значение NIL, если в массиве A отсутствует значение v.
Составьте псевдокод линейного поиска, при работе которого выполняется сканирование последовательности в поиске значения v. Докажите корректность алгоритма с помощью инварианта цикла. Убедитесь, что выбранные инварианты цыкла удовлетворяют трем условиям.

Задача кажется простой, но есть вопрос по смыслу задачи - говоря о ленейном поиске имеется ввиду простой перебор значений, или сначало сортировка а затем перебор. Еще до этого, в книге, описывался алгоритм сортировка вставкой, он полностью был описан и его корректность была доказана с использованием инварианта цикла, так вот главным аргументом было то что сортировочный массив никак циклом не изменяется, и это как раз и доказывало корректность алгоритма, вообще там три этапа, но это был один из главных. Точнее это свойство "Сохранение".
В задаче, которая описана выше, ничего изменять не прейдеться вообще, а значит цикл инвариантен. Корректность доказана. В случае если требуется сортировка, то эта задача доказана самими авторами книги, и не имеет смысла ее доказывать.

Какое-то решение слишком простое? Возможно я неправельно понял смысла задачи - подскажите.

З.Ы.: Хочу развернуть здесь цикл постов по задачам из книги, которые требуют доказательства и нетревиального решения, как вы на это смотрите? Есть также орошая книга SICP там тоже много таких задач... Жду ваших комментариев.
Всем спасибо за помощь.
Прошу прощения за разного рода орфографические ошибки.
LinkОставить комментарий

IV Летняя Школа "Достижения приложения современной информатики, математики и физики" (AACIMP-09) [Jun. 12th, 2009|04:08 pm]
Теоретическая информатика по-русски

amfitra
5-16 августа 2009 года
Украина, Киев, НТУУ “КПИ”

Национальный технический университет Украины “Киевский Политехнический Институт”  и Научное общество студентов и аспирантов НТУУ “КПИ” приглашают студентов, аспирантов и молодых ученых принять участие в научно-образовательном проекте – Четвертая Летняя школа “Достижения и приложения современной информатики, математики и физики” (AACIMP-09).

Подробнее...Collapse )

Детальнее ознакомиться с условиями участия, учебными дисциплинами, а также зарегистрироваться можно на сайте проекта.
LinkОставить комментарий

Открытие весеннего семестра в Computer Science клубе при ПОМИ РАН [Feb. 9th, 2009|06:32 pm]
Теоретическая информатика по-русски

kirpich_spb
Computer Science клуб при ПОМИ РАН создан в сентябре 2007-го года при поддержке Антона Лиходедова, на сегодняшний день поддержку клубу оказывают Антон Лиходедов (Deutsche Bank) и Юрий Богданов (Уралкалий). Основная цель клуба - предоставить возможность студентам Санкт-Петербурга получить образование в области Theoretical Computer Science. Лекции читаются как петербуржскими, так и иностранными преподавателями по субботам и воскресеньям в ПОМИ РАН (Фонтанка, 27). По основным из прочитанных курсов проводится экзамен, оценка за который может быть зачтена формально. Вход в клуб свободный. Дополнительная инфомация о клубе (расписание занятий, описание курсов, слайды и видеозаписи лекций, информация о преподавателях) доступна с сайта клуба: http://logic.pdmi.ras.ru/~infclub.


Курсы весеннего семестра 2009 г.:
Параллельное программирование (Р. Елизаров)
Вычислительно трудные задачи и дерандомизация (Д. М. Ицыксон)
Коммуникационная сложность (Н. К. Верещагин)
Экспандеры и их применения (А. Е. Ромащенко)
Computer Science семинар

Открытие весеннего семестра в клубе состоится в воскресенье, 15-го февраля. В 12-00 будет проведено орг. собрание, на котором будет рассказано о клубе и предстоящих курсах. Также будет рассказано о дипломах о дополнительном образовании, которые планируется выдавать в клубе в новом семестре. После собрания будут проведены лекция по вычислительно трудным задачам и дерандомизации и лекция по параллельному программированию.

Ссылки:
Сайт клуба: http://logic.pdmi.ras.ru/~infclub
Расписание: http://logic.pdmi.ras.ru/~infclub/?q=schedule
RSS новостей: http://feeds.feedburner.com/ComputerScienceClub
Трансляция новостей в ЖЖ: http://syndicated.livejournal.com/csclub_pomi
Группа вконтакте: http://vkontakte.ru/club1530671
Встреча вконтакте: http://vkontakte.ru/event7314959
Google-группа: http://groups.google.com/group/pdmicsclub
Google-календарь: http://www.google.com/calendar/embed?src=68vp6ve5k1fq8m9nhgj694a23s%40group.calendar.google.com&ctz=Europe/Moscow
Объявление для печати: http://logic.pdmi.ras.ru/~kulikov/out/20090215invitation.pdf
LinkОставить комментарий

navigation
[ viewing | most recent entries ]
[ go | earlier ]