Лекция
Теорема о неподвижной точки (окончание). Машины Тьюринга
Главные универсальные функции. Вывод теоремы Успенского-Райса из теоремы Клини. Машины Тьюринга....
Алгоритмы сортировки.
Сортировка слиянием: с рекурсией и без.
Сортировка с помощью кучи.
Нижняя оценка Ω (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...
Введение.
Программа, состоящая из нескольких файлов. Компиляция и линковка.
Derivation of Polubarinova-Galin equation and Lowner equation from Hele-Shaw equation. Lowner chains. Equivalence between lowner chains and some measurable...
Вычислимые функции, разрешимые и перечислимые множества
Бумажная телефонная книга. Организация информации в ней, хранение информации, операции над данными, CRUD, поиск, алгоритмы, скорость работы.
Страница лекции на...
Рассматриваются случайные решетки (карты) на некоторой поверхности. Подробно анализируются плоские карты с корнем (planar rooted maps) выделенной гранью и...
Введение.
Вычисление чисел Фибоначчи: экспоненциальный рекурсивный алгоритм, полиномиальный алгоритм, более детальный анализ.
Время работы алгоритма, O-...
Теория множеств:
Основные понятия теории множеств.
Бинарные отношения и функции.
Рефлексивность, симметричность, транзитивность.
Взаимно-однозначные...
Мы расскажем о том, как зародилась наука о построении моделей веб-графов. Рассмотрим одну из таких моделей и обсудим, какими свойствами, близкими к свойствам...
Мы обсудим еще несколько моделей, которые с разных сторон улучшают модель из первой лекции. Изучим различные свойства веб-графов в этих моделях и, возможно,...