Лекция
Экспоненциальные производящие функции:
Экспоненциальные производящие функции.
Числа Каталана, Стирлинга, Белла, Бернулли и др. Их применения.
Динамическое программирование.
Collections Framework.
Хорошо описанный в предположении абсолютной точности всех вычислений алгоритм в некоторых случаях перестает работать из-за накапливающейся погрешности...
Кластеризация.
Классификация текста.
Инкапсуляция. Конструктор копий. Оператор присваивания.
Предикатные формулы. Арифметика
Предикатные формулы (формулы I-го порядка). Интерпретации. Выразимость в арифметике. Арифметичность графика вычислимой функции...
Производящие функции:
Динамическое программирование.
Слова Штурма
Страница лекции на сайте Computer Science клуба
Слова Штурма (продолжение). Вращательные слова
Страница лекции на сайте Computer Science клуба
Комбинаторные определения сложности бесконечных слов
Страница лекции на сайте Computer Science клуба
Теория избегаемости
Страница лекции на сайте Computer Science клуба
Автоматные слова
Страница лекции на сайте Computer Science клуба
Поиск ассоциативных правил.
Продолжение обзора стандартной библиотеки. Зачем нужно ООП?
Функция Аккермана. Пропозициональные формулы
Оценка примитивно рекурсивных функций функцией Аккермана. Функция Аккермана не является примитивно рекурсивной....
Элементарные структуры данных.
Получение нескольких записей из базы шаг за шагом. Пример на JDBC. Индексы. Понятия "стоимость" запроса и план исполнения запроса. Пример.
Страница лекции на...
Кривые и поверхности в КГ
Будут рассмотрены пространственные и плоские кривые, кубические сплайны, рациональные сплайны (NURBS), бикубические поверхности,...
Развитие методов поиска и сопоставления устойчивых локальных особенностей изображения позволило добиться прогресса во многих задачах компьютерного зрения....
Математика в компьютерной графике
Будут рассмотрены 2D/3D преобразования системы координат, однородные координаты и матричное представление преобразований,...
Оценки и асимптотики для комбинаторных величин:
Математика в компьютерной графике (часть 2)
Страница лекции на сайте Computer Science клуба
Поиск похожих объектов.
Обзор стандартной библиотеки языка C. Ввод-вывод.
Формула включений-исключений:
Формула включений-исключений.
Задача о беспорядках.
Задача о разбиении множеств.
Мультиномиальные коэффициенты.
Задачи о...
Алгоритмы сортировки.
Быстрая сортировка (продолжение).
Порядковые статистики: нахождение за линейное в среднем время.
Летом 2011 компания JetBrains объявила о разработке проекта Kotlin — статически типизированного ОО-языка программирования, компилируемого для платформы Java и...
Получение одной записи из базы: что происходит шаг за шагам. Оптимизации. Кеширование соединений, запросов. Форматы сериализации данных (json, xml, etc)....
Примитивно рекурсивные и частично рекурсивные функции
Примитивно рекурсивные функции: примеры. Примитивная рекурсивность вычислимых функций за примитивно...
Глобальная память, стек, куча. Динамическое выделение памяти.
Теорема о неподвижной точки (окончание). Машины Тьюринга
Главные универсальные функции. Вывод теоремы Успенского-Райса из теоремы Клини. Машины Тьюринга....
Введение в ООП на Java (2).
Алгоритмы сортировки.
Сортировка слиянием: с рекурсией и без.
Сортировка с помощью кучи.
Нижняя оценка Ω (n log n) для сортировки.
Быстрая сортировка: анализ...
Что такое транзакция. Зачем она нужна. Свойства ACID. Особенности распределенного состояния данных. CAP теорема. CAP "сказка". Понятие BASE.
Страница лекции на...
Основы комбинаторики:
Основные комбинаторные величины и простейшие комбинаторные формулы.
Числа сочетания (с повторениями и без повторений), числа размещения (...
Цвет
Формальные грамматики — это прикладная логика, предназначенная для задания синтаксиса языков, Применение грамматик тесно связано с алгоритмами для...
Поиск похожих объектов. MapReduce.
Теорема Успенского-Райса, теорема о неподвижной точке
m-сведения, другие примеры неразрешимых множеств. Последовательность Шпеккера. Теорема Успенского-Райса....