汇报内容

1、汇报formal method书第二章：
（1）首先引入GC的概念，然后使用BNF范数进行定义，通过第一章对于PG的基本介绍，扩充PG的基本操作，引入GC至PC中，并定义edges函数，然后结构和第一章一致，引入GC的概念。

（2）什么是语义：语言所表达的含义，也就是这句话（这条语句）所表达的意思。

（3）什么是语法：语言的结构规则，也就是怎么样写一段是对的。

（4）什么是语法糖：糖不改变其所在位置的语法结构下实现了运行时等价，作用简写不限于此。

（5）什么是指称语义：把程序的意义映射到某种数学结构，这种结构能清晰地表达程序对环境的作用和环境的变化。

（6）什么是操作语义：把程序运行看作了执行一系列改变环境的操作，用一组描述环境变化的规则定义程序中各种结构的意义。

2、汇报社会保障、切尔诺夫不等式：

智利国家的社会保障制度的特点，切尔诺夫不等式的一个逼近。

导师反馈内容

1、如何进行学习：找一堆文章—->按照文章下面推荐的进行找—->进行筛选—->对文章进行打标签

2、refinement：精化。粗粒度—->细粒度？？？

上界：所有条件均符合；下界：所有条件均不成立。

3、学语言，如何定义语义

4、traces语义缺乏路径中的选择分支等