固安网络公司哪家好【固安企业网站百度SEO推广公司】固安做网站开发价格、固安淘宝店铺开店装修设计运营、公司网站制作方案流程改版维护费用、固安高端企业网站页面制作设计专业公司需要多少钱

固安网络公司哪家好【固安企业网站百度SEO推广公司】固安做网站开发价格、固安淘宝店铺开店装修设计运营、公司网站制作方案流程改版维护费用、固安高端企业网站页面制作设计专业公司需要多少钱

固安县，隶属河北省廊坊市。地处华北平原北部，京津保三角腹地，东经116°17'，北纬39°19'。东与永清县相连，西与保定的涿州市、高碑店市相邻，南与霸州市、雄安新区接壤，北隔永定河，与北京市大兴区相望。全县幅员面积696平方千米，下辖9个乡镇、1个省级园区，419个行政村，耕地65万亩，人口52万。 [1] 

固安地理位置优越。古有“天子脚下”之称，今有“京南明珠”美誉。距北京天安门50公里，距北京大兴国际机场8公里。

固安是京津冀实施“一线两厢”战略的“一线”前沿地带，也是廊坊城市建设“大三点”组团的重要支点。先后被国家有关部门授予“中国温泉之乡”、“中国花木之乡”、“中国钓具之乡”、“中国民间文化艺术之乡”、“中国矿泉水之乡”等称号。2014年，中国城市竞争力研究会18日公布了“2014中国县域成长竞争力排行榜”，廊坊市固安县跻身于50强，位居第42位，是河北唯一入围50强的县（市）。2015年，全国县域经济最具创新力十强排名，固安为河北唯一上榜的城市，位居第一。2018年11月，被科技部确定为首批创新型县（市）。 [2]  2018年12月，入选全国县域经济投资潜力100强。 [3]  2019年10月8日，入选2019年度全国投资潜力百强县市。 [4]  2019年度全国绿色发展百强县市，排名第82名。 [5]  2020中国夏季休闲百佳县市。 [6]  2020年5月，入选县城新型城镇化建设示范名单。 [7]  2021年3月，被授予 2020年河北省村庄清洁行动先进县（市、区）。

图中的路径

示例14.24所处理的，是规则的一种常见形式，它在给定有向图中弧的情况下，定义了图中的路径。把课程当作节点，如果课程b 是课程a 的前提，就存在弧a→b。那么before(a,b )就对应着从a 到b 的某一条长度为1或更长的路径。图14-9展示了基于图8-2b中“课程-前提”信息绘制的有向图。

在图表达是前提时，我们希望它是无环的，因为选修某门课程的前提是修过这门课本身。不过，即便图中含有环路，同类的逻辑规则也仍然用弧定义了路径。可以把这些规则写成

arc(X,Y )→path(X,Y )

也就是说，如果存在从节点X 到节点Y 的弧，就存在从X 到Y 的路径，而且

(arc(X,Z )AND path(Z,Y ))→path(X,Y )

也就是说，如果存在从X 到某节点Z 的弧，而且存在从Z 到Y 的路径，那么存在从X 到Y 的路径。请注意，这些内容与(14.22)和(14.23)表示的是同样的规则，其中用谓词arc 代替了cp，用path 代替了before。

图 14-9　表示成有向图的前提信息

14.9.2　习题

1. * 我们可以按照以下方式证明示例14.24中的谓词before 是谓词cp 的传递闭包。假设存在一系列的课程c1、c2、…、cn，其中n≥2，而且c1是c2的前提，c2是c3的前提，以此类推，对i=1、2、…、n-1而言，cp(ci ,ci+1)是给定的事实。通过对i 的归纳证明对i=2、3、…、n，有before(c1,ci )，从而证明c1在cn 之前。

2. 利用示例14.24中的规则和事实，证明以下事实。

(a) before(“CS120”,“CS100”)

(b) before(“CS206”,“CS100”)

3. 通过向示例14.24添加规则

(before(X, Z )AND before(Z,Y ))→before(X,Y )，

可以提高处理前提链的速度。也就是说，第一个子目标可以是任一before 事实，而不止是前提事实。利用该规则，为习题2的(b)小题找出更简短的证明。

4. * 示例14.24中有多少before 事实是可以证明的？

5. 设csg是代表图8-1中“课程-学号-成绩”关系的谓词，cdh 是代表图8-2c中课程-日子-时刻关系的谓词，cr 是代表图8-2d中“课程-教室”关系的谓词。并设where(S,D,H,R )是表示学号为S 的学生D 那天H 时在教室R 上课。更精确地讲，学号为S 的学生选修的课程是那个时间在那个教室上课。

(a) 写出用csg、cdh 和cr 定义where 的规则。

(b) 如果对应谓词csg、cdh 和cr 的事实是图8-1和图8-2中给出的，那么可以推导出哪些where 事实？证明两条这样的事实。

14.10　真理和可证性

在为谓词逻辑的讨论收尾时，我们要介绍一个更为微妙的逻辑问题：可证明内容与真实内容之间的区别。前面已经看到过这样一些推理规则，它们允许我们证明命题逻辑或谓词逻辑中的内容，但我们不确定给定的规则集合是否完备，是否允许我们证明每一个真命题。例如，我们断言12.11节中所表示的分解对命题逻辑而言是完备的。分解的一种一般化形式（这里没有涵盖）对谓词逻辑而言也是完备的。

14.10.1　模型

不过，要理解证明策略的完备性，就需要掌握“真理”的概念。要发现“真理”，需要理解模型（model）的概念。每种逻辑对表达式集而言都有模型的概念，这些模型是令表达式为真的解释。

示例 14.25

在命题逻辑中，解释是真值赋值。考虑表达式E1=p AND q 和E2= OR r。涉及变量p、q 和r 的表达式有8种真值赋值，我们可以用依次对应各变量真值的3位构成的位串来表示这些真值赋值。

只有真值赋值令p 和q 都为真（即110和111这两种真值赋值）时，它才能令表达式E1为真。而000、001、010、011、101和111这6种真值赋值可以让表达式E2为真。因此只有一种对应表达式集{E1,E2}的模型，即111，因为只有该模型出现在两个列表中。

示例 14.26

在谓词逻辑中，解释是14.5节中定义过的结构。我们来考虑表达式E

(∀X )(∃Y )p(X,Y )

也就是说，对每个X 的值来说，至少存在一个Y 值，使得p(X,Y )为真。

如果对定义域D 中每个元素a 来说，在D 中存在某个元素b（对各个a 不一定有相同的b），使得“谓词p 的解释”这个关系中具有成员“有序对(a,b )”，就说解释使得E 为真。这些解释就是E 的模型，其他的解释则不是。例如，如果定义域D 是整数，而且当且仅当X< Y 时，谓词p 的解释使得p(X,Y )为真，我们就有了对应表达式E 的模型。不过，定义域D 也是整数，而且p 的解释是当且仅当X=Y 2时p(X,Y )为真，这一解释就不是表达式E 的模型。

固安网络公司哪家好【固安企业网站百度SEO推广公司】固安做网站开发价格、固安淘宝店铺开店装修设计运营、公司网站制作方案流程改版维护费用、固安高端企业网站页面制作设计专业公司需要多少钱