Лекция
Операционная семантика большого и малого шага.
Архитектура распределенной базы данных, компоненты системы, партиционирование и шардирование данных. Master-slave репликация, журнал операций. Memcached, Redis...
Формализация: теория игр с неполной информацией. Напоминания из классической теории игр. Концепция равновесия Байеса-Нэша, примеры нахождения решения. Аукцион...
Теория вероятностей: использование неравенства Чебышёва и метода сравнения двух распределений (мартингалов) для оценок больших уклонений.
Вероятностные...
Коммуникационная сложность. Детерминированная коммуникационная сложность равенства максимальна.
Вероятностная коммуникационная сложность равенства:...
Последовательное и параллельное повторения для диалогов с одним и двумя доказывающими (формулировки вопросов).
В игре проверяющего с двумя доказывающими...
Application of mean curvature flow to General Relativity" We study 2-dimensional spheres moving in asymptotically flat 3-manifolds of non-negative scalar...
Тысячелетней давности миф про медленную Java все еще живет во многих сердцах. Рассказ Руслана — про то, как отдельные смельчаки, не верящие в мифы, ухитряются...
Разрешимые множества. Перечислимые множества как проекции разрешимых. Арифметическая иерархия. Выразимость с помощью формул первого порядка. Выразимые...
Выразимость перечислимых множеств (с помощью сведения к FRACTRAN). Множества из класса ∑2 как перечислимые с помощью оракула для проблемы остановки.
Теорема...
Уровень передачи данных или канальный уровень.
Страница лекции на сайте Computer Science Center
Подуровень управления доступом к среде. Введение в Ethernet.
Страница лекции на сайте Computer Science Center
Оценки и асимптотики для комбинаторных величин
Понятие об энтропии. Асимптотики для биномиальных коэффициентов и прочее. Оценки сумм биномиальных коэффициентов...
Surgery for mean curvature flow of 2-convex surfaces.
Кризис представлений о культуре. Часть 5
Томас Манн. Часть 1
Singularities of mean curvature flow. The formation of singularities in mean curvature flow is investigated with rescaling techniques, monotonicity formulae...
В лекции освещены мировые тенденции развития здравоохранения и затронута ситуация в области здравоохранения в России. Даниэль Васелла рассказывает о своем...
Массивы и строки в Java
Массивы:
объявление, создание, инициализация, индексация
одномерные и многомерные, представление в памяти
java.util.Arrays
Строки:
Colloquium.
Analytic and geometric properties of mean curvature flow
The lecture gives an introduction to hypersurfaces moving in normal direction in an...
25 сентября в Золотом зале ЕУСПб выступил Вячеслав Широнин (Советник, Банк России).
Компиляция и интерпретация
Смешанные вычисления. Проекции Футамуры-Ершова. Техника раскрутки (bootstrapping). Принципы организации компилятора. Просмотры,...
Функции. Функциональное программирование
Функции: как их определять? Передача параметров в функцию; Параметры по-умолчанию. Специальные аргументы -- *args и **...
Введение: что такое аукцион? Примеры аукционов, обсуждение более широкой области (дизайн экономических механизмов), обзор основных результатов. Эффективность и...
Объектно-ориентированное программирование. Классы
Классы и их синтаксис. Подробнее про области видимости и пространства имен. Объекты-классы. Объекты-...
Исчисление резолюций. Полнота и корректность.
Страница лекции на сайте Computer Science клуба
Цена игры двух лиц с нулевой суммой. Доказательство существования цены с помощью системы аффинных неравенств (теорема фон Неймана)
Нерешённые задачи: улучшение оценок в теореме Гача--Дея (о разрыве между априорной и монотонной сложностью) в терминах игры; дискретный вариант 13 проблемы...
Сводимость. Доказательство неразрешимости с помощью сведения.
Страница лекции на сайте Computer Science клуба
Понятие алгоритма. Машины Тьюринга и программы с конечным числом счётчиков. Обсуждение их возможностей, эквивалентности моделей, универсальных функций и пр...
Элементарный асимптотический анализ
Асимптотики сумм и рекуррентных последовательностей. Преобразование Абеля и теорема Штольца. Оценки и асимптотики для...
Основы пространственной и частотной обработки изображений
Гистограммы, фильтрация, градиент, нахождение границ, выделение связных компонент, бинаризация....
Канальная и пакетная коммутация. Международные стандарты. Стандартизация в телекоммуникациях. Эталонные модели. OSI. TCP/IP.
Страница лекции на сайте Computer...
Технологии физического уровня. Линии связи. Кабели связи. Модуляция. Физическое кодирование.
Страница лекции на сайте Computer Science Center
Abstract:
Примитивные типы в Java.
Примитивные и ссылочные типы.
Тип boolean.
Целочисленные типы.
Вещественные типы.
Явное и неявное преобразование типов.
Классы-обертки...
Вычислимые функции
Соотношения на биномиальные коэффициенты. Формула включений-исключений. Субфакториалы (задача о беспорядках). Формула обращения Мебиуса.
Управляющие конструкции. Списки. Кортежи
Основные комбинаторные величины и простейшие комбинаторные формулы. Числа сочетания (с повторениями и без повторений), числа размещения (с повторениями и без...
Кучи во внешней памяти. Вычисления на орграфах, time forward processing. Раскраски и независимые множества. Поиск в ширину. Связные компоненты.
Страница лекции...
Ускоренный поиск в ширину во внешней памяти. Рандомизированное разбиение графа.
Страница лекции на сайте Computer Science клуба
Кеши: стратегии замещения, ассоциативность. Cache oblivious алгоритмы. Транспонирование матриц. Деревья van Emde Boas. Бинарный поиск. Алгоритмы на потоках...
Тема выступления Ольги Черепановой:Технология индивидуальных встреч с руководителем как инструмент личностного и профессионального развития.
Модель вычислений во внешней памяти. Сканирование. Буферизация при чтении и записи. Оптимальая сортировка во внешней памяти. Задача ранжирования списка. Джойны...
Стеки, очереди и списки во внешней памяти. B-деревья. Буферизованные деревья.
Страница лекции на сайте Computer Science клуба
Введение в анализ изображений
Примеры практических задач, трудности анализа изображений, особенности зрительного восприятия человека, семантический разрыв,...
Теория множеств
Основные понятия теории множеств. Бинарные отношения и функции. Рефлексивность, симметричность, транзитивность. Взаимно-однозначные...