01 算术几何 Arithmetic Geometry

内容: 暂定 Bhatt “Lecture notes on perfectoid spaces”

时间: 周五晚上六点到九点

地点: 理科楼某间空教室

语言: 汉语，板书英语

先修要求: 基本的代数几何，代数数论 (非阿域)

组织者: 蒋昕童

二维码:

02 函数式编程与交互式定理证明

Functional Programming and Interactive Theorem Proving

内容: 函数式编程（Lean、F#、Haskell程序设计）与交互式定理证明（数学命题的形式化与计算机证明）

时间: 周六下午13：30-15：05，不定期

地点: 致远斋B区

语言: Lean、F#、Haskell、Coq等

先修要求: 无

主讲人：杨家同

助教：张锐翀

二维码:

03 李群、李代数及其表示

Lie Groups, Lie Algebras and Their Representations

内容: 李群、李代数及其表示的数学理论，及在物理中的简单应用

时间: 每周四晚19:20——20:55，有同学请假可顺延

地点: 不定，请联系组织者获得下一次讨论地点

语言: 汉语普通话、英语，可能随当此主讲人变化，也可能混合使用

先修要求: 原则上只需要线性代数，知道李群、李代数、表示等基本概念的定义更佳

组织者: 丁徐祉晗 (求真11班)

二维码:

04 非标准分析

Nonstandard Analysis

内容: 学习非标准分析的语言，第一个目标是用非标准分析证明Bernstein-Robinson定理，参考《应用非标准分析》by Martin Davis.

时间: 周六9：30-11：30

地点: 致远斋

语言: 汉语普通话

先修要求：无

组织者: 胡煜骐

二维码: