Лекция
Ревизия курса: структуры данных, представление данных в памяти, на диске, в сети. Типы баз данных. NoSQL как часть MySQL. Архитектура хранения данных - на...
Предельные теоремы.
Закон больших чисел для схемы Бернулли.
Локальная и интегральная предельные теоремы Муавра-Лапласа для схемы Бернулли.
Теорема Пуассона....
Декомпозиция графов (продолжение).
Поиск в глубину в ориентированных графах: ориентированные ациклические графы, топологическая сортировка вершин, наличие...
Компьютерная графика реального времени
На заключительной лекции рассматриваются некоторые аспекты программирования задач компьютерной графики в реальном...
Анализ данных для Интернет рекламы.
GraphDB: Понятие граф. Применения. Типы графов. Хранение графов в разных типах баз. Что такое GraphDB. Neo4j. Установка. Пример использования: загружаем...
Ультрафильтры и теорема о компактности
Гильбертовское исчисление предикатов. Генценское исчисление секвенций.
Страница лекции на сайте Computer Science Center
Случайные величины:
Случайные величины.
Функции распределения.
Независимые случайные величины.
Математическое ожидание и дисперсия.
Неравенства Маркова и...
Декомпозиция графов.
Графы и способы их представления, способы использования графов.
Поиск в глубину в неориентированных графах, выделение компонент связности.
Полиморфизм и виртуальные функции. Статическое и динамическое связывание.
Теории и модели
Теории, совместность и непротиворечивость, теорема о компактности. Примеры теорий. Аксиоматизация теорий с помощью элиминации кванторов....
HTML5: базы данных в браузере. WebStorage. Реакция на события. Пример использования. SessionStorage. Поддержка стандартов хранилищ в браузерах. Web SQL...
Сплей-деревья.
Верхняя оценка O (log n) на среднюю стоимость операций.
Основы теории вероятностей:
Задачи и средства многопоточного программирования.
Умные указатели (smart pointer).
Функция как элемент программирования. Функциональное программирование в Java. Плюсы подхода. Масштабируемость. MapReduce by Google. Использование. Hadoop...
Лемма Холла:
Лемма Холла и ее переформулировки.
Теорема Кенига и ее переформулировки.
Планарные графы.
Формула Эйлера (б/д).
Теорема Куратовского (б/д).
Декартовы деревья.
Декартовы деревья, операции split и merge, реализация стандартных операций деревьев поиска через split и merge.
Введение в многопоточное программирование.
Модели освещения
Рассматриваются различные модели освещения, их использование в алгоритме трассировки лучей, построение теней и вторичных лучей.
Страница...
Текстурирование
Использование текстур в компьютерной графике. Проекционные и пространственные текстуры, устранение лестничного эффекта при наложении. "...
Распределенная трассировка лучей
Рассматривается: удаление эффекта ступенчатости, объемные источники света, мягкие тени, нечеткие отражения, глубина резкости....
Выделение объектов в куче. Декомпозиция программы на части (Model-View).
Колмогоровская сложность
Колмогоровская сложность, ее невычислимость. Нижняя оценка на сложность вычисления палиндрома.
Страница лекции на сайте Computer...
Деревья, пути, циклы:
Деревья.
Двудольные графы.
Эйлеровы и Гамильтоновы пути и циклы.
Введение в трассировку лучей
Рассматривается алгоритм трассировки лучей - метод построения реалистичных изображений. Первая лекция - базовый алгоритм...
Ключевые слова static, inline. Структуры.
Разбор сценария: поисковая система. Компоненты поискового индекса. Словарь, постинг, обратный индекс. Lucene. HDFS - Hadoop File System: архитектура, элементы...
Невыразимость: автоморфизмы и эллиминация кванторов
Невыразимость: метод автоморфизмов. Элиминация кванторов. Простейшие примеры. Задача о разрезании квадрата...
Двоичные деревья поиска.
Дерево поиска: поиск, вставка, удаление, поиск следующего и предыдущего элемента за время, пропорциональное высоте.
АВЛ-дерево (или...
Доклад посвящен практическому применению методов машинного обучения для решения задач Яндекса. В частности большое внимание будет уделено проблеме ранжирования...
Визуализация в 3D
Рассматриваются этапы визуализации, представление объектов, алгоритмы удаления невидимых линий и поверхностей.
Страница лекции на сайте...
Ключевые слова const, enum, typedef.
Системы рекомендации.
Основы теории графов:
Основы теории графов.
Пути, циклы, матрица инцидентности, связность.
Дополнительный граф.
Задача Рамсея.
Изоморфизмы графов.
Новые возможности Java 5.
Разбор сценария: хранение фотографий. Что это, зачем, эволюция решений с ростом количества изображений, Haystack от Facebook.
Страница лекции на сайте Computer...
Арифметическая иерархия
Арифметическая иерархия. Универсальные множества в арифметической иерархии. Строгость арифметической иерархии. Теоремы Тарского и...