Результат фильтрации: 346 элементов

Внимание! Видеоматериалы, размещённые в данном разделе, представлены из открытых интернет-источников в исходном виде. В связи с этим Администрация сайта profspo.ru не несёт ответственности за содержание данных материалов и не является их правообладателем. Использование на сайте материалов из открытых интернет-источников осуществляется в соответствии со ст. 1274 ГК РФ («Свободное использование произведения в информационных, научных, учебных или культурных целях»).

Лекция 7 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский

Лекция 7 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/29858 Другие лекции по курсу "Программирование с зависимыми типами на языке Idris"…

Программирование

Лекция 7 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум

Лекция 7 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13208 Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление…

Программирование

Лекция 7 | Функциональное программирование | Евгений Кирпичёв | Лекториум

Лекция 7 | Курс: Функциональное программирование | Лектор: Евгений Кирпичёв | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13153 В этой лекции на примере программы для упрощения выражений иллюстрируется ряд идей, связанных с…

Программирование

Лекция 7 | Языки программирования и компиляторы (2013) | Дмитрий Булычев | CSC | Лекториум

Лекция 7 | Курс: Языки программирования и компиляторы (2013) | Лектор: Дмитрий Булычев | Организатор: Computer Science Center Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14737 Динамическая семантика языков программирования. Реализация простейшего однопроходного компилятора с…

Программирование

Лекция 7. Часть 1 | Виртуализация и виртуальные машины | Николай Иготти | Лекториум

Лекция 7. Часть 1 | Курс: Виртуализация и виртуальные машины | Лектор: Николай Иготти | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/12968 Другие лекции по курсу "Виртуализация и виртуальные машины" доступны для просмотра по ссылке:…

Программирование

Лекция 7. Часть 2 | Виртуализация и виртуальные машины | Николай Иготти | Лекториум

Лекция 7. Часть 2 | Курс: Виртуализация и виртуальные машины | Лектор: Николай Иготти | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/12969 Другие лекции по курсу "Виртуализация и виртуальные машины" доступны для просмотра по ссылке:…

Программирование

Лекция 8 | Базы данных (2013) | Вадим Цесько | CSC | Лекториум

Лекция 8 | Курс: Базы данных (2013) | Лектор: Вадим Цесько | Организатор: Computer Science Center Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14783 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Программирование

Лекция 8 | Вычисления на GPU. Основные подходы, архитектура, оптимизации | Алексей Ивахненко

Лекция 8 | Курс: Вычисления на GPU. Основные подходы, архитектура, оптимизации | Лектор: Алексей Ивахненко | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/29928 Другие лекции по курсу "Вычисления на GPU. Основные подходы, архитектура,…

Программирование

Лекция 8 | Дополнительные главы алгоритмов (2014) | Павел Маврин | Лекториум

Лекция 8 | Курс: Дополнительные главы алгоритмов (2014) | Лектор: Павел Маврин | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/25649 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Программирование

Лекция 8 | Линейное программирование | Максим Бабенко | Лекториум

Лекция 8 | Курс: Линейное программирование | Лектор: Максим Бабенко | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13283 Задача о максимальном разрезе в ненаправленном графе. Рандомизированное 2-приближениеМаксимальный разрез как…

Программирование

Лекция 8 | Машинное обучение (2013/14) | Игорь Кураленок | CSC | Лекториум

Лекция 8 | Курс: Машинное обучение (2013/14) | Лектор: Игорь Кураленок | Организатор: Computer Science Center Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14861 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Программирование

Лекция 8 | Основы C++, первый семестр | Александр Смаль | CSC | Лекториум

Лекция 8 | Курс: Основы C++, первый семестр | Лектор: Евгений Линский | Организатор: Computer Science Center Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13433 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Программирование

Лекция 8 | Основы Java | Георгий Корнеев | CSC | Лекториум

Лекция 8 | Курс: Основы Java | Лектор: Георгий Корнеев | Организатор: Computer Science Center Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13427 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Программирование

Лекция 8 | Параллельное программирование | Евгений Калишенко | Лекториум

Лекция 8. OpenMP и Intel TBB| Курс: Параллельное программирование | Лектор: Евгений Калишенко | Организаторы: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/23247 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Программирование

Лекция 8 | Параллельные вычисления | Алексей Ивахненко | Лекториум

Лекция 8 | Курс: Параллельные вычисления с использованием стандартов MPI, OpenMP, OpenACC | Лектор: Алексей Ивахненко | Организатор: CSClub Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/32315 Другие лекции по курсу «Параллельные вычисления с использованием стандартов MPI, OpenMP, OpenACC»…

Программирование

Лекция 8 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский

Лекция 8 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/29859 Другие лекции по курсу "Программирование с зависимыми типами на языке Idris"…

Программирование

Лекция 8 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум

Лекция 8 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13209 Интуиционистская пропозициональная логика второго порядка. Представление стандартных…

Программирование

Лекция 8 | Функциональное программирование | Евгений Кирпичёв | Лекториум

Лекция 8 | Курс: Функциональное программирование | Лектор: Евгений Кирпичёв | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13154 Изменяемое состояние и модель окружений В этой лекции вводится понятие изменяемого состояния и…

Программирование

Лекция 8 | Языки программирования и компиляторы (2013) | Дмитрий Булычев | CSC | Лекториум

Лекция 8 | Курс: Языки программирования и компиляторы (2013) | Лектор: Дмитрий Булычев | Организатор: Computer Science Center Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14781 Статическая семантика и её реализация при левоатрибутном анализе. Определенность переменных, простейший…

Программирование

Лекция 8. Введение в RNN

Лекция посвящена введению в рекуррентные нейронные сети.

Программирование