Лекция
Слова Штурма
Страница лекции на сайте Computer Science клуба
Слова Штурма (продолжение). Вращательные слова
Страница лекции на сайте Computer Science клуба
Комбинаторные определения сложности бесконечных слов
Страница лекции на сайте Computer Science клуба
Теория избегаемости
Страница лекции на сайте Computer Science клуба
Автоматные слова
Страница лекции на сайте Computer Science клуба
Продолжение обзора стандартной библиотеки. Зачем нужно ООП?
Поиск ассоциативных правил.
Функция Аккермана. Пропозициональные формулы
Оценка примитивно рекурсивных функций функцией Аккермана. Функция Аккермана не является примитивно рекурсивной....
Элементарные структуры данных.
Получение нескольких записей из базы шаг за шагом. Пример на JDBC. Индексы. Понятия "стоимость" запроса и план исполнения запроса. Пример.
Страница лекции на...
Математика в компьютерной графике
Будут рассмотрены 2D/3D преобразования системы координат, однородные координаты и матричное представление преобразований,...
Оценки и асимптотики для комбинаторных величин:
Математика в компьютерной графике (часть 2)
Страница лекции на сайте Computer Science клуба
Кривые и поверхности в КГ
Будут рассмотрены пространственные и плоские кривые, кубические сплайны, рациональные сплайны (NURBS), бикубические поверхности,...
Развитие методов поиска и сопоставления устойчивых локальных особенностей изображения позволило добиться прогресса во многих задачах компьютерного зрения....
Поиск похожих объектов.
Обзор стандартной библиотеки языка C. Ввод-вывод.
Формула включений-исключений:
Формула включений-исключений.
Задача о беспорядках.
Задача о разбиении множеств.
Мультиномиальные коэффициенты.
Задачи о...
Алгоритмы сортировки.
Быстрая сортировка (продолжение).
Порядковые статистики: нахождение за линейное в среднем время.
Получение одной записи из базы: что происходит шаг за шагам. Оптимизации. Кеширование соединений, запросов. Форматы сериализации данных (json, xml, etc)....
Летом 2011 компания JetBrains объявила о разработке проекта Kotlin — статически типизированного ОО-языка программирования, компилируемого для платформы Java и...
Примитивно рекурсивные и частично рекурсивные функции
Примитивно рекурсивные функции: примеры. Примитивная рекурсивность вычислимых функций за примитивно...
Глобальная память, стек, куча. Динамическое выделение памяти.
Теорема о неподвижной точки (окончание). Машины Тьюринга
Главные универсальные функции. Вывод теоремы Успенского-Райса из теоремы Клини. Машины Тьюринга....
Введение в ООП на Java (2).
Алгоритмы сортировки.
Сортировка слиянием: с рекурсией и без.
Сортировка с помощью кучи.
Нижняя оценка Ω (n log n) для сортировки.
Быстрая сортировка: анализ...
Что такое транзакция. Зачем она нужна. Свойства ACID. Особенности распределенного состояния данных. CAP теорема. CAP "сказка". Понятие BASE.
Страница лекции на...
Основы комбинаторики:
Основные комбинаторные величины и простейшие комбинаторные формулы.
Числа сочетания (с повторениями и без повторений), числа размещения (...
Цвет
Формальные грамматики — это прикладная логика, предназначенная для задания синтаксиса языков, Применение грамматик тесно связано с алгоритмами для...
Поиск похожих объектов. MapReduce.
Теорема Успенского-Райса, теорема о неподвижной точке
m-сведения, другие примеры неразрешимых множеств. Последовательность Шпеккера. Теорема Успенского-Райса....
Утилита make. Указатели и ссылки.
Архитектура распределенной базы данных, компоненты системы, партиционирование и шардирование данных. Master-slave репликация, журнал операций. Memcached, Redis...
Логика:
Логика высказываний.
Таблицы истинности.
Пропозициональные формулы.
Кванторы. Предикаты.
Языки логики первого порядка.
Интерпретация языков.
Введение в ООП на Java (1).
Рекуррентные соотношения.
Метод "разделяй и властвуй".
Умножение чисел: простой рекурсивный алгоритм, улучшенный рекурсивный алгоритм.
Рекуррентные соотношения...
В 2010 году была показана практическая возможность использования таргетирования рекламных объявлений в социальных сетях с целью получения скрытой информации о...
Вводное занятие
Растровая графика
Программа, состоящая из нескольких файлов. Компиляция и линковка.
Введение.
Бумажная телефонная книга. Организация информации в ней, хранение информации, операции над данными, CRUD, поиск, алгоритмы, скорость работы.
Страница лекции на...
Страницы
Конференция
В силу различных причин, Java, как язык программирования, развивалась не очень динамично. Постепенно возникла необходимость в языке для JVM, в котором в первую...
Подумать только, прошло уже целых 20 лет со дня рождения самой популярной платформы, а она по прежнему не перестает удивлять теперь уже 9 миллионов...
Java-конференция Joker 2015 University Day
Санкт-Петербург, 18.10.2015
18–20 декабря 2017 года в Мраморном зале ПОМИ РАН прошла конференция, организованная сотрудниками ПОМИ РАН при поддержке компании Huawei. Основная цель...
CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. In 2006-2009 the symposium consisted of...
На конференции рассказано о решениях от ГНУ/Линуксцентра на базе СПО для вашей организации:
Страница курса на сайте Computer Science клуба.
Курс лекций
Курс посвящён конкретным криптографическим протоколам и примитивам: RSA, эллиптической криптографии, разделению секрета, доказательствам с неразглашением. Мы ...
Этот курс лекций освещает основные способы разработки программного обеспечения, использующего графические процессоры (GPU) NVIDIA в параллельных вычислениях....