The Annual Introductory Logic Course

Recordings of some of the lectures are now available via this playlist.

Zoom link for the entire duration of the program has been sent via email on Feb. 5th using the email address you provided. Please check your spam folder if you did not receive the email. For the sake of future correspondences, please also add mantik.malaysia@gmail.com in your safe list and check your spam folder in case you miss any email from this association email address.

The Annual Introductory Logic Course is a one-month long "crash" course to introduce undergraduate students or any interested individuals to the basics of Mathematical Logic. The course will cover an introduction to First-Order Predicate Logic as one would encounter in an undergraduate course in mathematical logic, then followed by introductory topics of model theory, proof theory, recursion theory, and set theory.

Kursus Mantik Matematik Asas Tahunan memberi peluang kepada pelajar sarjana atau individu-individu yang berminat dengan Mantik Matematik untuk mengikuti kursus Mantik Matematik ringkas selama satu bulan. Kursus ini akan merangkumi pengenalan kepada Mantik Peringkat Pertama (First-Order Predicate Logic) seperti yang akan dipelajari dalam kursus sarjana mantik matematik, kemudian diikuti dengan topik pengenalan teori model, teori bukti, teori pengulangan, dan teori set. Bahasa pengantar adalah Bahasa Inggeris.

Issuance of Certificates: The association has decided to issue two certificates upon the completion of the program.

1. The Certificate of Completion at the end of the program. To qualify, participants are required to submit a summary article on the topic of choice the participant has learned from the course. The article need not be long, but it should contain substantial content. The scientific committee of the association will decide on a pass-fail basis; issuance of certificate is subjected to a "pass." Deadline for submission is December 1, 2022. Participants can submit as many times as possible. (A submission link will be made available at the end of the program on Feb. 27th. Please check back to this page.)

2. The Certificate of Attendance will be issued to all participants who request for it.

Schedule Jadual for the year 2022 bagi tahun 2022

Date & Time: Details on Google Calendar (Date & time should appear as your local time; dates given below are UTC.)

(PDF list available here for convenience - please double check with Google Calendar.)

Feb. 7, 12, 17, 21, 24. Introduction to Predicate Logic and Introductory Model Theory Pengenalan kepada Mantik Matematik dan Teori Model by Athipat Thamrongthanyalak, Chulalongkorn University

• Syntax and semantics of First Order Predicate Logic

• Basic model theory

• Model theory of the real number system

• Model theoretic proofs of theorems in algebra and number theory

• Reference book suggestions:

1. A Mathematical Introduction to Logic by Herbert Enderton

2. Model Theory by David Marker

Feb. 9, 13, 18, 23, 26. Introductory Set Theory Pengenalan kepada Teori Set by Dana Bartosova, University of Florida & Jiachen Yuan, University of East Anglia

• Review of naive set theory

• The Zermelo-Frankel axioms of set theory

• The axiom of choice

• The Continuum Hypothesis

• The essence of modern set theory

• Set theoretic applications in dynamical systems

• Notes

1. by Jiachen Yuan

• Reference book suggestion:

1. Set Theory: Exploring Independence and Truth by Ralf Schindler

2. Set Theory by Thomas Jech

3. Set theory: An Introduction to Independence Proof by Kenneth Kunen

Feb. 8, 14, 19, 22, 25. Introductory Recursion Theory Pengenalan kepada Teori Pengulangan by Junle Goh, UW Madison & Patrick Lutz, UCLA

• Diophantine sets and recursively enumerable sets

• Introduction of Hilbert's 10th Problem over the rationals

• Models of computation & Turing machines

• Recursive functions and the Halting Problem

• Degrees of unsolvability, the Kleene-Post theorem

• Recent unsolvable problems

1. Turing Computability by Robert Soare

2. Hilbert's 10th Problem by Yuri Matiyasevic

Class Materials Nota-nota

Recordings of the Lectures: On the association's YouTube Channel. Click here for the playlist.

Athipat Thamrongthanyalak, Chulalongkorn University - Notes to all lectures

Dana Bartosova, University of Florida

Jiachen Yuan, University of East Anglia - Lectures 1 & 2

Junle Goh, University of Wisconsin, Madison & National University of Singapore - Notes to all lectures

Patrick Lutz - Recursion/Computability Theory - 1. Lecture 1 2. Lecture 2a

Registration Form Borang Pendaftaran - Click here. Klik di sini.

Fee Yuran - FREE PERCUMA

Free for Members; RM 20 or USD 5 Percuma untuk ahli-ahli atau RM 20 bagi bukan ahli

Payment can be made via the TNG eWallet for Malaysians or via PayPal for international participants. Pembayaran boleh dibuat melalui TNG eWallet atau Paypal.

For payment, state "Spring School 2022." Sila nyatakan "Spring School 2022" semasa membuat pembayaran.

List of Sponsors: