更多数学类电子书（PDF）等你来探索：https://t.co/liOuORCLqT https://t.co/Xok3YyPVaG

Jeremy Sylvestre - University of Alberta, Augustana Faculty（阿尔伯塔大学 奥古斯塔纳学院）

来源：https://sites.ualberta.ca/~jsylvest/ 副教授，数学（https://www.ualberta.ca/en/augustana/programs/degree/computing-science-mathematics/index.html），理学系（https://www.ualberta.ca/en/augustana/about-us/department-of-science.html），University of Alberta（https://www.ualberta.ca/），Augustana Faculty（https://www.ualberta.ca/augustana/）

:: 联系方式

University of Alberta Augustana Campus 4901 – 46 Avenue Camrose, Alberta, Canada T4V 2R3

:: 教学

如果您需要往期课程的教学大纲，请联系 Augustana 院系行政支持人员：[[email protected]](mailto: [email protected])\。

:: 课程安排

将于 2026 年 9 月 1 日（周二）开始。

每日课程表 (https://sites.ualberta.ca/~jsylvest/schedule.html) [点击放大。]

:: 教学资料

Discover Linear Algebra（探索线性代数）

一本面向两学期线性代数课程的开放获取、探究式教材。 ::更多信息 (https://sites.ualberta.ca/~jsylvest/books/dla.html)::网页版 (https://sites.ualberta.ca/~jsylvest/books/DLA/)::源码（PreTeXt）@ Github.com (https://github.com/jjrsylvestre/dla)

Discover Linear Algebra: A first course in linear algebra（探索线性代数：线性代数入门课程）

《探索线性代数》的单学期版本。 ::网页版 (https://sites.ualberta.ca/~jsylvest/books/DLA1/)

Elementary Foundations: An introduction to topics in discrete mathematics（基础原理：离散数学专题导论）

一本侧重培养数学逻辑能力的教材，即将开放获取。 ::更多信息 (https://sites.ualberta.ca/~jsylvest/books/ef.html)::网页版 (https://sites.ualberta.ca/~jsylvest/books/EF/)

Calculus Concepts & Modelling: An introduction to the concepts of calculus（微积分概念与建模：微积分概念导论）

一本侧重于早期引入微分方程的教材。 ::网页版 (https://sites.ualberta.ca/~jsylvest/books/CCM/)

:: Augustana 教学历史

2026–27FallAUMAT 116Calculus Concepts & Modelling（微积分概念与建模）WinterAUMAT 116Calculus Concepts & Modelling（微积分概念与建模）（2 个班）AUMAT 120Linear Algebra I（线性代数 I）AUMAT 250Discrete Mathematics（离散数学）AUMAT 216Intermediate Calculus（中级微积分）2025–26FallWinterAUMAT 120Linear Algebra I（线性代数 I）BlockBlockFallAUMAT 116Calculus Concepts & Modelling（微积分概念与建模）WinterAUMAT 120Linear Algebra I（线性代数 I）Term（2 个班）TermAUMAT 216Intermediate Calculus（中级微积分）2024–25学术休假中。2023–24FallAUMAT 250Discrete Mathematics（离散数学）WinterBlockBlockFallAUMAT 116Calculus Concepts & Modelling（微积分概念与建模）WinterAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 229Introduction to Group Theory（群论导论）TermAUMAT 216Intermediate Calculus（中级微积分）AUMAT 320Numerical Linear Algebra（数值线性代数）2022–23FallAUMAT 229Introduction to Group Theory（群论导论）WinterAUMAT 120Linear Algebra I（线性代数 I）BlockBlockFallAUMAT 116Calculus Concepts & Modelling（微积分概念与建模）WinterAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 250Discrete Mathematics（离散数学）TermAUMAT 220Linear Algebra II（线性代数 II）2021–22FallAUMAT 260Topics in Geometry（几何专题）WinterAUMAT 120Linear Algebra I（线性代数 I）BlockBlockFallAUMAT 116Calculus Concepts & Modelling（微积分概念与建模）WinterAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 250Discrete Mathematics（离散数学）TermAUMAT 212Intermediate Calculus II（中级微积分 II）2020–21FallAUMAT 250Discrete Mathematics（离散数学）WinterAUMAT 120Linear Algebra I（线性代数 I）BlockBlockFallAUMAT 110Elementary Calculus I（初等微积分 I）WinterAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 229Introduction to Group Theory（群论导论）TermAUMAT 220Linear Algebra II（线性代数 II）2019–20FallAUMAT 260Topics in Geometry（几何专题）WinterBlockBlockFallAUMAT 116Elementary Calculus I（初等微积分 I）WinterAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 212Intermediate Calculus II（中级微积分 II）AUMAT 250Discrete Mathematics（离散数学）2018–19FallAUMAT 250Discrete Mathematics（离散数学）WinterBlockBlockFallAUMAT 116Elementary Calculus I（初等微积分 I）WinterAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 220Linear Algebra II（线性代数 II）AUMAT 229Introduction to Group Theory（群论导论）2017–18FallAUMAT 260Topics in Geometry（几何专题）WinterBlockBlockFallAUMAT 116Elementary Calculus I（初等微积分 I）WinterAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 120Linear Algebra I（线性代数 I）TermAUMAT 212Intermediate Calculus II（中级微积分 II）AUMAT 250Discrete Mathematics（离散数学）2016–17FallAUMAT 116Elementary Calculus I（初等微积分 I）WinterAUMAT 112Elementary Calculus II（初等微积分 II）AUMAT 120Linear Algebra I（线性代数 I）AUMAT 120Linear Algebra I（线性代数 I）AUMAT 250Discrete Mathematics（离散数学）AUMAT 220Linear Algebra II（线性代数 II）2015–16学术休假中。2014–15FallAUMAT 110Elementary Calculus I（初等微积分 I）WinterAUMAT 112Elementary Calculus II（初等微积分 II）（2 个班）AUMAT 120Linear Algebra I（线性代数 I）AUMAT 250Discrete Mathematics（离散数学）AUMAT 220Linear Algebra II（线性代数 II）2013–14FallAUMAT 101Preparation for Calculus（微积分预备）WinterAUMAT 120Linear Algebra I（线性代数 I）AUMAT 116Elementary Calculus I（初等微积分 I）AUMAT 212Intermediate Calculus II（中级微积分 II）AUMAT 250Discrete Mathematics（离散数学）2012–13FallAUMAT 110Elementary Calculus I（初等微积分 I）WinterAUMAT 112Elementary Calculus II（初等微积分 II）AUMAT 111Elementary Calculus I（初等微积分 I）AUMAT 120Linear Algebra I（线性代数 I）AUMAT 250Discrete Mathematics（离散数学）AUMAT 220Linear Algebra II（线性代数 II）2011–12FallAUMAT 111Elementary Calculus I（初等微积分 I）WinterAUMAT 120Linear Algebra I（线性代数 I）（2 个班）AUMAT 212Intermediate Calculus II（中级微积分 II）AUMAT 250Discrete Mathematics（离散数学）AUMAT 260Topics in Geometry（几何专题）2010–11FallAUMAT 110Elementary Calculus I（初等微积分 I）WinterAUMAT 112Elementary Calculus II（初等微积分 II）（2 个班）AUMAT 120Linear Algebra I（线性代数 I）AUMAT 250Discrete Mathematics（离散数学）AUMAT 220Linear Algebra II（线性代数 II）2009–10FallAUMAT 111Elementary Calculus I（初等微积分 I）WinterAUMAT 120Linear Algebra I（线性代数 I）AUMAT 250Discrete Mathematics（离散数学）AUMAT 212Intermediate Calculus II（中级微积分 II）AUMAT 260Topics in Geometry（几何专题）AUMAT 330Ordinary Differential Equations（常微分方程）2008–09FallAUMAT 111*Elementary Calculus I（初等微积分 I）WinterAUMAT 110Elementary Calculus I（初等微积分 I）AUMAT 250Discrete Mathematics（离散数学）AUMAT 120Linear Algebra I（线性代数 I）AUMAT 220Linear Algebra II（线性代数 II）

:: 学术研究

研究方向

形式化证明；数学哲学；本科数学的教学与学习研究；p-进群的表示。

论文

“Computational p-Adics（计算 p 进数）”，Archive of Formal Proofs（形式化证明档案），2025 年 7 月，https://www.isa-afp.org/entries/Computational_pAdics.html 。形式化证明开发。

“Formal Laurent Series（形式 Laurent 级数）”，Isabelle source distribution（Isabelle 源码发行版），2019 年。最早收录于 Isabelle2019：理论文件 (https://isabelle.in.tum.de/repos/isabelle/file/83774d669b51/src/HOL/Computational_Algebra/Formal_Laurent_Series.thy)。

“Formal Power Series（形式幂级数）”（与 A. Chaieb 和 M. Eberl 合作），Isabelle source distribution（Isabelle 源码发行版），2019 年。修改后的版本最早收录于 Isabelle2019：理论文件 (https://isabelle.in.tum.de/repos/isabelle/file/83774d669b51/src/HOL/Computational_Algebra/Formal_Power_Series.thy)。

“Chamber complexes, Coxeter systems, and buildings（房室复形、Coxeter 系统与建筑）”，Archive of Formal Proofs（形式化证明档案），2016 年 7 月，https://www.isa-afp.org/entries/Buildings.html 。形式化证明开发。

“Representations of finite groups（有限群的表示）”，Archive of Formal Proofs（形式化证明档案），2015 年 8 月，https://www.isa-afp.org/entries/Rep_Fin_Groups.html 。形式化证明开发。

“A problem-centered approach to canonical matrix forms（以问题为中心的典型矩阵形方法）”，PRIMUS: Problems, Resources, and Issues in Mathematics Undergraduate Studies（PRIMUS：本科数学教学中的问题、资源与议题），24:3，第 247–256 页。PDF 预印本 (https://sites.ualberta.ca/~jsylvest/papers/JSylvestre-A_Problem-Centred_Approach_To_Canonical_Matrix_Forms.pdf) ***注：***本预印本为某篇论文的作者原始手稿（Author’s Original Manuscript），该论文的最终定稿（Version of Record）已于 2013 年 11 月按上述信息发表于 PRIMUS，© Taylor & Francis，可通过 http://www.tandfonline.com/doi/full/10.1080/10511970.2013.865691 在线获取。

“Twisted characters of depth-zero supercuspidal representations ofGL(n)（深度为零的超尖表示的扭特征，对GL(n)）”，博士论文，University of Toronto（多伦多大学）。PDF (https://sites.ualberta.ca/~jsylvest/papers/JSylvestre-Thesis.pdf)