2017年10月8日早上8点30分,我院于宁德师范学院蕉城校区21#509开展了一堂以"分离公理"为主题的讲座,本场讲座的主讲人是刘丽老师,参加对象是数理学院全体教师。
刘丽老师指出这场"分离公理"讲座主要是讲点之间的分离,先给出定义,然后举例讲解,之后再给出定理,用反证法或从必要性到充分性,从充分性到必要性一一证明。这每一个步骤都充分展示了数理逻辑上的严谨性与可证性,并且刘丽老师在讲解证明定理的步骤时,并非一步一步全都是疲乏的数理符号,除了正式的证明步骤,她途中还穿插着一些容易理解的例子来解释她的思路,生动活泼的例子配上刘丽老师的解说,让整个课堂都充满了学习的氛围。讲座持续了两个小时左右,相信每位老师都对分离公理有了更大的认识。