Лекция
Лекция 1. Недетерминированные машины Тьюринга. Классы P и NP. Оптимальный алгоритм Левина. Сводимости, NP-полнота.
Введение. Жизненный цикл ПО
Страница лекции на сайте Computer Science Center
Жадные алгоритмы
Общие принципы жадного метода. Непрерывная и дискретная задачи о рюкзаке. Задача о выборе заявок. Минимальное покрывающее дерево: свойство...
Пути в графах
Кратчайшие пути при наличии рёбер отрицательного веса: алгоритм Беллмана-Форда; определение наличия цикла отрицательного веса в графе. Кратчайшие...
Пути в графах.
Восстановление траектории движения камеры является ключом к созданию современных визуальных эффектов. Будут рассмотрены основные коммерческие продукты и...
Заключение.
Ревизия курса: структуры данных, представление данных в памяти, на диске, в сети. Типы баз данных. NoSQL как часть MySQL. Архитектура хранения данных - на...
Декомпозиция графов (продолжение).
Поиск в глубину в ориентированных графах: ориентированные ациклические графы, топологическая сортировка вершин, наличие...
Предельные теоремы.
Закон больших чисел для схемы Бернулли.
Локальная и интегральная предельные теоремы Муавра-Лапласа для схемы Бернулли.
Теорема Пуассона....
Лекция является введением в безопасность веб приложений. Рассматриваются распространенные типы уязвимостей в современных веб приложениях и способы обнаружения...
Лекция является введением в тематику вредоносного программного обеспечения или malware. Будут обсуждаться вирусы и черви (worms), а также способы от защиты от...
Компьютерная графика реального времени
На заключительной лекции рассматриваются некоторые аспекты программирования задач компьютерной графики в реальном...
Анализ данных для Интернет рекламы.
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...
Деревья, пути, циклы:
Деревья.
Двудольные графы.
Эйлеровы и Гамильтоновы пути и циклы.
Введение в трассировку лучей
Рассматривается алгоритм трассировки лучей - метод построения реалистичных изображений. Первая лекция - базовый алгоритм...