Jeremy Sylvestre, PhD, MSc, BSc (Eng)
Contact
Associate Professor, Augustana - Sciences
- jeremy.sylvestre@ualberta.ca
- Address
-
2-332 Faith & Life Centre
4901-46 AveCamrose ABT4V 2R3
Overview
Area of Study / Keywords
Program: Computing Science and Mathematics
About
Degrees
PhD, Mathematics (Toronto)
MSc, Mathematics (Toronto)
BSc (Eng), Mathematics and Engineering (Queen's)
Contact
See contact details above.
If you are a past student and need a syllabus from a past course, please contact the Augustana departmental administrative support staff at augustana.administration@ualberta.ca.
Research
My current research involves developing foundational libraries for the formalization of mathematics.
Teaching
I teach a variety of introductory 1st- and 2nd-year mathematics courses at the Augustana Campus: calculus, linear algebra, and discrete math.
Courses
AUMAT 116 - Calculus Concepts and Modelling
Foundational topic of calculus (including differentiation and integration of algebraic, trigonometric, exponential and logarithmic functions; Fundamental Theorem) with a focus on modelling and elementary differential equations. Prerequisite: Mathematics 30-1. Note: Credit may be obtained for only one of AUMAT 116 or 110.
AUMAT 120 - Linear Algebra I
Vector and matrix algebra, determinants, linear systems of equations, vector spaces, eigenvalues and eigenvectors, applications. Prerequisite: Mathematics 30-1.
AUMAT 216 - Intermediate Calculus
Further foundational topics in calculus, including: limits of sequences and functions, infinite series (including Taylor and Fourier series) and multi-variable differential calculus. Prerequisites AUMAT 110 or 116, and AUMAT 120.
AUMAT 250 - Discrete Mathematics
Sets, functions, elementary propositional and predicate logic, Boolean algebra, elementary graph theory, proof techniques (including induction and contradiction), and combinatorics. Prerequisites: AUMAT 110 or 116, and 120.
AUMAT 320 - Numerical Linear Algebra
Computational problems in linear algebra, including linear systems and least squares and eigenvalues problems, with matrix factorizations as a main tool for tackling these problems. Prerequisites: AUMAT 240 or AUSCI 250 (2023).