摘要: 连续一阶逻辑是经典一阶逻辑的一个类比。和经典逻辑的二元真值表不同，连续逻辑的真值表是整个[0,1]区间。连续模型论拥有很多经典模型论所拥有的重要性质。虽然连续逻辑才刚被引入，它已在数学的分析学以及概率论中得到很多的应用。在这个讲座中，我先简述连续逻辑，然后再讨论其在概率论中的应用。最后，如果时间允许，我将谈论我在这个领域的一些最新进展。 
(Continuous first-order logic is an analog of classical first-order logic. Unlike classical logic with the truth value {True, False}, continuous logic 's truth value is the whole interval [0,1]. Continuous model theory also preserves many key properties of classical model theory. Although continuous first-order logic was introduced quite recently, it has already been applied to analysis and probability theory. During this talk, I will introduce continuous logic briefly and then discuss the applications to probability theory. If time permits, I'll also show some of my recent results in this topic.)

时间：2010年6月19日(星期六) 上午9：00-12：00 
地点：清华大学新斋335