Лекция
Математика в компьютерной графике
Будут рассмотрены 2D/3D преобразования системы координат, однородные координаты и матричное представление преобразований,...
Математика в компьютерной графике (часть 2)
Страница лекции на сайте Computer Science клуба
Кривые и поверхности в КГ
Будут рассмотрены пространственные и плоские кривые, кубические сплайны, рациональные сплайны (NURBS), бикубические поверхности,...
Развитие методов поиска и сопоставления устойчивых локальных особенностей изображения позволило добиться прогресса во многих задачах компьютерного зрения....
В лекции изложена подготовка к решению задачи о Лакуне. Первая часть лекции посвящена некоторым аспектам теории функций, аналитических в верхней полуплоскости...
В лекции изложено решение задачи о Лакуне. В первой части лекции задача о лакуне сводится к некоторой задаче об аргументе мероморфной внутренней функции. Во...
Поиск похожих объектов.
Обзор стандартной библиотеки языка C. Ввод-вывод.
В лекции обсуждается формулировка и история задачи о Лакуне. Также приводится ряд определений и примеров к ней, в частности, подробно рассматривется...
Одной из основных задач гармонического анализа является получение условий полноты (плотности линейных комбинаций) заданного семейства функций (гармоник) в...
Алгоритмы сортировки.
Быстрая сортировка (продолжение).
Порядковые статистики: нахождение за линейное в среднем время.
Формула включений-исключений:
Формула включений-исключений.
Задача о беспорядках.
Задача о разбиении множеств.
Мультиномиальные коэффициенты.
Задачи о...
Получение одной записи из базы: что происходит шаг за шагам. Оптимизации. Кеширование соединений, запросов. Форматы сериализации данных (json, xml, etc)....
Летом 2011 компания JetBrains объявила о разработке проекта Kotlin — статически типизированного ОО-языка программирования, компилируемого для платформы Java и...
Примитивно рекурсивные и частично рекурсивные функции
Примитивно рекурсивные функции: примеры. Примитивная рекурсивность вычислимых функций за примитивно...
Глобальная память, стек, куча. Динамическое выделение памяти.
Теорема о неподвижной точки (окончание). Машины Тьюринга
Главные универсальные функции. Вывод теоремы Успенского-Райса из теоремы Клини. Машины Тьюринга....
Алгоритмы сортировки.
Сортировка слиянием: с рекурсией и без.
Сортировка с помощью кучи.
Нижняя оценка Ω (n log n) для сортировки.
Быстрая сортировка: анализ...
Введение в ООП на Java (2).
Что такое транзакция. Зачем она нужна. Свойства ACID. Особенности распределенного состояния данных. CAP теорема. CAP "сказка". Понятие BASE.
Страница лекции на...
Основы комбинаторики:
Основные комбинаторные величины и простейшие комбинаторные формулы.
Числа сочетания (с повторениями и без повторений), числа размещения (...
Цвет
Формальные грамматики — это прикладная логика, предназначенная для задания синтаксиса языков, Применение грамматик тесно связано с алгоритмами для...
Поиск похожих объектов. MapReduce.
Утилита make. Указатели и ссылки.
Архитектура распределенной базы данных, компоненты системы, партиционирование и шардирование данных. Master-slave репликация, журнал операций. Memcached, Redis...
Теорема Успенского-Райса, теорема о неподвижной точке
m-сведения, другие примеры неразрешимых множеств. Последовательность Шпеккера. Теорема Успенского-Райса....
Рекуррентные соотношения.
Метод "разделяй и властвуй".
Умножение чисел: простой рекурсивный алгоритм, улучшенный рекурсивный алгоритм.
Рекуррентные соотношения...
Логика:
Логика высказываний.
Таблицы истинности.
Пропозициональные формулы.
Кванторы. Предикаты.
Языки логики первого порядка.
Интерпретация языков.
Введение в ООП на Java (1).
Вводное занятие
Растровая графика
В 2010 году была показана практическая возможность использования таргетирования рекламных объявлений в социальных сетях с целью получения скрытой информации о...
Кратко повторяются содержание и основные результаты предыдущих лекций. Применяется топологическая рекурсия для получения уравнений. Описываются основные...
Remarks about strike and bump models of Hasting-Levitov. Examples of Lowner processes driven by functions. Proof of the Carleson-Makarov theorem: for...
Введение.