Надеемся, что наша предыдущая подборка больших курсов и школ факультета компьютерных наук ВШЭ помогла вам с пользой провести майские праздники. В будни свободного времени меньше, поэтому и курсы должны быть короче. Мы собрали самые интересные мини-курсы с YouTube-канала ФКН, которые помогут быстро освежить знания или познакомиться с новой областью.
Математическая логика изучается в школе лишь на интуитивном уровне: что значит решить задачу? Что такое доказательство? Как отличить верное доказательство от неверного? Однако без понимания этих базовых понятий нельзя пользоваться аналитическим методом решения задач.
Этот курс познакомит слушателей с основаниями аналитического метода решения задач, причем не только математических. Курс поможет научиться выделять математическую составляющую задачи, понять этапы цикла доказательства и математический стиль рассуждений, познакомит с базовыми методами поиска решения.
Длительность: 8 часов.
Лектор: Андрей Гаврилюк, эксперт Центра студенческих олимпиад ФКН.
В этом мини-курсе мы рассмотрим наиболее важные направления развития современной теории оптимизации. Мы обсудим широкий спектр вопросов, связанных со сложностью задач оптимизации и с эффективными методами их решения. Особое внимание будет уделено методам решения задач большого и сверхбольшого размера, возникающих в интернет-приложениях и при анализе телекоммуникаций. Мы остановимся также на вопросах алгоритмического обоснования рациональности в экономических системах.
Длительность: 15 часов.
Лектор: Юрий Нестеров, профессор Лувенского католического университета (Бельгия), член Национальной академии наук (США). Специалист по нелинейному программированию, выпуклой оптимизации, численным методам оптимизации. Автор метода Нестерова — ускоренного варианта градиентного спуска.
Теория игр изучает конфликты и сотрудничество с помощью математики. Она находит применение в экономике и социологии, экологии и биологии, а также в других разделах математики, например, теории графов.
Этот курс — краткое введение в теорию игр. В центре курса — классические концепции решения: равновесие Нэша и ядро. Курс рассматривает матричные и биматричные игры, игры n лиц в нормальной форме, равновесие Нэша в чистых стратегиях для игр двух лиц.
Длительность: 11 часов.
Лектор: Владимир Гурвич, ведущий научный сотрудник международной лаборатории теоретической информатики ФКН ВШЭ, приглашенный преподаватель математики и компьютерных наук Университета Ратгерс (США).
Теория игр делится на некооперативную и кооперативную. Основное отличие состоит в том, что в некооперативной теории игр игрокам запрещается «сговариваться» (каждый преследует сугубо личные интересы), а в кооперативной исход игры определяется тем, на какие коалиции разобьются участники.
В рамках кооперативной теории игр было получено множество интересных, красивых и важных результатов, часть из которых будет рассмотрена в рамках мини-курса. Некоторые идеи и концепции кооперативной теории игр были положены в фундамент бурно развивающейся теории паросочетаний, которая изучает наиболее эффективные сочетания агентов с агентами или агентов с объектами в рамках заданной модели.
Длительность: 8 часов.
Лектор: Денис Соколов, выпускник ФКН, студент докторантуры в Бостонском колледже (США).
Этот курс помогает освоить основные инструменты разработчика и методы их использования: системы контроля версий, технологии непрерывной интеграции, системы трекинга, открытое ПО. Кроме того, курс объясняет, как разрабатывать программное обеспечение в команде и тестировать продукт в масштабных программных проектах.
Длительность: 9,5 часов.
Лектор: Владимир Кошелев, разработчик в JetBrains.
Схемой разделения секрета (secret sharing) называют процедуру распределения между участниками протокола «доли» секрета таким образом, что только заранее определенные авторизованные группы участников могут восстановить весь секрет. Разделение секрета является одним из классических инструментов в криптографии; его используют во многих криптографических протоколах.
В этом курсе мы опишем несколько важных типов схем разделения секрета и рассмотрим связь данной задачи с шенноновской теорией информации, матроидами, монотонными булевыми формулами и span programs.
Длительность: 5 часов.
Лектор: Андрей Ромащенко, научный сотрудник Института проблем передачи информации им. А. А. Харкевича РАН и лаборатории информатики, робототехники и микроэлектроники (LIRMM) в Монпелье (Франция).
В этом курсе рассматривается решение задач комбинаторной оптимизации с использованием методов метрической геометрии. Обсуждаются базовые понятия и теоремы метрической геометрии: метрические пространства, вложения метрических пространств, теорема Бургейна, иерархические разбиения метрических пространств; а также связь метрической геометрии и теории аппроксимационных алгоритмов. Приводятся решения задач Balanced Cut, Sparsest Cut, Minimum Linear Arrangement и других.
Длительность: 5 часов.
Лектор: Юрий Макарычев, доцент технологического института Toyota (США).
Классические помехоустойчивые коды шифруют сообщения кодовыми словами, позволяя однозначно восстанавливать сообщения даже из искаженных кодовых слов. Некоторым неудобством является то, что для восстановления даже одного бита сообщения, как правило, необходимо прочесть все искаженное кодовое слово. Коды с локальными процедурами декодирования — это коды, которые позволяют этого неудобства избежать.
Такие коды имеют приложения в криптографии и теории сложности вычислений. Они также широко используются для обеспечения надежности в больших распределенных системах хранения данных. В данном мини-курсе рассмотрены основные семейства кодов с локальными процедурами декодирования.
Длительность: 5 часов.
Лектор: Сергей Еханин, Microsoft Research.
Интересно, спасибо!
WC Тогда уж.