Шамин Роман Вячеславович о своей книге "Математические вопросы волн-убийц"
О книге: Книга посвящена актуальной теме возникновения волн-убийц в океане. Эти волны экстремальной амплит...
URSS
Логические выражения, таблицы истинности ,структурная логическая схема
Конъюнкция, Дизъюнкция, Инверсия, Отрицание, Импликация, Следование. Таблица истинности. Логическая схема....
TheZxline
Лекция 2. С.Л. Кузнецов. Теорема о неподвижной точке. Представимость примитивно-рекурсивных функц...
Лекционные курсы Научно-образовательного центра МИАН Вычислительная теория доказательств и лямбда-исчисл...
МЦМУ МИАН
Математическая физика
Курс посвящен основным аналитическим методам математической физики и является естественным продолжением...
Санкт-Петербургский Политехнический Университет Петра Великого
Ведущие ученые-математики России и мира обсуждают в САФУ вопросы науки и образования
Сегодня в Северном (Арктическом) федеральном университете имени М.В. Ломоносова начала свою работу Междуна...
SAFUniversity
Равенство дробей
Видео по математике, равенство дробей. Математика Для поступающих в ВУЗы Математика для абитуриентов Скол...
Артем МатЛектор
А.М.Филимонов. Методы функционального анализа в математической физике. Лекция 9.
Спецкурс Независимого Московского университета. 13 ноября 2015 г. 17:30, НМУ 303 (Москва, Большой Власьевский пер.,...
Math-Net.Ru
Лекция 1: Введение. Место метавычислений в Computer Science
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/1067/221/lecture/25441.
НОУ ИНТУИТ
Экономическая эффективность ИС. Часть 1
Лекция от 11.06.2014 Содержание: Метод функционального моделирования IDEF0 (00:11:28) Диаграмма А0 в нотации IDEF0 (00:16:42)...
Ярослав Игоревич
Лекция 1: Обзор курса и введение в тензорный анализ
В лекции дается обзор курса, рассказывается о границах применения теории. Начинается введение в тензорное...
НОУ ИНТУИТ
А.М.Филимонов. Методы функционального анализа в математической физике. Лекция 8.
Напоминаем слушателям, что 30 октября лекции не было. Видеозапись 23 октября испорчена по техническим причин...
Math-Net.Ru
8 3 Сжимающие отображения
Ирина Кузьмина
5.2 Системы функционального программирования. Основы лямбда-исчисления
Arthur Vard
26.04_17:00 (09) Глубинное обучение в вычислительной биологии и идентификация... / И.О. Корвиго
17:00 – 17:30 Глубинное обучение в вычислительной биологии и идентификация патогенных аминокислотных замен...
Конференция NGS в медицинской генетике
Математический анализ. Интегрирование и функции многих переменных / МГУ имени М. В. Ломоносова
Курс доступен по ссылке: https://openedu.ru/course/msu/MATHAN/ Автор курса: Садовничая Инна Викторовна Кандидат физико-мат...
Открытое образование
Теория обобщённых функций
См. Школа Опойцева http://oschool.ru Суть открытия теории обобщенных функций, перевернувшей "Дифференциальные...
Vi Opoytsev
Формальная верификация кода на языке Си
Доклад посвящен разработке корректного программного обеспечения с применением одного из видов статическо...
Positive Technologies
Комплексная геометрия бесконечномерных многообразий
Лекции и семинары Научно-образовательного центра Математического института им. В.А. Стеклова Российской...
МЦМУ МИАН
Методы математической физики. Обобщенные функции | Открытые лекции СПбГУ | СПбГУ | Лекториум
Методы математической физики. Обобщенные функции | Курс: Открытые лекции СПбГУ | Лектор: Алексей Пожарский...
Лекториум
Магия F# для обработки данных: монады, провайдеры типов и немножко теории категорий
На сегодняшний день практически все слышали о функциональном языке программирования F#, но не все включили...
Microsoft Developer Russia
Кобельков Г. М. - Численные методы. Часть 2 - Конечно-разностные методы
0:00:10 1. Методы Рунге-Кутта 0:11:50 2. Неявные методы 0:19:10 3. Устройство вычислительных программ 0:28:20 4. Конечно-разн...
teach-in
Теория типов
Теория типов В математике, логике и компьютерных науках теорией типов считается какая-либо формальная...
Wikitube Ru
Современные методы изучения физики и математики
ННТВ
Лекция 1 | Математическая физика чисел Гурвица | Максим Казарян | Лекториум
Лекция 1 | Курс: Аналитические, вероятностные и алгебраические методы в математической физике | Лектор: Макс...
Лекториум
8 4 Теорема о неподвижной точке
Ирина Кузьмина
Л.Д. Беклемишев. Об открытых вопросах теории доказательств
Об открытых вопросах теории доказательств Л.Д. Беклемишев. Об открытых вопросах теории доказательств 14...
МЦМУ МИАН
Лекция 4 | Группы и теория гомотопий | Роман Михайлов | Лекториум
Лекция 4 | Курс: Группы и теория гомотопий | Лектор: Роман Михайлов | Организатор: Математическая лаборатория...
Лекториум
Tеория категорий. Лекция 1 (Виталий Брагилевский)
Организатор: математическая школа мехмата ЮФУ Группа ВК: https://vk.com/mmcs_math Мехмат ЮФУ, 3 марта, 2017 г.
IMMCS School of Mathematics
Лекция 8 | Вычислительная геометрия | Кира Вяткина | Лекториум
Лекция 8 | Курс: Вычислительная геометрия | Лектор: Кира Вяткина | Организатор: Computer Science клуб при ПОМИ РАН...
Лекториум
Prey 2017. Философия игры, геймдизайн, скрытый смысл и анализ идей | Нейроэтика и Immersive Sim.
В сегодняшнем видеоэссе мы постараемся, как в старые добрые, подробно рассмотреть философию Prey 2017 года...
TVG
Монады
https://compscicenter.ru/ Монады. Класс типов Monad. Пример: монада Identity. Законы класса типов Monad. do-нотация. Монада Maybe:...
Computer Science Center
Обратные задачи математической физики (семинар №10, 19.03.2018)
Цикл семинаров "Современная математика и её приложения" кафедры математических наук ММФ и СУНЦ НГУ. Семина...
Дмитрий Гусаченко
Лекция 2 | Группы и теория гомотопий | Роман Михайлов | Лекториум
Лекция 2 | Курс: Группы и теория гомотопий | Лектор: Роман Михайлов | Организатор: Математическая лаборатория...
Лекториум
Метавычисления 03
http://www.intuit.ru - Национальный Открытый Университет "ИНТУИТ". Курс: Метавычисления и их применения. Авторы:...
НОУ ИНТУИТ
Гидродинамика и турбулентность // Сергей Куксин
Большинство физических процессов описывается уравнениями в частных производных: уравнениями на неизвестн...
Научный клуб
Лекция 14: Введение в л-исчисление
Основные модели вычислений. Синтаксис л-исчисления. Чистое и прикладное л-исчисление. Преобразования л-выр...
НОУ ИНТУИТ
Моделирование пользовательских предпочтений в мультимодальных данных. Хади Лау и Максим Ткаченко.
Поисковые системы, системы электронной коммерции, социальные сети и другие онлайн-сервисы содержат огромн...
МФТИ — Физтех
Лекция 7 | Дополнительные главы компьютерного зрения | Антон Конушин | МГУ ФВМК | Лекториум
Лекция 7 | Курс: Дополнительные главы компьютерного зрения | Лектор: Антон Конушин | Организатор: МГУ Факульт...
Лекториум
18. Теоремы о спектрах
Лекции по МАРТ (Математический аппарат радиотехники)
ETUSPB
Лекция 4 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
Лекция 4 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб...
Лекториум
Основная теорема алгебры
Maria Wertstile
Лекция 3: Векторное произведение
Лекция посвящена подробному рассмотрению векторного произведения и роли преобразования координат в тензо...
НОУ ИНТУИТ