以离散数学的基础为基础,向学生简要介绍形式语义。