Exploring term Fall 2023 Change
- ACAN: Arts of Canada
- ADMN: Public Administration
- AE: Art Education
- AGEI: Ageing
- AHVS: Art History and Visual Studies
- ANTH: Anthropology
- ART: Visual Arts
- ARTS: Arts
- ASL: American Sign Language
- ASTR: Astronomy
- ATWP: Academic and Technical Writing Program
- BCMB: Biochemistry and Microbiology
- BIOC: Biochemistry
- BIOL: Biology
- BME: Biomedical Engineering
- CE: Community Engagement
- CHEM: Chemistry
- CIVE: Civil Engineering
- COM: Commerce
- CS: Canadian Studies
- CSC: Computer Science
- CW: Creative Writing (En'owkin Centre)
- CYC: Child and Youth Care
- DHUM: Digital Humanities
- DSST: Disability Studies (DSS)
- ECE: Electrical and Computer Engineering
- ECON: Economics
- ED-D: Educational Psychology and Leadership Studies
- ED-P: Curriculum and Instruction Studies
- EDCI: Curriculum and Instruction Studies
- EDUC: Education
- ENGR: Engineering
- ENSH: English
- ENT: Entrepreneurship
- EOS: Earth and Ocean Sciences
- EPHE: Exercise Science, Physical and Health Education
- ER: Environmental Restoration
- ES: Environmental Studies
- EUS: European Studies
- FA: Fine Arts
- FRAN: French and Francophone Studies
- GDS: Global Development Studies
- GEOG: Geography
- GMST: Germanic Studies
- GNDR: Gender Studies
- GREE: Greek
- GRS: Greek and Roman Studies
- HDCC: Human Dimensions of Climate Change
- HINF: Health Information Science
- HLTH: Health
- HS: Health and Society
- HSD: Human and Social Development
- HSTR: History
- HUMA: Humanities
- IB: International Business
- ICDG: Indigenous Community Development and Governance
- IED: Indigenous Education
- IGOV: Indigenous Governance
- INGH: Indigenous Health Studies
- INTS: International Health Studies
- IS: Indigenous Studies
- ISP: Intercultural Studies and Practice
- ITAL: Italian
- LAS: Latin American Studies
- LATI: Latin
- LAW: Law
- LING: Linguistics
- MATH: Mathematics
- MDIA: Media Studies
- MECH: Mechanical Engineering
- MEDI: Medieval Studies
- MEDS: Medical Science
- MICR: Microbiology
- MRNE: Marine Science
- MUS: Music
- NURS: Nursing
- PAAS: Pacific and Asian Studies
- PHIL: Philosophy
- PHYS: Physics
- POLI: Political Science
- PORT: Portuguese
- PSYC: Psychology
- RCS: Religion, Culture and Society
- SCIE: Science
- SENG: Software Engineering
- SJS: Social Justice Studies
- SLST: Slavic Studies
- SMGT: Service Management
- SOCI: Sociology
- SOCW: Social Work
- SOSC: Social Science
- SPAN: Spanish
- STAT: Statistics
- TCA: Transformative Climate Action
- THEA: Theatre
- TS: Technology and Society
- VIRS: Visiting International Research Studies
- VKUR: Valerie Kuehne Undergraduate Research Award
- WRIT: Writing
- MATH100: Calculus I
- MATH101: Calculus II
- MATH102: Calculus for Students in the Social and Biological Sciences
- MATH109: Introduction to Calculus
- MATH110: Matrix Algebra for Engineers
- MATH120: Precalculus Mathematics
- MATH122: Logic and Foundations
- MATH151: Finite Mathematics
- MATH161: Mathematics for Elementary School Teachers I
- MATH162: Mathematics for Elementary School Teachers II
- MATH200: Calculus III
- MATH202: Intermediate Calculus for CSC and EOS
- MATH204: Calculus IV
- MATH211: Matrix Algebra I
- MATH212: Introduction to Algebra
- MATH222: Discrete and Combinatorial Mathematics
- MATH236: Introduction to Real Analysis
- MATH248: Computer Assisted Mathematics
- MATH301: Complex Variables
- MATH311: Linear Algebra
- MATH312: Abstract Algebra I
- MATH315: History of Mathematics
- MATH320: Graph Theory
- MATH322: Combinatorial Structures and Enumeration
- MATH335: Real Analysis
- MATH342: Intermediate Ordinary Differential Equations
- MATH346: Introduction to Partial Differential Equations
- MATH347: Introduction to Continuous Optimization
- MATH348: Numerical Methods
- MATH352: Introduction to Probability
- MATH362: Elementary Number Theory
- MATH365: Introduction to Topology
- MATH366: Geometry
- MATH367: Non-Euclidean Geometry
- MATH369: Differential Geometry in R3
- MATH375: Philosophy of Mathematics
- MATH376: Introduction to Mathematical Biology
- MATH377: Mathematical Modelling
- MATH379: Nonlinear Dynamical Systems and Chaos
- MATH401: Complex Analysis
- MATH412: Abstract Algebra II
- MATH413: Applied Algebra
- MATH414: Algebraic Methods in Combinatorics
- MATH422: Combinatorial Mathematics
- MATH424: Structural Graph Theory
- MATH426: Extremal Combinatorics
- MATH427: Combinatorial Designs
- MATH428: Discrete Optimization
- MATH435: Real Analysis II
- MATH436: Calculus on Manifolds
- MATH442: Advanced Ordinary Differential Equations
- MATH446: Advanced Partial Differential Equations
- MATH449: Scientific Computing
- MATH451: Probability
- MATH452: Stochastic Processes
- MATH462: Topics in Number Theory
- MATH465: Topics in Topology
- MATH475: Topics in Mathematical Biology
- MATH477: Stochastic Financial Modelling
- MATH481: Mathematical Logic
- MATH490: Directed Studies in Mathematics
- MATH492: Topics in Applied Mathematics
- MATH493: Topics in Pure Mathematics
- MATH498: Seminar and Independent Project
MATH481
Mathematical Logic
An introduction to the mathematical treatment of formal logic with applications to other parts of pure and discrete mathematics. Fundamental topics from set theory and model theory, including ordinals, cardinals, transfinite induction, formal languages, and the metatheory of first-order logic.
Lecture: 3h
Lab: 0h
Tutorial: 0h
Credits: 1.5