Математическая логика в МФТИ для ПМФ. Темы: изоморфизм ч.у.м. (продолжение); отношения эквивалентности; ядро функции; классы эквивалентности; фактор-множество; эквивалентности и разбиения.
1 view
642
169
1 year ago 02:01:58 1
Базовый курс C++ (MIPT, ILab). Lecture 14 (доп). OpenGL и Vulkan
1 year ago 01:39:17 6
Базовый курс C++ (MIPT, ILab). Lecture 18. Определители типов и SFINAE
1 year ago 01:23:56 5
Базовый курс C++ (MIPT, ILab). Lecture 16. Специализация и инстанцирование.
2 years ago 01:19:56 1
C++ lectures at MIPT (in Russian). Lecture 17. Constexpr, part 1
2 years ago 01:33:36 1
Базовый курс C++ (MIPT, ILab). Lecture 23. Последовательные контейнеры.