北京国际数学研究中心的Kyle Gannon老师在数学科学学院开设《逻辑专题》（课号: 00104608），3学时3学分，周三5-6(单周)、周五7-8，三教206，本研合上。简介如下：

o-minimality is a concept originating from model theory which in recent years has been applied to many diverse branches of mathematics. At its core, o-minimal structures provided a framework to study both real and complex geometry in which all definable objects - sets, functions - exhibit "tame" geometric and topological behavior.  This course has two aims: First, to introduce and prove some fundamental properties of o-minimal structures. Second, to explore some applications, i.e. the proof of the Pila-Wilkie theorem. No prior background in logic will be assumed.