Перейти к основному содержанию
  • Лекториум

  • Меню
  • Онлайн-курсы
  • Медиатека
  • Онлайн-школы
  • Courses in English
  • Войти
Найдено:
 
1690
Вид отображения:  

Лекция

 

Структурная теория сложности. Лекция 5

Теорема Карпа–Липтона. Схемы фиксированного полиномиального размера. P–полнота. NSPACE. Полиномиальные вычисления и логарифмическая память.
Эдуард Гирш

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Параллельное программирование. Лекция 4, часть 1

Роман Елизаров

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Математические основы Computer Science. Лекция 7, часть 2

Локальная лемма Ловаса. Оценки Чернова.
Дмитрий Ицыксон

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Десятая проблема Гильберта. Решение и применения в информатике. Лекция 10

Юрий Матиясевич

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Networking. Лекция 2

Antonio Carzaniga

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Алгоритм Тарского. Лекция 2

Юрий Матиясевич

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Алгоритмы для NP-трудных задач. Лекция 9

Алгоритмы расщепления Страница лекции на сайте Computer Science клуба
Александр Куликов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Формальные языки и синтаксический анализ. Лекция 6

Булевы грамматики, семантика единственного решения в сильном смысле. Нормальный вид булевых грамматик. Алгоритм Кокка-Касами–Янгера в редакции для булевых...
Александр Охотин

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Теория динамических игр. Лекция 1

Дуэль n лиц 
Алексей Савватеев

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Software Testing. Lecture 3, part 2

Mauro Pezz

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Коммуникационная сложность. Лекция 7. Часть 2

Содержание лекции
Николай Верещагин

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Криптографические протоколы. Лекция 8

Задача дискретного логарифма I Введение. Методы со сложностью O(sqrt(n)). Baby-step-giant–step. rho–метод Полларда. Алгоритмы поиска цикла: алгоритм Флойда и ...
Сергей Николенко

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Десятая проблема Гильберта. Решение и применения в информатике. Лекция 3, часть 2

Юрий Матиясевич

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Линейный вероятностный алгоритм нахождения минимального покрывающего дерева

Алгоритм и оценки времени его работы в худшем и среднем случае.
Александр Куликов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Структурная теория сложности. Лекция 6

Теорема Карпа–Липтона. Схемы фиксированного полиномиального размера. P–полнота. NSPACE. Полиномиальные вычисления и логарифмическая память.
Эдуард Гирш

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Параллельное программирование. Лекция 4, часть 2

Роман Елизаров

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Математические основы Computer Science. Лекция 8, часть 1

Метод второго момента. Порог для 4–клики. Сепараторы.
Дмитрий Ицыксон

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Дополнительные главы теории паросочетаний. Лекция 1, часть 1

Максим Бабенко

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Networking. Лекция 3

Antonio Carzaniga

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Web Research. Экономика веб-дизайна

В своей работе веб–дизайнеры должны принимать решения: (1) какие элементы разместить на странице и (2) какой приоритет дать тому или иному элементу. В...
Юрий Лифшиц

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Алгоритмы для NP-трудных задач. Лекция 10, часть 1

Точные и FPT-алгоритмы Страница лекции на сайте Computer Science клуба
Александр Куликов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Формальные языки и синтаксический анализ. Лекция 7

Узкое место алгоритма Кокка–Касами–Янгера. Разбор через умножение матриц.
Александр Охотин

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Теория динамических игр. Лекция 2, часть 1

Рекуррентная устойчивость
Даниил Мусатов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Software Verification (2009). Lecture 1

Introduction to model checking: system modeling and logic specifications.
Наталья Шарыгина

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Коммуникационная сложность. Лекция 8

Содержание лекции
Николай Верещагин

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Криптографические протоколы. Лекция 9

Задача дискретного логарифма II Метод index calculus: третья фаза и оценка сложности. Сложность решения линейной системы: алгоритм Видеманна. Идея решета...
Сергей Николенко

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Software Verification (2010). Лекция 1

Introduction to model checking: system modeling and logic specifications.
Наталья Шарыгина

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Десятая проблема Гильберта. Решение и применения в информатике. Лекция 5, часть 1

Юрий Матиясевич

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Полиномиальный алгоритм для задачи линейного программирования

Алгоритм Кармаркара
Александр Куликов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Структурная теория сложности. Лекция 7

Классы RP, BPP, PP. 2–раундовые интерактивные доказательства. Многораундовые интерактивные доказательства.
Эдуард Гирш

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Алгоритмы для NP-трудных задач. Лекция 1

Обзор Страница лекции на сайте Computer Science клуба
Александр Куликов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Математические основы Computer Science. Лекция 8, часть 2

Метод второго момента. Порог для 4–клики. Сепараторы.
Дмитрий Ицыксон

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Дополнительные главы теории паросочетаний. Лекция 1, часть 2

Максим Бабенко

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Криптографические хэш-функции. Лекция 1

Страница лекции на сайте Computer Science клуба
Илья Миронов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Web Research. Новые рекламные системы

Новые технологии (социальные сети, семантический веб, мобильный интернет) неизбежно приведут к появлению рекламных систем нового типа. Потребители хотят...
Юрий Лифшиц

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Алгоритмы для NP-трудных задач. Лекция 10, часть 2

Точные и FPT-алгоритмы Страница лекции на сайте Computer Science Club
Александр Куликов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Формальные языки и синтаксический анализ. Лекция 8

Александр Охотин

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Теория динамических игр. Лекция 2, часть 2

Рекуррентная устойчивость
Даниил Мусатов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Software Verification (2009). Lecture 2

Abstraction in model checking: Predicate abstraction; CEGAR–based software model checking.
Наталья Шарыгина

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Коммуникационная сложность. Лекция 9

Содержание лекции
Николай Верещагин

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Математические основы Computer Science. Лекция 1

Вычислимые функции, разрешимые и перечислимые множества, универсальный алгоритм, перечислимое неразрешимое множество, вычислимые вещественные числа.
Дмитрий Ицыксон

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Software Verification (2010). Лекция 2

Abstraction in model checking: Predicate abstraction; CEGAR-based software model checkin.
Наталья Шарыгина

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Десятая проблема Гильберта. Решение и применения в информатике. Лекция 5, часть 2

Юрий Матиясевич

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Полуопределённое программирование

Постановка задачи полуопределённого программирования, приближённый алгоритм для задачи о максимальном разрезе, раскраска 3–раскрашиваемого графа.
Александр Куликов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Структурная теория сложности. Лекция 8

Классы RP, BPP, PP. 2–раундовые интерактивные доказательства. Многораундовые интерактивные доказательства.
Эдуард Гирш

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Алгоритмы для NP-трудных задач. Лекция 2

Обзор Страница лекции на сайте Computer Science клуба
Александр Куликов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Математические основы Computer Science. Лекция 9, часть 1

Коды, исправляющие ошибки. Границы Хэмминга, Гилберта. Случайные коды, линейные коды. Код Хэмминга. Неравенство Синглетона. Код Рида–Соломона. Каскадные коды.
Дмитрий Ицыксон

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Дополнительные главы теории паросочетаний. Лекция 2

Максим Бабенко

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Криптографические хэш-функции. Лекция 2

Страница лекции на сайте Computer Science клуба
Илья Миронов

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН
 

Теория экономических механизмов. Аукционы. Лекция 1

Сергей Николенко

Дата записи: 01.03.2009
Computer Science клуб при ПОМИ РАН

Страницы

  • « первая
  • ‹ предыдущая
  • …
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • следующая ›
  • последняя »
Например: 07/05/2025
Например: 07/05/2025
Настройка сортировки

Разделы

Онлайн-курсы

Медиатека

Онлайн-школы

Конференция Парсек

Чаты и общение

Партнёрам

Издательство

Видеосъёмка

Обучение сотрудников

Платформа Эдуардо

Медиагранты

Публикация

Реклама

Реквизиты

Инфо

О Лекториуме

Вакансии

Поддержать проект

Правовая информация

Контакты

Оферта

Команда

Логотипы

Соцсети

ВКонтакте

YouTube

Одноклассники