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