Лекция
Характеристики запросов, источники данных, сегментация
Страница лекции на сайте Computer Science клуба
Тематическая классификация, близкие запросы
Страница лекции на сайте Computer Science клуба
Открытые проблемы
Длины кратчайших синхронизирующих слов для автоматов с различными ограничениями. Автоматы с буквой дефекта 2. Тотально синхронизируемые...
Лекция прочитана для студентов Европейского университета в Санкт-Петербурге на английском языке.
Проблема Черни для апериодических автоматов. Часть 1
Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Проблема Черни для апериодических автоматов. Часть 2
Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Автоматы и матрицы
Связь между длиной кратчайшего синхронизирующего слова синхронизируемого автомата и экспонентой его орграфа. Гибридная гипотеза. Медленно...
Творчество Вергилия (Публий Вергилий Марон). Поэма «Энеида»
Гипотеза Черни
Задача о длине кратчайшего синхронизирующего слова для автоматов с данным числом состояний. Серия Черни, нижняя оценка. Гипотеза Черни. Обзор...
Проблема раскраски дорог. Часть 1
Проблема раскраски дорог. Часть 2
История и мотивация
Обзор математических и технических задач, приводящих к рассмотрению синхронизируемых автоматов.
Страница лекции на сайте Computer Science...
Алгоритмы и сложность
Алгебраические и полуалгебраические системы доказательств
Страница лекции на сайте Computer Science клуба
Гомеровский эпос. ''Илиада'' и проблема противостояния варварства и цивилизации. ''Одиссея'' и проблема творческого поиска человека (продолжение)
Комбинаторные алгоритмы
Алгоритмы для групп перестановок
Моноиды, векторный параллелизм, MapReduce
Алгоритм Симса
Нижние оценки для принципа Дирихле и корректности метода резолюций
Страница лекции на сайте Computer Science клуба
Книга Иова
Гомеровский эпос. ''Илиада'' и проблема противостояния варварства и цивилизации. ''Одиссея'' и проблема творческого поиска человека
Проблемы, эквивалентные проблеме изоморфизма
Свертки
В лекции рассматриваются списочные и обобщенные свертки как абстракции вычисления "по индукции", а также их применение к инкрементальным, параллельным...
Теорию конструирования экономических механизмов можно рассматривать, как «инженерную» сторону экономической теории. Мы начинаем с определения социальнойили...
Нижняя оценки для CP. Нижняя оценка для цейтинских формул в Res
Страница лекции на сайте Computer Science клуба
Открытие транзистора и лазера, создание идеальных гетероструктур и кремниевых интегральных схем привели к бурному развитию микро и оптоэлектроники, на основе...
Люди принимают различные решения: одолжить деньги для осуществления капиталовложения, инвестировать их в определенный проект или повлиять в какой-то мере на...
Микеланджело – превосходная исходная точка для рассмотрения того, как рождалось барокко в итальянской архитектуре. Заметно постепенное нарастание динамики,...
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Шумеро-Аккадский эпос ''О все видавшем'' и его библейские параллели
Абстракция данных
Лекция рассказывает о том, зачем нужна такая абстракция, как "составной тип данных", обсуждает абстракцию "конструкторов, селекторов и...
Проблема изоморфизма простых графов
Изоморфно-полные классы и категории
Непересекающиеся NP-пары
Страница лекции на сайте Computer Science клуба
Данные и дескрипционные логики. Ответы на запросы к базам знаний. Алгоритмы для EL и ALC. Семейство дескрипционных логик DL-Lite. Язык описания онтологий OWL....
Цикл разработки онтологий: анализ требований и области применения; повторное использование; перечисление терминов; определение классов; определение свойств;...
Зоопарк дескрипционных логик. Оптимизация логического анализа в ALC. Модуляризация онтологий. Семантическая локальность
Страница лекции на сайте Computer...
Модуляризация онтологий: синтаксическая локальность. Алгоритм выделения модулей. Элементы данных и ABox. Запросы к ABox.
Страница лекции на сайте Computer...
Моделирование секущих плоскостей в системах Фреге, оптимальные системы
Страница лекции на сайте Computer Science клуба
Искусство как духовное, контекстуальное явление. Феномен духовности как рефлективно-смысловой установки поведения человека
Полиномиальный алгоритм для задачи классификации в дескрипционной логике EL.
Страница лекции на сайте Computer Science клуба
Дескрипционная логика ALC. Алгоритм проверки реализуемости ALC-концептов.
Страница лекции на сайте Computer Science клуба
Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с...
Явное представление знаний. Онтологии в информатике. Примеры онтологий. Языки представления онтологий. RDF/S и его критика.
Страница лекции на сайте Computer...
Понятие дескрипционной логиги. Дескрипционная логика EL.
Страница лекции на сайте Computer Science клуба
Системы Фреге
Страница лекции на сайте Computer Science клуба