Лекция
Абстракция данных
Лекция рассказывает о том, зачем нужна такая абстракция, как "составной тип данных", обсуждает абстракцию "конструкторов, селекторов и...
Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная...
Язык Scheme. Рекурсия и хвостовые вызовы
Непересекающиеся NP-пары
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Алгебраические и полуалгебраические системы доказательств
Страница лекции на сайте Computer Science клуба
Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление ∀. Проблемы разрешимости в полиморфном λ-исчислении в...
Техническое зрение является одной из ключевых технологий, от которых зависит развитие робототехники. В лекции будет дан краткий обзор существующих в настоящее...
Страница лекции на сайте Computer Science клуба
Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев...
k-независимые хеш-функции, конструкции. Основная лемма о хешировании для попарно независимых хеш-функций. Лемма о хешировании для 2t-независимых хеш-функций....
Страница лекции на сайте Computer Science клуба
OpenCV – набор инструментов компьютерного зрения, распространяемый бесплатно и с открытым кодом. Библиотека широко используется как в академических...
Вероятностное пространство. Простейшие свойства вероятности. Вероятностный метод. Эффективная монотонная схема для функции голосования. Линейность...
Системы типов (начало)
В лекции вводится понятие системы типов и даются начальные сведения о системе типов языка Haskell и об одном из самых важных ее...
География в запросах. ВременнЫе аспекты запросов. Перевод запросов
Страница лекции на сайте Computer Science клуба
Академические инициативы Яндекса
Страница лекции на сайте Computer Science Club
Когерентные конфигурации
Алгоритм Вейсфейлера-Лемана
Recent breakthroughs in the next-generation DNA sequencing fueled the genomics studies and revealed that some classical biological theories may be incomplete...
Изменяемое состояние и модель окружений
В этой лекции вводится понятие изменяемого состояния и тождества объектов, а также показывается, как при этом...
Умеренно-экспоненциальный алгоритм распознавания изоморфизма
В этой лекции на примере программы для упрощения выражений иллюстрируется ряд идей, связанных с "предметными языками" (DSL):
Распознавание изоморфизма кубических графов
Характеристики запросов, источники данных, сегментация
Страница лекции на сайте Computer Science клуба
Тематическая классификация, близкие запросы
Страница лекции на сайте Computer Science клуба
Открытые проблемы
Длины кратчайших синхронизирующих слов для автоматов с различными ограничениями. Автоматы с буквой дефекта 2. Тотально синхронизируемые...
Проблема Черни для апериодических автоматов. Часть 2
Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Автоматы и матрицы
Связь между длиной кратчайшего синхронизирующего слова синхронизируемого автомата и экспонентой его орграфа. Гибридная гипотеза. Медленно...
Проблема Черни для апериодических автоматов. Часть 1
Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Гипотеза Черни
Задача о длине кратчайшего синхронизирующего слова для автоматов с данным числом состояний. Серия Черни, нижняя оценка. Гипотеза Черни. Обзор...
Проблема раскраски дорог. Часть 1
Проблема раскраски дорог. Часть 2
История и мотивация
Обзор математических и технических задач, приводящих к рассмотрению синхронизируемых автоматов.
Страница лекции на сайте Computer Science...
Алгоритмы и сложность
Комбинаторные алгоритмы
Алгоритмы для групп перестановок
Моноиды, векторный параллелизм, MapReduce
Алгоритм Симса
Нижние оценки для принципа Дирихле и корректности метода резолюций
Страница лекции на сайте Computer Science клуба
Проблемы, эквивалентные проблеме изоморфизма
Свертки
В лекции рассматриваются списочные и обобщенные свертки как абстракции вычисления "по индукции", а также их применение к инкрементальным, параллельным...
Нижняя оценки для CP. Нижняя оценка для цейтинских формул в Res
Страница лекции на сайте Computer Science клуба
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...