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

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

Лекция

 

Онтология и представление знаний. Лекция 5

Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с...
Борис Конев

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

Онтология и представление знаний. Лекция 9

Цикл разработки онтологий: анализ требований и области применения; повторное использование; перечисление терминов; определение классов; определение свойств;...
Борис Конев

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

Системы типизации лямбда-исчисления. Лекция 5

Леммы о контекстах. Типизируемость подтермов, нетипизируемые предтермы. Лемма подстановки. Теорема о редукции субъекта. Незамкнутость относительно экспансии....
Денис Москвин

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

Теория сложности доказательств. Лекция 1

Введение
Эдуард Гирш

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

Функциональное программирование. Лекция 4

Абстракция данных Лекция рассказывает о том, зачем нужна такая абстракция, как "составной тип данных", обсуждает абстракцию "конструкторов, селекторов и...
Евгений Кирпичев

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

Системы типизации лямбда-исчисления. Лекция 6

Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная...
Денис Москвин

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

Введение в метаматематику. Лекция 2

Андрей Бовыкин

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

Функциональное программирование. Лекция 2

Язык Scheme. Рекурсия и хвостовые вызовы
Евгений Кирпичев

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

Теория сложности доказательств. Лекция 4

Непересекающиеся NP-пары Страница лекции на сайте Computer Science клуба
Эдуард Гирш

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

Program Analysis for Security. Lecture 3

Страница лекции на сайте Computer Science клуба
Ben Livshits

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

Введение в метаматематику. Лекция 3

Андрей Бовыкин

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

Семантическая классификация изображений. Лекция 1

Страница лекции на сайте Computer Science клуба
Антон Конушин

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

Теория сложности доказательств. Лекция 7

Алгебраические и полуалгебраические системы доказательств Страница лекции на сайте Computer Science клуба
Эдуард Гирш

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

Системы типизации лямбда-исчисления. Лекция 7

Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление ∀. Проблемы разрешимости в полиморфном λ-исчислении в...
Денис Москвин

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

Компьютерное зрение и библиотека OpenCV. Лекция 1

Техническое зрение является одной из ключевых технологий, от которых зависит развитие робототехники. В лекции будет дан краткий обзор существующих в настоящее...
Виктор Ерухимов

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

Семантическая классификация изображений. Лекция 2

Страница лекции на сайте Computer Science клуба
Антон Конушин

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

Системы типизации лямбда-исчисления. Лекция 8

Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев...
Денис Москвин

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

Практические аспекты сетевой безопасности. Лекция 1. Вводная лекция

Денис Гамаюнов

Дата записи: 21.02.2011
Московский государственный университет
 

Функциональное программирование. Лекция 9

Системы типов (начало) В лекции вводится понятие системы типов и даются начальные сведения о системе типов языка Haskell и об одном из самых важных ее...
Евгений Кирпичев

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

Анализ поисковых запросов. Лекция 3

География в запросах. ВременнЫе аспекты запросов. Перевод запросов Страница лекции на сайте Computer Science клуба
Павел Браславский

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

Анализ поисковых запросов. Лекция 4

Академические инициативы Яндекса Страница лекции на сайте Computer Science Club
Павел Браславский

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

Проблема изоморфизма графов. Лекция 9

Алгоритм Вейсфейлера-Лемана
Илья Пономаренко

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

Проблема изоморфизма графов. Лекция 10

Когерентные конфигурации
Илья Пономаренко

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

Genome Rearrangements: from Biological Problems to Combinatorial Algorithms

Recent breakthroughs in the next-generation DNA sequencing fueled the genomics studies and revealed that some classical biological theories may be incomplete...
Павел Певзнер

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

Функциональное программирование. Лекция 8

Изменяемое состояние и модель окружений В этой лекции вводится понятие изменяемого состояния и тождества объектов, а также показывается, как при этом...
Евгений Кирпичев

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

Проблема изоморфизма графов. Лекция 8

Умеренно-экспоненциальный алгоритм распознавания изоморфизма
Илья Пономаренко

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

Функциональное программирование. Лекция 7

В этой лекции на примере программы для упрощения выражений иллюстрируется ряд идей, связанных с "предметными языками" (DSL):
Евгений Кирпичев

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

Проблема изоморфизма графов. Лекция 7

Распознавание изоморфизма кубических графов
Илья Пономаренко

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

Анализ поисковых запросов. Лекция 1

Характеристики запросов, источники данных, сегментация Страница лекции на сайте Computer Science клуба
Павел Браславский

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

Анализ поисковых запросов. Лекция 2

Тематическая классификация, близкие запросы Страница лекции на сайте Computer Science клуба
Павел Браславский

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

Синхронизируемые автоматы. Лекция 9

Открытые проблемы Длины кратчайших синхронизирующих слов для автоматов с различными ограничениями. Автоматы с буквой дефекта 2. Тотально синхронизируемые...
Михаил Волков

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

Синхронизируемые автоматы. Лекция 6

Проблема Черни для апериодических автоматов. Часть 1 Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Михаил Волков

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

Синхронизируемые автоматы. Лекция 7

Проблема Черни для апериодических автоматов. Часть 2 Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Михаил Волков

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

Синхронизируемые автоматы. Лекция 8

Автоматы и матрицы Связь между длиной кратчайшего синхронизирующего слова синхронизируемого автомата и экспонентой его орграфа. Гибридная гипотеза. Медленно...
Михаил Волков

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

Синхронизируемые автоматы. Лекция 3

Гипотеза Черни Задача о длине кратчайшего синхронизирующего слова для автоматов с данным числом состояний. Серия Черни, нижняя оценка. Гипотеза Черни. Обзор...
Михаил Волков

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

Синхронизируемые автоматы. Лекция 4

Проблема раскраски дорог. Часть 1
Михаил Волков

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

Синхронизируемые автоматы. Лекция 5

Проблема раскраски дорог. Часть 2
Михаил Волков

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

Синхронизируемые автоматы. Лекция 1

История и мотивация Обзор математических и технических задач, приводящих к рассмотрению синхронизируемых автоматов. Страница лекции на сайте Computer Science...
Михаил Волков

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

Синхронизируемые автоматы. Лекция 2

Алгоритмы и сложность
Михаил Волков

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

Проблема изоморфизма графов. Лекция 4

Комбинаторные алгоритмы
Илья Пономаренко

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

Проблема изоморфизма графов. Лекция 5

Алгоритмы для групп перестановок
Илья Пономаренко

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

Функциональное программирование. Лекция 6

Моноиды, векторный параллелизм, MapReduce
Евгений Кирпичев

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

Проблема изоморфизма графов. Лекция 6

Алгоритм Симса
Илья Пономаренко

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

Теория сложности доказательств. Лекция 6

Нижние оценки для принципа Дирихле и корректности метода резолюций Страница лекции на сайте Computer Science клуба
Эдуард Гирш

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

Проблема изоморфизма графов. Лекция 3

Проблемы, эквивалентные проблеме изоморфизма
Илья Пономаренко

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

Функциональное программирование. Лекция 5

Свертки В лекции рассматриваются списочные и обобщенные свертки как абстракции вычисления "по индукции", а также их применение к инкрементальным, параллельным...
Евгений Кирпичев

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

Теория сложности доказательств. Лекция 5

Нижняя оценки для CP. Нижняя оценка для цейтинских формул в Res Страница лекции на сайте Computer Science клуба
Эдуард Гирш

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

Введение в биоинформатику. Лекция 2

Михаил Капущевский

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

Виртуализация и виртуальные машины. Лекция 10. Часть 2

Николай Иготти

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

Виртуализация и виртуальные машины. Лекция 6. Часть 2

Николай Иготти

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

Страницы

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

Разделы

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

Медиатека

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

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

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

Партнёрам

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

Видеосъёмка

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

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

Медиагранты

Публикация

Реклама

Реквизиты

Инфо

О Лекториуме

Вакансии

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

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

Контакты

Оферта

Команда

Логотипы

Соцсети

ВКонтакте

YouTube

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