Лекция
Алгоритмы и сложность
Алгебраические и полуалгебраические системы доказательств
Страница лекции на сайте Computer Science клуба
Алгоритмы для групп перестановок
Моноиды, векторный параллелизм, MapReduce
Алгоритм Симса
Комбинаторные алгоритмы
Нижние оценки для принципа Дирихле и корректности метода резолюций
Страница лекции на сайте Computer Science клуба
Свертки
В лекции рассматриваются списочные и обобщенные свертки как абстракции вычисления "по индукции", а также их применение к инкрементальным, параллельным...
Проблемы, эквивалентные проблеме изоморфизма
Нижняя оценки для CP. Нижняя оценка для цейтинских формул в Res
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Абстракция данных
Лекция рассказывает о том, зачем нужна такая абстракция, как "составной тип данных", обсуждает абстракцию "конструкторов, селекторов и...
Проблема изоморфизма простых графов
Изоморфно-полные классы и категории
Непересекающиеся NP-пары
Страница лекции на сайте Computer Science клуба
Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для EL и ALC. Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL....
Цикл разработки онтологий: анализ требований и области применения; повторное использование; перечисление терминов; определение классов; определение свойств;...
Модуляризация онтологий: синтаксическая локальность. Алгоритм выделения модулей. Элементы данных и ABox. Запросы к ABox.
Страница лекции на сайте Computer...
Зоопарк дескрипционных логик. Оптимизация логического анализа в ALC. Модуляризация онтологий. Семантическая локальность
Страница лекции на сайте Computer...
Моделирование секущих плоскостей в системах Фреге, оптимальные системы
Страница лекции на сайте Computer Science клуба
Полиномиальный алгоритм для задачи классификации в дескрипционной логике EL.
Страница лекции на сайте Computer Science клуба
Дескрипционная логика ALC. Алгоритм проверки реализуемости ALC-концептов.
Страница лекции на сайте Computer Science клуба
Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с...
Явное представление знаний. Онтологии в информатике. Примеры онтологий. Языки представления онтологий. RDF/S и его критика.
Страница лекции на сайте Computer...
Понятие дескрипционной логиги. Дескрипционная логика EL.
Страница лекции на сайте Computer Science клуба
Системы Фреге
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Функции высшего порядка и замыкания
В лекции рассматривается на примерах идея абстрагирования вычислительных процессов с помощью функций высшего порядка и...
Язык Scheme. Рекурсия и хвостовые вызовы
Введение
Страница лекции на сайте Computer Science клуба
Дуэль n лиц
Рекуррентная устойчивость
Рекуррентная устойчивость
Introduction to model checking: system modeling and logic specifications.
Abstraction in model checking: Predicate abstraction; CEGAR–based software model checking.