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

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

Lecture 4 | A survey of automated theorem proving | John Harrison | Лекториум

Lecture 4 | Курс: A survey of automated theorem proving | Лектор: John Harrison | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14808 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Информатика, информационные технологии и программирование

Lecture 4 | Advanced Combinatorics | Fedor Petrov | Лекториум

Lecture 4 | Автор: Fedor Petrov | Курс: Advanced Combinatorics | Организаторы: Математическая лаборатория имени П.Л. Чебышева Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/35815 Смотрите другие лекции курса «Advanced Combinatorics»: https://www.lektorium.tv/node/34990 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите…

Математика

Lecture 4 | Algebraic integrable systems and quantum Riemann surface | Лекториум

Algebraic integrable systems and quantum Riemann surface, lecture 4 | Курс: Algebraic integrable systems and quantum Riemann surface | Лектор: F. Smirnov,I. Krichever | Организатор: Математичеcкая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14661 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за…

Математика

Lecture 4 | An introduction to motivic homotopy theory | Oliver Röndigs | Лекториум

Lecture 4 | Курс: An introduction to motivic homotopy theory | Лектор: Oliver Röndigs | Организатор: Математическая лаборатория имени П.Л.Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/33025 Другие лекции курса «An introduction to motivic homotopy theory» доступны для просмотра по ссылке:…

Математика

Lecture 4 | Analysis and Geometry on Groups | Andrzej Zuk | Лекториум

Lecture 4 | Курс: Analysis and Geometry on Groups | Лектор: Andrzej Zuk | Организатор: Математическая лаборатория имени П.Л. Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/32670 Другие лекции по курсу «Analysis and Geometry on Groups» доступны для просмотра по ссылке:…

Математика

Lecture 4 | Applications of Chow motives to algebraic groups | Nikita Semenov | Лекториум

Lecture 4 | Курс: Applications of Chow motives to algebraic groups | Лектор: Nikita Semenov | Организатор: Математическая лаборатория имени П.Л.Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/33041 Другие лекции курса «Applications of Chow motives to algebraic groups» доступны для просмотра по ссылке:…

Математика

Lecture 4 | Arithmetic on rationally connected varieties: rational points and zero-cycles

Lecture 4 | Курс: Arithmetic on rationally connected varieties: rational points and zero-cycles | Лектор: Jean-Louis Colliot-Thélène | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/26332 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Математика

Lecture 4 | Branching random walks | Zhan Shi | Лекториум

Lecture 4 | Курс: Branching random walks | Лектор: Zhan Shi | Организатор: Математическая лаборатория имени П.Л. Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/30382 Другие лекции курса «Branching random walks» доступны для просмотра по ссылке: https://www.lektorium.tv/ZpY Подписывайтесь на канал:…

Математика

Lecture 4 | Chern-Simons theory, knot homology and quantum curves | S. Gukov | СПбГУ | Лекториум

Lecture 4 | Курс: Chern-Simons theory, knot homology and quantum curves | Лектор: S. Gukov | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14589 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Математика

Lecture 4 | Cohomology: differential, etale and motivic cohomology theories | I. Panin | Лекториум

Lecture 4 | Курс: Cohomology: differential, etale and motivic cohomology theories | Лектор: I. Panin | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14590 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Математика

Lecture 4 | Eigensystems of non-self-adjoint operators | Boris Mityagin | Лекториум

Lecture 4 | Курс: Eigensystems of non-self-adjoint operators | Лектор: Boris Mityagin | Организатор: Математическая лаборатория имени П.Л. Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/30291 Другие лекции курса «Eigensystems of non-self-adjoint operators» доступны для просмотра по ссылке:…

Математика

Lecture 4 | First order dilation invariant inequalities, their extremals and applications

Lecture 4 | Курс: First order dilation invariant inequalities, their extremals and applications | Лектор: Roberta Musina | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/24291 Lecture 4. Symmetry and breaking symmetry. Rellich and Rellich-Sobolev inequalities: known facts and open problems, time…

Математика

Lecture 4 | From univariate polynomials to probabilistically checkable | Petteri Kaski | Лекториум

Lecture 4 | Курс: From univariate polynomials to probabilistically checkable and error-tolerant proofs | Лектор: Petteri Kaski | Организатор: CSClub Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/33658 Другие лекции по курсу «From univariate polynomials to probabilistically checkable and error-tolerant proofs» доступны для просмотра по ссылке:…

Информатика, информационные технологии и программирование

Lecture 4 | Growth processes | Michel Zinsmeister | Лекториум

Lecture 4 | Курс: Growth processes | Лектор: Michel Zinsmeister | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13342 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Математика

Lecture 4 | Hankel operators and problems for matrix-valued functions | Vladimir Peller | Лекториум

Lecture 4 | Курс: Hankel operators and approximation and factorization problems for matrix-valued functions | Лектор: Vladimir Peller | Организатор: Математическая лаборатория имени П.Л. Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/30766 Другие лекции курса «Hankel operators and approximation and factorization problems for matrix-valued…

Математика

Lecture 4 | Harmonic analysis methods and the regularity problem for PDEs with discontinuous data

Lecture 4 | Курс: Harmonic analysis methods and the regularity problem for PDEs with discontinuous data | Лектор: Dian K. Palagachev | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/27100 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Математика

Lecture 4 | Introduction to Computational Social Choice | Piotr Faliszewski | Лекториум

Lecture 4 | Курс: Introduction to Computational Social Choice | Лектор: Piotr Faliszewski | Организатор: CSClub Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/33665 Другие лекции по курсу «Introduction to Computational Social Choice» доступны для просмотра по ссылке: https://www.lektorium.tv/node/33660https://www.lektorium.tv/node/33667 Подписывайтесь на…

Информатика, информационные технологии и программирование

Lecture 4 | Introduction to Topological Quantum Field Theories | Andrey Losev | Лекториум

Lecture 4 | Курс: Introduction to Topological Quantum Field Theories | Лектор: M. Marino | Организатор: Математическая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14592 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями: https://vk.com/openlektorium https://www.facebook.com/openlektorium

Математика

Lecture 4 | Mirror symmetry: quantum cohomology, Landau-Ginzburg models & D-branes | Лекториум

Лекция: Mirror symmetry: quantum cohomology, Landau-Ginzburg models & D-branes. Lecture 4 | Курс: Mirror symmetry: quantum cohomology, Landau-Ginzburg models & D-branes | Лектор: D. Orlov | Организатор: Математичеcкая лаборатория имени П.Л.Чебышева Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/14648 Подписывайтесь на канал:…

Математика

Lecture 4 | Motivic cohomology, group homology and scissors congruences | Matthias Wendt | Лекториум

Lecture 4 | Курс: Motivic cohomology, group homology and scissors congruences | Лектор: Matthias Wendt | Организатор: Математическая лаборатория имени П.Л.Чебышева СПбГУ Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/33050 Другие лекции курса «Motivic cohomology, group homology and scissors congruences» доступны для просмотра по ссылке:…

Математика