
Computer Science клуб при ПОМИ РАН
Computer Science клуб создан в Санкт-Петербурге в сентябре 2007 года при поддержке Антона Лиходедова, на сегодняшний день поддержку клубу оказывают Антон Лиходедов (Deutsche Bank) и Юрий Богданов (Rigmora Holdings).
Основная цель — познакомить студентов с классическими результатами, современным положением дел и открытыми задачами в различных областях computer science. Лекции читаются местными и приглашёнными преподавателями в Мраморном зале ПОМИ РАН. Вход на лекции свободный, регистрация не требуется. За время существования клуба его посетило более пятидесяти тысяч студентов различных вузов. В среднем на лекции присутствует около тридцати слушателей, среди которых не только студенты, но и аспиранты, выпускники вузов. Координатор клуба — Александр Куликов.
Курсы лекций
149Алгоритмическая теория игр
10 лекций · Михаил Вялый
Алгоритмическая теория информации
6 лекций · Александр Шень
Алгоритмические применения древесных декомпозиций
2 лекции · Федор Фомин
Алгоритм Тарского
2 лекции · Юрий Матиясевич
Алгоритм Тарского 2017
2 лекции · Юрий Матиясевич
Алгоритмы быстрого вычисления разреженного преобразования Фурье
4 лекции · Михаил Капралов
Алгоритмы во внешней памяти
5 лекций · Максим Бабенко
Алгоритмы для задачи коммивояжёра
2 лекции · Александр Куликов
Алгоритмы для NP-трудных задач
13 лекций · Александр Куликов
Алгоритмы для NP-трудных задач (2013)
13 лекций · Александр Куликов
Алгоритмы обработки потоковых данных
5 лекций · Всеволод Опарин
Анализ булевых функций
2 лекции · Владимир Подольский
Анализ поисковых запросов
4 лекции · Павел Браславский
Введение в биоинформатику
5 лекций · Михаил Капущевский
Введение в комбинаторику слов
5 лекций · Анна Фрид
Введение в метаматематику
8 лекций · Андрей Бовыкин
Введение в модальную логику
5 лекций · Даниил Рогозин
Введение в проективную геометрию для компьютерного зрения
2 лекции · Виктор Ерухимов
Введение в теорию информации
10 лекций · Андрей Ромащенко
Введение в теорию нейросетей и глубокое обучение
5 лекций · Алексей Ивахненко
Верификация параллельных и распределенных программных систем
2 лекции · Юрий Карпов, Ирина Шошмина
Вероятностно проверяемые доказательства
9 лекций · Дмитрий Ицыксон
Вероятностные алгоритмы
10 лекций · Иван Михайлин
Вероятностные методы в вычислениях
11 лекций · Дмитрий Ицыксон
Вероятностные методы в вычислениях (2015)
12 лекций · Дмитрий Ицыксон
Визуализация графов
5 лекций · Александр Дайняк
Визуализация данных
5 лекций · Александр Дайняк
Виртуализация и виртуальные машины
21 лекция · Николай Иготти
Воспроизводимая наука о данных
4 лекции · Никита Казеев, Андрей Устюжанин
Вывод типов от Хиндли-Милнера до GHC 8.8
5 лекций · Виталий Брагилевский
Вычисления на GPU. Основные подходы, архитектура, оптимизации
10 лекций · Алексей Ивахненко
Вычислительная геометрия
12 лекций · Кира Вяткина
Вычислительная сложность задач поиска
4 лекции · Даниил Мусатов
Вычислительно трудные задачи и дерандомизация
2 лекции · Дмитрий Ицыксон
Десятая проблема Гильберта. Решение и применения в информатике
16 лекций · Юрий Матиясевич
Диаграммы Вороного
2 лекции · Кира Вяткина
Дополнительные главы алгоритмов (2014)
8 лекций · Павел Маврин, Сергей Копелиович
Дополнительные главы теории паросочетаний
6 лекций · Максим Бабенко
Избранные главы схемной сложности
3 лекции · Александр Головнев
Избранные главы теории потоков
10 лекций · Максим Бабенко
Избранные темы Computer Science
10 лекций · Александр Шень
Избранные темы Computer Science
9 лекций · Александр Шень
Интерактивные доказательства
4 лекции · Даниил Мусатов
Информационный поиск изнутри
4 лекции · Ден Расковалов
Искусственный интеллект и беспилотные автомобили
2 лекции · Антон Слесарев
История исследования ДНК и белковых структур: от французской революции до современной биоинформатики
2 лекции · Алексей Шпильман
Квантовая криптография. Хеширование. Цифровая подпись
5 лекций · Фарид Аблаев
Квантовые алгоритмы: возможности и ограничения
10 лекций · Михаил Вялый
Классическая теория кодирования и новые приложения
10 лекций · Виталий Скачек
Коды переменной длины
3 лекции · Андрей Рыжиков
Комбинаторика слов и ее приложения
12 лекций · Арсений Шур
Коммуникационная сложность
10 лекций · Николай Верещагин
Коммуникационная сложность (2017)
9 лекций · Николай Верещагин
Компилятор GHC языка Haskell: теория языков программирования в работе
5 лекций · Виталий Брагилевский
Компьютерная графика
12 лекций · Виталий Галинский
Компьютерная графика 2018
12 лекций · Виталий Галинский
Компьютерное зрение и библиотека OpenCV
2 лекции · Виктор Ерухимов
Криптографические протоколы
9 лекций · Сергей Николенко
Криптографические протоколы (2015)
8 лекций · Сергей Николенко
Криптографические хэш-функции
5 лекций · Илья Миронов
Лемма Ловаса и другие вероятностные доказательства существования
10 лекций · Александр Шень
Ликбез: коды, исправляющие ошибки
2 лекции · Александр Шень
Линейное программирование
10 лекций · Максим Бабенко
Локализация мобильных роботов. Обзор основных SLAM алгоритмов
3 лекции · Кирилл Кринкин
Локальное декодирование
5 лекций · Сергей Еханин
Математические основы Computer Science
14 лекций · Дмитрий Ицыксон
Матроиды и параметризованные алгоритмы
3 лекции · Saketh Saurabh
Машинное обучение
13 лекций · Василий Усатюк и ещё 12
Машинное обучение и рекомендательные системы
5 лекций · Евгений Соколов
Машинный перевод
2 лекции · Дэвид Талбот
Методы геометрических вычислений и их применения в системах машинного зрения
2 лекции · Michael Bronstein
Методы и системы обработки больших данных
11 лекций · Иван Пузыревский
Метрическая геометрия и ее приложения в Computer Science
2 лекции · Константин Макарычев, Юрий Макарычев
Модели веб-графов и их приложения
3 лекции · Андрей Райгородский
Низкоуровневый взгляд на динамические библиотеки и модели кода
5 лекций · Игорь Жирков
Онлайн-алгоритмы для управления буфером: конкурентный анализ
2 лекции · Сергей Николенко
Онтология и представление знаний
9 лекций · Борис Конев
Оптимизация энергии в задачах компьютерного зрения и алгоритмы на графах
4 лекции · Виктор Лемпицкий
О современных методах автоматической формальной верификации аппаратного обеспечения
2 лекции · Арист Кожевников
Параллельное программирование
6 лекций · Роман Елизаров
Параллельное программирование
13 лекций · Евгений Калишенко, Алексей Злобин
Параллельные вычисления с использованием стандартов MPI, OpenMP, OpenACC
10 лекций · Алексей Ивахненко
Параметризованные алгоритмы
4 лекции · Федор Фомин
Параметризованные алгоритмы (2015)
14 лекций · Иван Близнец
Полулокальное сравнение строк
3 лекции · Александр Тискин
Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность
10 лекций · Михаил Вялый
Принципы и интерпретация динамических языков программирования
5 лекций · Роман Попов
Про «баги» два в одном
2 лекции · Константин Серебряный
Проблема изоморфизма графов
10 лекций · Илья Пономаренко
Проблемы населенности типов и их разрешимость
2 лекции · Денис Москвин
Программирование с зависимыми типами на языке Idris
10 лекций · Виталий Брагилевский
Программный анализ и формальные методы верификации
2 лекции · Наталья Шарыгина
Распределенные алгоритмы
3 лекции · Fernando Pedone
Рекомендательные системы: классические и нейросетевые подходы
4 лекции · Евгений Соколов
Семантическая классификация изображений
2 лекции · Антон Конушин
Синхронизируемые автоматы
9 лекций · Михаил Волков
Системы типизации лямбда-исчисления
8 лекций · Денис Москвин
Сложностная криптография
3 лекции · Эдуард Гирш
Сложность бесконечных слов
2 лекции · Светлана Пузынина
Сложность булевых функций
10 лекций · Владимир Подольский
Случайные графы
4 лекции · Андрей Райгородский
Спектральная теория графов
8 лекций · Данила Черкашин
Структурная теория сложности
8 лекций · Эдуард Гирш
Структуры данных, основанные на указателях
5 лекций · Елена Арсеньева
Суффиксные деревья: новые идеи и открытые проблемы
3 лекции · Татьяна Стариковская
Теоретико-сложностные основы криптографии
13 лекций · Дмитрий Ицыксон
Теоретико-числовые алгоритмы и криптография
8 лекций · Александр Храбров
Теория динамических игр
3 лекции · Даниил Мусатов, Алексей Савватеев
Теория кодирования
10 лекций · Андрей Ромащенко
Теория распределенных вычислений
10 лекций · Роман Липовский
Теория сложности доказательств
7 лекций · Эдуард Гирш
Теория экономических механизмов. Аукционы
2 лекции · Сергей Николенко
Тестирование на основе моделей
3 лекции · Виктор Кулямин
Формальные грамматики и вычислительная сложность синтаксического анализа
2 лекции · Александр Охотин
Формальные языки и синтаксический анализ
10 лекций · Александр Охотин
Функциональное программирование
8 лекций · Евгений Кирпичев
Что можно делать с вещественными числами и нельзя с целыми
8 лекций · Юрий Матиясевич
Экспандеры и их применения
10 лекций · Андрей Ромащенко
Эффективное использование С++
3 лекции · Валерий Лесин
Эффективные алгоритмы
11 лекций · Александр Куликов
Эффективные алгоритмы и коммуникационная сложность
6 лекций · Иван Михайлин
Эффективные параллельные алгоритмы: методика BSP
3 лекции · Александр Тискин
Эффективные параллельные алгоритмы: методика BSP
4 лекции · Александр Тискин
A survey of automated theorem proving
4 лекции · John Harrison
Computer Science семинар (Весна 2011)
4 лекции · Андрей Бреслав и ещё 2
Computer Science семинар (Весна 2012)
8 лекций · Cesare Pautasso и ещё 6
Computer Science семинар (Весна 2013)
4 лекции · Александр Куликов и ещё 3
Computer Science семинар (Осень 2010)
2 лекции · Павел Певзнер, Григорий Ярославцев
Computer Science семинар (Осень 2011)
9 лекций · Бен Лившиц и ещё 7
Computer Science семинар (осень 2012)
3 лекции · Милинд Бхандаркар и ещё 2
Distributed Information Retrieval
3 лекции · Fabio Crestani
Fine-grained complexity
3 лекции · Иван Михайлин
From Object Replication to Database Replication
3 лекции · Fernando Pedone
From univariate polynomials to probabilistically checkable and error-tolerant proofs
5 лекций · Petteri Kaski
Graph Algorithms
2 лекции · Andrew V. Goldberg
Introduction to Computational Social Choice
5 лекций · Piotr Faliszewski
Kotlin: практика разработки современного языка программирования
2 лекции · Андрей Бреслав
Modern algorithms for parallel, streaming and query-based data processing
4 лекции · Григорий Ярославцев
Networking
3 лекции · Antonio Carzaniga
Program Analysis for Security
2 лекции · Ben Livshits
Recent Advances in Algorithms
16 лекций · Aleksander Mądry и ещё 4
RECOMB Satellite Conference on Bioinformatics Education
9 лекций · Christopher Lee и ещё 8
RECOMB Satellite Conference on Open Problems in Algorithmic Biology
12 лекций · Сергей Николенко и ещё 11
Software Testing
5 лекций · Mauro Pezz
Software Verification (2009)
2 лекции · Наталья Шарыгина
Software Verification (2010)
3 лекции · Наталья Шарыгина
State of the GAN: состязательные сети
3 лекции · Сергей Николенко
Ubiquitous Computing – Vision, Technology, and Implications
3 лекции · Marc Langheinrich
Web research
2 лекции · Юрий Лифшиц
Онлайн-курсы по программированию
3
Машинное обучение для анализа текстов
От бизнес-идеи к ее реализации: учимся инновационному предпринимательству с нуля.
С платными опциями

Разработка игры-платформера на Defold: базовый уровень
Создайте свой первый платформер с нуля! За 7 недель вы не просто освоите движок Defold, а пройдете весь путь геймдев-разработчика: от кода и анимаций до дизайна и сюжета.
Бесплатный

Python для начинающих
Курс посвящен основам программирования на языке Python — одном из самых популярных и понятных языков, идеально подходящих для первого знакомства с IT.
Бесплатный
Отдельные записи
45- Алгоритмы и программыАльфред Хайруллин
- Алгоритм Hub Labeling для поиска кратчайших путей в графеАндрей Гольдберг
- Архитектура GPUЭдуард Храмченков
- Введение в анализ потоковых данныхПавел Маврин
- Введение в биоинформатику. ДНК, мотивы, профилиНиколай Вяххи
- Введение в имитационное моделирование. Разработка имитационных моделейТимур Девятков
- Введение в кликовые моделиИлья Марков
- Введение в проективную геометрию для компьютерного зрения. Лекция 3Виктор Ерухимов
- Введение в проективную геометрию для компьютерного зрения. Лекция 4Виктор Ерухимов
- Вероятностные алгоритмыДаниил Мусатов
- Вероятностные вычисленияАльфред Хайруллин
- Графы в биоинформатикеНиколай Вяххи
- Иерархия памяти GPUЭдуард Храмченков
- Интерактивные алгоритмы. Лекция 1Даниил Мусатов
- Интерактивные алгоритмы. Лекция 2Даниил Мусатов
- Использование библиотек C++ для программирования на OpenCL и CUDAДенис Демидов
- Использование структурированных данных в информационном поискеЮрий Лифшиц
- Класс PSPACE. Лекция 1Даниил Мусатов
- Класс PSPACE. Лекция 2Даниил Мусатов
- Машинное обучение. CSClub Казань. Лекция 1Сергей Николенко
Показать все 45 записей
- Машинное обучение. CSClub Казань. Лекция 2Сергей Николенко
- Машинное обучение. CSClub Казань. Лекция 3Сергей Николенко
- Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 1Виталий Осипов
- Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 2Виталий Осипов
- Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 3Виталий Осипов
- Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 4Виталий Осипов
- Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 5Виталий Осипов
- Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 6Виталий Осипов
- Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 7Виталий Осипов
- Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 8Виталий Осипов
- Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 9Виталий Осипов
- Полиномиальная иерархияДаниил Мусатов
- Понятие бесконечностиАлексей Марченко
- Примеры реализации алгоритмов и решения задач с помощью GPUЭдуард Храмченков
- Программируемые языки программирования: введение в системы с открытой реализациейРоман Попов
- Программная модель CUDAЭдуард Храмченков
- Профилирование атрибутов пользователей из множества источников данных различной модальностиАлександр Фарсеев
- Рациональные интерактивные доказательства. Лекция 1Даниил Мусатов
- Рациональные интерактивные доказательства. Лекция 2Даниил Мусатов
- Редакционное расстояние и выравнивание. Лекция 1Николай Вяххи
- Редакционное расстояние и выравнивание. Лекция 2Николай Вяххи
- Семинар. Двойной храповик и Signal, и почему ими пользуются больше миллиарда людейYevgeniy Dodis
- Хроматические числа графов, жадные алгоритмы раскраски и их уточненияАндрей Райгородский
- Эффективные алгоритмы для поиска подстрок в строкахНиколай Вяххи
- Learning User Preferences from Multi-Modal DataHady W. Lauw