Лекция
GraphDB: Понятие граф. Применения. Типы графов. Хранение графов в разных типах баз. Что такое GraphDB. Neo4j. Установка. Пример использования: загружаем...
Ультрафильтры и теорема о компактности
Гильбертовское исчисление предикатов. Генценское исчисление секвенций.
Страница лекции на сайте Computer Science Center
Декомпозиция графов.
Графы и способы их представления, способы использования графов.
Поиск в глубину в неориентированных графах, выделение компонент связности.
Случайные величины:
Случайные величины.
Функции распределения.
Независимые случайные величины.
Математическое ожидание и дисперсия.
Неравенства Маркова и...
Коллоквиум лаборатории Чебышева.
Полиморфизм и виртуальные функции. Статическое и динамическое связывание.
Теории и модели
Теории, совместность и непротиворечивость, теорема о компактности. Примеры теорий. Аксиоматизация теорий с помощью элиминации кванторов....
HTML5: базы данных в браузере. WebStorage. Реакция на события. Пример использования. SessionStorage. Поддержка стандартов хранилищ в браузерах. Web SQL...
Сплей-деревья.
Верхняя оценка O (log n) на среднюю стоимость операций.
Мы рассмотрим различные классы асимптотически голоморфных функций (то есть функций с малой $barpartial$-производной) и обсудим их приложения к...
Задачи и средства многопоточного программирования.
Основы теории вероятностей:
Мы рассмотрим различные классы асимптотически голоморфных функций (то есть функций с малой $barpartial$-производной) и обсудим их приложения к...
В первой части доклада мы обсудим некоторые классические задачи о подсчете количества путей между двумя точками. Самой известным примером является, по-видимому...
Умные указатели (smart pointer).
Функция как элемент программирования. Функциональное программирование в Java. Плюсы подхода. Масштабируемость. MapReduce by Google. Использование. Hadoop...