Найдено:
 
1690
Вид отображения:  

Лекция

Введение в язык формальной верификации Coq. Лекция 2

Антон Трунов

Дата записи: 22.09.2019
Computer Science Center

Структуры данных, основанные на указателях. Лекция 2

Елена Арсеньева

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

Структуры данных, основанные на указателях. Лекция 1

Елена Арсеньева

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

Введение в язык формальной верификации Coq. Лекция 1

Антон Трунов

Дата записи: 22.09.2019
Computer Science Center

Зачем нужен квантовый компьютер?

Все знают, что квантовый компьютер обладает большей вычислительной мощностью. Но как это работает и зачем это нужно? Станислав Страупе расскажет доступным...
Станислав Страупе

Дата записи: 29.06.2018
Старкон

Коды переменной длины: сихронизация, декомпозиция и другое. Лекция 3

Андрей Рыжиков

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

Коды переменной длины: сихронизация, декомпозиция и другое. Лекция 2

Андрей Рыжиков

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

Коды переменной длины: сихронизация, декомпозиция и другое. Лекция 1

Андрей Рыжиков

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

Локализация мобильных роботов. Обзор основных SLAM алгоритмов. Лекция 3

Кирилл Кринкин

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

Локализация мобильных роботов. Обзор основных SLAM алгоритмов. Лекция 2

Кирилл Кринкин

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

Локализация мобильных роботов. Обзор основных SLAM алгоритмов. Лекция 1

Кирилл Кринкин

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

Рациональные интерактивные доказательства. Интерактивные доказательства. Лекция 4

Даниил Мусатов

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

Доказательства с несколькими пруверами. Интерактивные доказательства. Лекция 3

Даниил Мусатов

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

IP=PSPACE. Интерактивные доказательства. Лекция 2

Даниил Мусатов

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

Базовая теория. Интерактивные доказательства. Лекция 1

Даниил Мусатов

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

Теоретическая информатика. Лекция 15

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

Дата записи: 25.03.2019
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Теоретическая информатика. Лекция 14

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

Дата записи: 18.03.2019
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Теоретическая информатика. Лекция 13

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

Дата записи: 11.03.2019
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 5

Виталий Брагилевский

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

Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 4

Виталий Брагилевский

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

Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 3

Виталий Брагилевский

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

Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 2

Виталий Брагилевский

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

Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 1

Виталий Брагилевский

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

Теоретическая информатика. Лекция 12

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

Дата записи: 04.03.2019
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Теоретическая информатика. Лекция 11

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

Дата записи: 25.02.2019
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Машинное обучение в Яндексе

Александр Крайнов

Дата записи: 16.02.2019

Теоретическая информатика. Лекция 10

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

Дата записи: 18.02.2019
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Теоретическая информатика. Лекция 9

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

Дата записи: 11.02.2019
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Избранные темы Computer Science. Лекция 9

Александр Шень

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

Избранные темы Computer Science. Лекция 8

Александр Шень

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

Избранные темы Computer Science. Лекция 7

Александр Шень

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

Избранные темы Computer Science. Лекция 6

Александр Шень

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

Избранные темы Computer Science. Лекция 5

Александр Шень

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

Избранные темы Computer Science. Лекция 4

Александр Шень

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

Избранные темы Computer Science. Лекция 3

Александр Шень

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

Избранные темы Computer Science. Лекция 2

Александр Шень

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

Избранные темы Computer Science. Лекция 1

Александр Шень

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

Компьютерная графика. Лекция 12

Виталий Галинский

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

Компьютерная графика. Лекция 11

Виталий Галинский

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

Компьютерная графика. Лекция 11

Виталий Галинский

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

Компьютерная графика. Лекция 10

Виталий Галинский

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

Компьютерная графика. Лекция 9

Виталий Галинский

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

Теоретическая информатика. Лекция 8

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

Дата записи: 10.12.2018
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Теоретическая информатика. Лекция 7

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

Дата записи: 10.12.2018
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Теоретическая информатика. Лекция 6

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

Дата записи: 03.12.2018
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Теоретическая информатика. Лекция 5

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

Дата записи: 26.11.2018
Математичеcкая лаборатория им. П.Л. Чебышева СПбГУ

Компьютерная графика. Лекция 8

Виталий Галинский

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

Компьютерная графика. Лекция 7

Виталий Галинский

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

Компьютерная графика. Лекция 6

Виталий Галинский

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

Introduction to Computational Social Choice. Lecture 5

Piotr Faliszewski

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

Страницы