Mini-course: Effective Aspects of Combinatorics

Time:14:30:29/02/2016 to  17:00:03/03/2016

Venue/Location: B4-705 VIASM

Organisers: Assoc. Prof. Wu Guohua (Nanyang Technological University)

Content:

Abstract: In these talks, we will introduce and prove well-known principles in contable combinatorics, including Dilworth theorem, Hall marriage theorem, Ramsey theorem, and so on. In the end, we will show recent research on these topics from logic point of view.