- Видео 30
- Просмотров 64 784
Computer Science клуб при НГУ
Добавлен 23 сен 2019
На канале выкладываются видео лекций, прочитанных в Computer Science клубе при НГУ в Новосибирске.
Computer Science клуб - это открытые лекции и курсы. В клубе любой желающий может познакомиться с классическими результатами, современным положением дел и открытыми задачами в различных областях Computer Science.
Страницы новосибирского CS-клуба:
nsk.compsciclub.ru/
csclubnsu
Computer Science клуб - это открытые лекции и курсы. В клубе любой желающий может познакомиться с классическими результатами, современным положением дел и открытыми задачами в различных областях Computer Science.
Страницы новосибирского CS-клуба:
nsk.compsciclub.ru/
csclubnsu
Лекция 4
Лекция №4 в курсе "Сложность пропозициональных доказательств".
Содержание лекции: Игровая характеризация ширины резолюционного доказательства. Оценка памяти нужной для реализации доказательства через ширину.
Система доказательств секущие плоскости (cutting planes). Моделирование резолюции, короткое доказательство принципа Дирихле.
Преподаватель курса: Дмитрий Михайлович Ицыксон - кандидат физико-математических наук, старший научный сотрудник лаборатории математической логики ПОМИ РАН, преподаватель в Академическом университете.
Содержание лекции: Игровая характеризация ширины резолюционного доказательства. Оценка памяти нужной для реализации доказательства через ширину.
Система доказательств секущие плоскости (cutting planes). Моделирование резолюции, короткое доказательство принципа Дирихле.
Преподаватель курса: Дмитрий Михайлович Ицыксон - кандидат физико-математических наук, старший научный сотрудник лаборатории математической логики ПОМИ РАН, преподаватель в Академическом университете.
Просмотров: 192
Видео
Лекция 5
Просмотров 964 года назад
Лекция 5 в курсе "Сложность пропозициональных доказательств" Содержание лекции: Монотонные булевы и вещественные схемы. Метод монотонной интерполяции для системы секущие плоскости. Формула раскрашиваемость клики и нижняя оценка для нее. Преподаватель курса: Дмитрий Михайлович Ицыксон - кандидат физико-математических наук, старший научный сотрудник лаборатории математической логики ПОМИ РАН, пре...
Лекция 2. Современные шифры и универсальные методы криптоанализа.
Просмотров 2,7 тыс.4 года назад
Лекция 2 в курсе "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 3. Линейный и дифференциальный криптоанализ
Просмотров 4 тыс.4 года назад
Лекция 3 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 4. Алгебраический криптоанализ.
Просмотров 1,9 тыс.4 года назад
Лекция 4 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 6. "Нечестный" криптоанализ: атаки по сторонним каналам
Просмотров 6104 года назад
Лекция 6 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 7. Криптоанализ асимметричных систем: алгоритмы факторизации
Просмотров 5974 года назад
Лекция 7 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 8. Криптоанализ асимметричных систем: дискретное логарифмирование
Просмотров 1,1 тыс.4 года назад
Лекция 8 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 1. Криптоанализ: история, философия, подходы.
Просмотров 4 тыс.4 года назад
Лекция 1 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 5. Криптографические свойства булевых функций
Просмотров 1,2 тыс.4 года назад
Лекция 5 курса "Основы криптоанализа" в Computer Science клубе при НГУ, февраль 2020. Лекции читает Наталья Николаевна Токарева, к.ф.-м.н., с.н.с. Института математики им. С.Л.Соболева, руководитель Лаборатории криптографии JetBrains Research, руководитель Криптографического Центра (Новосибирск), доцент НГУ.
Лекция 1. Библиотеки, утилиты, средства разработки, сборка (Эффективное использование С++)
Просмотров 8 тыс.5 лет назад
Лекция №1 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 2. Работа с памятью. Утечки ресурсов. RAII, умные указатели (Эффективное использование С++)
Просмотров 7 тыс.5 лет назад
Лекция №2 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 5. Multithreading in C++ (потоки, блокировки, задачи, атомарные операции, очереди сообщений)
Просмотров 22 тыс.5 лет назад
Лекция №5 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 3. Move semantics, rvalue reference, perfect forwarding.
Просмотров 3,7 тыс.5 лет назад
Лекция №3 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 4. Callbacks: lambda, bind & function.
Просмотров 2,9 тыс.5 лет назад
Лекция №4 в курсе "Эффективное использование С " Преподаватель Валерий Михайлович Лесин
Лекция 6. Обзор возможностей современных стандартов C++
Просмотров 2,7 тыс.5 лет назад
Лекция 6. Обзор возможностей современных стандартов C
Лекция 2. Протоколы пропорционального дележа
Просмотров 1015 лет назад
Лекция 2. Протоколы пропорционального дележа
Лекция 3. Протоколы дележа без зависти
Просмотров 1185 лет назад
Лекция 3. Протоколы дележа без зависти
Лекция 4. Обзор расширений основной модели
Просмотров 385 лет назад
Лекция 4. Обзор расширений основной модели
Лекция 1. Общая постановка задачи в случае частных благ
Просмотров 1435 лет назад
Лекция 1. Общая постановка задачи в случае частных благ
Лекция 4 (Двойственность в комбинаторной оптимизации)
Просмотров 555 лет назад
Лекция 4 (Двойственность в комбинаторной оптимизации)
Лекция 3 (Двойственность в комбинаторной оптимизации)
Просмотров 755 лет назад
Лекция 3 (Двойственность в комбинаторной оптимизации)
Лекция 2 (Двойственность в комбинаторной оптимизации)
Просмотров 695 лет назад
Лекция 2 (Двойственность в комбинаторной оптимизации)
Лекция 1 (Двойственность в комбинаторной оптимизации)
Просмотров 4845 лет назад
Лекция 1 (Двойственность в комбинаторной оптимизации)
Лекция 5 (Двойственность в комбинаторной оптимизации)
Просмотров 425 лет назад
Лекция 5 (Двойственность в комбинаторной оптимизации)
Лекция 6 (Двойственность в комбинаторной оптимизации)
Просмотров 575 лет назад
Лекция 6 (Двойственность в комбинаторной оптимизации)