SET THEORY AND FIRST ORDER LOGIC
Yasin Mobassir, University of Windsor
My primary discussions will focus on mathematical logic and set theory. The build
up of ideas shall start from the foundations of these subjects. I shall be holding the
first talk where we shall see some history about the commencement of these exquisite
fields of mathematics. Then, we shall start off with Mathematical Logic. Due
to time constrictions, propositional logic shall be omitted; we commence with predicate
logic (or 1st order logic). Before introducing semantics, we shall explore syntax.
We shall discuss syntactic ideas for at least two of the talks that I shall conduct.
Then, we hope to see semantics and its manifestation in predicate logic.
2:30pm | Wednesday, October 19
in-person—Lambton 9-118
email mthsta1@uwindsor.ca for more info
counts toward seminar attendance for UWindsor Math & Stats MSc & PhD