(11)--拓展阅读：序关系及其应用.docVIP

拓展阅读3序关系及其应用

一个软件项目有若干个任务,某些任务只能在其他任务结束后才能进行，于是可得到一个偏序集的Hasse图，如表3所示.

EGF

E

G

F

D

D

CBA

C

B

A

应该按怎样的先后顺序(线性序)完成所有任务?利用极小元可对偏序集“拓扑排序”为：C≤A≤B≤D≤E≤F≤G.具体步骤如下：

(1)S?{A,B,C,D,E,F,G};

(2)取定S中的一个极小元X并记录,转(4);

(3)S?S–{X};

(4)若S=?,则停止.否则，转向(2)

建议大家再查询一下网页排序算法，从PageRank到RankBrain.

第3章命题逻辑

(3.1节)拓展阅读1非经典命题逻辑

经典命题逻辑中，命题的真假独立于时间和地点，或更一般地独立于命题所处理的“环境”(语境或情境等),例如“天在下雨”、“他是美国总统”、“她一定能考上清华大学”等.

20世纪以来,从美国逻辑学家C.I.Lewis建立模态命题逻辑以来，出现了各种各样的非经典逻辑，如道义逻辑、认知逻辑、时序(态)逻辑、动态逻辑、计算逻辑、程序逻辑及各种非单调逻辑等.

用p:火星上有生物,则?p:火星上必然有生物,?p:火星上可能有生物.考虑像“必然”、“可能”等这种模态的逻辑就是模态逻辑.

更一般地,?p读作“必然p”，表示无论在什么(可