Лекция
Параллелизм
Отличия процессов и потоков
Необходимость синхронизации: гонки данных
Приоритеты потоков
Примитивы синхронизации POSIX: мьютексы, условные...
Теорема об ожидаемой полезности. Матричные игры. Седловые точки. Смешанные стратегии. Теорема о минимаксе. Бесконечные антагонистические игры.
Страница лекции...
Лекция 2. NP-полнота задач CIRCUIT-SAT и SAT. Сведение поиска к распознаванию. Существование не NP-полной не полиномиально разрешимой задачи в NP.
Жизненный цикл ПО (продолжение)
Страница лекции на сайте Computer Science Center
Алгоритм Крускала, система непересекающихся множеств. Алгоритм Крускала, система непересекающихся множеств.
Страница лекции на сайте Computer Science Center
Вероятностное пространство. Простейшие свойства вероятности. Вероятностный метод. Эффективная монотонная схема для функции голосования. Линейность...
Независимые события и случайные величины, неравенство Чебышева, закон больших чисел для попарно независимых случайных величин, закон больших чисел для t-...
Что такое функциональное программирование
Постановка задачи. Виды обучения. "Дедуктивные" и "индуктивные" методы обучения.
Страница лекции на сайте Computer Science Center
Приведение типов (explicit). Константный объект и mutable. Указатели на функции.
Введение. Краткий экскурс по теории игр
Страница лекции на сайте Computer Science Center
Введение
Лекция 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.
Введение в многопоточное программирование.
Лемма Холла:
Лемма Холла и ее переформулировки.
Теорема Кенига и ее переформулировки.
Планарные графы.
Формула Эйлера (б/д).
Теорема Куратовского (б/д).
Модели освещения
Рассматриваются различные модели освещения, их использование в алгоритме трассировки лучей, построение теней и вторичных лучей.
Страница...