Course instructor: Makara Tha

Syllabus of the foundation course 

Unit 1: Propositional logic

Symbolic logic, inference, replacement, proof methods, and the three proof properties

Unit 2: First-order logic

Language, substitution, syntactics, proof methods

Unit 3: Set theory

Sets and elements, set operations, set within set, families of sets

Unit 4: Relations and functions

Relations, equivalence relations, partial orders, functions, injections and surjections, images and inverse images

Learning Map

Lecture 1: Unit 1(Symbolic logic, inference, replacement) 

*Status: completed. [Lecture Note] 

Lecture 2: Unit 1(Proof methods, and the three proof properties)

*Status: completed.

Lecture 3: Unit 2 (Language, substitution, syntactics)

*Status: completed.

Lecture 4: Unit 2 (Proof methods)

*Status: completed.

Lecture 5: Unit 3

*Status: completed.

Lecture 6: Unit 4 (Relations, equivalence relations, partial orders)

*Status: completed.

Lecture 7: Unit 4 (Functions, injections and surjections, images and inverse images)

*Status: completed.

Assignment

Assignment 01: view here 

*Deadline: December 28, 2025[submit to email loop as pdf format]

*Status: completed.

Assignment 02: view here 

*Deadline: January 11, 2026 [submit to email loop as pdf format]

*Status: completed.

Assignment 03: view here 

*Deadline: January 25, 2026 [submit to email loop as pdf format]

*Status: completed

Assignment 04: view here 

*Deadline: February 15, 2026[submit to email loop as pdf format]

*Status: Completed

References

[1] Michael L. O'Leary. A First Course in Mathematical Logic and Set Theory. John Wiley & Sons, Inc, 2016

[2] Douglas Smith, Maurice Eggen, and Richard St. Andre. A Transition to Advanced Mathematics, 7th edition. 

      Richard Stratton, 2011

[3] Paul R. Halmos. Naive Set Theory. Springer Science+Business Media New York, 1974

Link: Here

*Remark: The course must be completed within two months at most.

*Started:  December 20, 2025