Магия F# для обработки данных: монады, провайдеры типов и немножко теории категорий
На сегодняшний день практически все слышали о функциональном языке программирования F#, но не все включили...
Microsoft Developer Russia
Алгебраическая топология | степень отображения для неориентируемых многообразий
Алгебраическая топология | степень отображения для неориентируемых многообразий Уважаемые пользователи...
Павел Шестопалов
А.М. Вершик. Универсальность и случайность в геометрии и анализе
28.09.2006 16:00 Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклов...
МЦМУ МИАН
Лекция 1 | Введение в теорию гомологий | Никита Калинин | Лекториум
Лекция 1 | Автор: Никита Калинин | Курс: Введение в теорию гомологий | Организаторы: Математическая лаборатор...
Лекториум
Проекции и отображения наборов данных в JavaScript
Примеры кода: https://github.com/HowProgrammingWorks/Projection Курс «100 лекций по программированию» https://habr.com/post/427799/ #javascript ...
Timur Shemsedinov
Лекция 69. Теория категорий
Ludmila Z
Алгебраическая топология | категория абелевых групп и функтор в неё | 1
Алгебраическая топология | категория абелевых групп и функтор в неё Уважаемые пользователи YouTube рад приве...
Павел Шестопалов
Лекция 7. Элементы функционального программирования на Java
https://compscicenter.ru/ Лекция №7 в курсе "Программирование на Java", осень 2017 (Новосибирск) Преподаватель курса: Тагир...
Computer Science Center
Функтор (математика)
Функтор (математика) Ф́унктор — особый тип отображений между категориями.Его можно понимать как отображен...
Wikitube Ru
Алгебраическая топология | категория цепных комплексов и функтор в неё | 1
Алгебраическая топология | категория цепных комплексов и функтор в неё | 1 Уважаемые пользователи YouTube...
Павел Шестопалов
Алгебраическая топология | естественное отображение теория категорий
Алгебраическая топология | естественное отображение теория категорий Уважаемые пользователи YouTube рад...
Павел Шестопалов
Алгебраическая топология | категория абелевых групп и функтор в неё | 2
Алгебраическая топология | категория абелевых групп и функтор в неё | 2 Уважаемые пользователи YouTube рад...
Павел Шестопалов
Алгебраическая топология | сингулярные гомологии это - функтор
Алгебраическая топология | сингулярные гомологии это - функтор Уважаемые пользователи YouTube рад приветство...
Павел Шестопалов
Tеория категорий. Лекция 1 (Виталий Брагилевский)
Организатор: математическая школа мехмата ЮФУ Группа ВК: https://vk.com/mmcs_math Мехмат ЮФУ, 3 марта, 2017 г.
IMMCS School of Mathematics
Добавление отображения курсов валют. Практика Python. Урок 9
Промокод на скидку 15% на все курсы ITVDN- H94BCAB Полный видео курс- ...
ITVDN
Алгебраическая топология | теория категорий | 1 | махание руками
Алгебраическая топология | теория категорий | 1 | махание руками Уважаемые пользователи YouTube рад приветство...
Павел Шестопалов
Лекция 1 | Введение в теорию гомотопий | Семен Подкорытов | Лекториум
Лекция 1 | Автор: Семен Подкорытов | Курс: Введение в теорию гомотопий | Организаторы: Математическая лаборат...
Лекториум
Алгебраическая топология | категория цепных комплексов и функтор в неё | 2
Алгебраическая топология | категория цепных комплексов и функтор в неё | 2 Уважаемые пользователи YouTube...
Павел Шестопалов
Свёртки
https://compscicenter.ru/ Свёртки списков. Правая и левая свёртки. Ленивые и энергичные версии свёрток. Моноиды. Предст...
Computer Science Center
Лекция 14.4 Гомотопическая эквивалентность
Ludmila Z
Алгебраическая топология | когомологии формальное определение
Алгебраическая топология | когомологии формальное определение Уважаемые пользователи YouTube рад приветств...
Павел Шестопалов
[C++] Умные указатели - создаем сами (Часть 2)
В этом видео Вы узнаете, что такое умные указатели, научитесь их создавать, поймете как с их помощью можно...
[it-efrem] CODE & ROBOTS
6. Дискретная математика. Изоморфизм. Гомоморфизм.
ПОМОЩЬ ПО МАТЕМАТИКЕ: http://vk.com/math_help_student Изоморфизм алгебр. Гомоморфизм алгебр. Полугруппа. Единица полугруп...
MathHelpStudent
Семинар по функциональному анализу
Преподаватель - Андроник Арамович Арутюнов Темы: Введение в теорию категорий. Понятие категории, примеры...
Центр развития электронного обучения МФТИ
Чеининг функций и объектов, обработка ошибок в JavaScript
Чеининг: https://github.com/HowProgrammingWorks/Chaining Обработка ошибок: https://github.com/HowProgrammingWorks/Errors Курс «Основы ...
Timur Shemsedinov
Elixir tutorial - 10 протоколы
ставьте скорость 2.x функторы - https://habr.com/ru/post/183150/ запутался я чего-то, это же Maybe, конструктор None это ведь,...
Dima Neman
Моноид в категории эндофункторов? Денис Шевченко
Определение монады давно стало мемом в сообществе. В самом деле, это всего лишь моноид в категории эндофунк...
FPURE
Семинар Новикова, 29 октября 2014 года
Федор Воронов, (University of Manchester, UK): Морфизмы L-бесконечность алгебр (т.е., гомотопического аналога алгебр Ли)...
Dubrovinlab
Category Theory 4.1: Terminal and initial objects
Terminal and initial objects.
Bartosz Milewski
C++ Advanced. Вывод типов при использовании шаблонов, auto и decltype. Урок 1
Промокод на скидку 15% на все курсы ITVDN- H94BCAB Полный видео курс- ...
ITVDN
Монады. Экспликация
Павел Петлинский (Rambler&Co) @ Moscow Python Meetup 44 "В докладе мы разберемся, что за зверь такой эта "Монада", и где прекра...
MoscowPython
Лекция 2 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
Лекция 2 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб...
Лекториум
Антипаттерны Node.js. Тимур Шемсединов. JS Fest 2019 Autumn
The talk from JS Fest conference 2019 Autumn in Kyiv, Ukraine. Антипаттерны Node.js Антипаттерны структуры и архитектуры серверов прилож...
Fest Group
Лекция 75. Теория категорий
Ludmila Z
Лекция 03-2. Классы типов.
В этой лекции рассматриваются классы типов. Ссылка на проект моделирования космического мусора — https://github....
Nickolay Kudasov
О СОВРЕМЕННОЙ КУЛЬТУРЕ И ОБРАЗОВАНИИ
Фрагмент программы "Острова". Владимир Игоревич Арнольд (12 июня 1937, Одесса — 3 июня 2010, Париж) — советский...
100klass
Математически обоснованое программирование. Лекция 4. Введение в теорию категорий
The lecture was read by Sergii Grechko (https://www.linkedin.com/in/sergii-grechko-590b06148) If you want to join lectures or fellowship - our channel in ...
cSharp.Company
Category Theory 5.1: Coproducts, sum types
Coproducts, sum types.
Bartosz Milewski
3 Maybe Monad in JavaScript
https://www.fluidinfunctional.com/maybe-monad/ The problem of null or undefined is one of the biggest problems in computation theory. If we want to write ...
Functional Bits
Scala Courses by Klika Tech, Class #5 (RU)
Занятие 5 План занятия: 5.1 Pattern matching - Pattern matching expression - Extractors 5.2 For-loops and for-comprehensions - For-comprehensions in ...
Klika Tech
Алгебраическая топология | коцепной комплекс
Алгебраическая топология | коцепной комплекс Уважаемые пользователи YouTube рад приветствовать вас на моём...
Павел Шестопалов
безымянные функции (лямбды) в C++ 11 и 14
г. Екатеринбург, 28 июня 2014 г. Иван Крюков (Яндекс) мини-конференция С++ разработчиков http://ekbcpp.ru/ https://vk.com/kubykupa.
Rural Rustic