摘 要： 这个课程是上学期课程的延续，在上学期课程的基础上介绍覆盖空间、同调论的更多内容、单纯集及单纯集的同伦论。 预备知识： 单纯复形及单纯同调 参考书目： Simplicial Objects and Homotopy Groups, Le...
摘 要： 形式语义是进行程序语言研究的基础。本课程将介绍程序设计语言的形式语义，涵盖的内容包括λ演算、命令式语言的操作语义和Hoare逻辑、分离逻辑等。本课程还将介绍如何在Coq定理证明工具中形式化程序语言...
摘 要： This course reviews the publications of the recent decade on using machine learning methods in solving partial differential equations, such as Physics Informed Neural Network (PINN). The c...
摘 要: Modern cosmology rests upon the Cosmological Principle or FLRW paradigm, namely the assumption that the Universe is isotropic and homogeneous at large scales. Working within these assumptio...
摘 要： After a brief introduction to differential geometry and global supersymmetry, we will study minimal and extended supergravities in diverse dimensions. The course will be oriented towards
摘 要： 根据时间允许，该课程主要介绍如下内容： 1. Eilenberg-MacLane空间与Postnikov系统。 2. H-空间与co-H空间，Hopf代数。 3. 回路空间的同调，Bott-Samelson 定理，Dyer-Lashof运算。 4. James构造，Whit...
摘 要： Motivic cohomology, originated from Deligne, Beilinson and Lichtenbaum and developed by Voevodsky, is a kind of cohomology theory on schemes. It admits comparison with étale cohomology
摘 要： Natural Language Processing (NLP) is an important research area in Artificial Intelligence. NLP mainly studys how to use computer technology to process linguistic texts. The specific resea...
主讲人：汤珂 时 间：09:50 - 12:15, every Wednesday, 3/16/2022 - 7/6/2022 地 点：1120 Zoom ID：388 528 9728，密码：BIMSA 摘 要： 随着金融市场的发展，传统金融产品无法满足日益增加的金融需求，衍生品...
讲座提要： 黑洞是引力的神奇构造，但用量子力学工具研究时，黑洞的演化过程中信息丢失会成为令人费解的难题，因此被称为黑洞信息谜题。这些谜题即是困扰，但同时也指引了我们对量子引力理论的研究前沿。在讲座中...
