Exploring term Fall 2023 Change

    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