Mini-course: Effective Aspects of Combinatorics

Thời gian: 14:30:29/02/2016 đến 17:00:03/03/2016

Địa điểm: B4-705 VIASM

Ban tổ chức: Assoc. Prof. Wu Guohua (Nanyang Technological University)

Báo cáo viên: Wu Guohua

Tóm tắt:

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.