02 2023 档案

搭船问题（父母兄妹一家四口和隔壁杰哥出去旅游...）
摘要：某日在扣扣群里见到的沙雕网友发的奇怪东西，稍微记录一下... 原问题 喂喂，这些牙白的组合真的是去旅游的吗？ 另外提问 这玩意看着挺绕但确实有解 但问题来了，有多少个不同的解？ 先规定一下嗷，一个解里面不能重复出现相同的状态，否则该解无效 这里的状态简单来说就是：某时刻船的位置（对岸还是本岸）+对岸 阅读全文
posted @ 2023-02-17 02:13 kksk43 阅读(264) 评论(0) 推荐(0) 编辑
第4章 谓词逻辑
摘要：谓词基本概念 谓词 个体词：分为个体常量（字母abc表示）、个体变量（字母xyz表示） 个体域：个体词的取值范围（常用D表示） 全总个体域：宇宙所有个体域构成的个体域 n元谓词：定义在Dn上取值于0,1上的n元谓词，记为P(x1,x2,...,xn) 0元谓词 阅读全文
posted @ 2023-02-11 02:03 kksk43 阅读(761) 评论(0) 推荐(0) 编辑
第3章 命题逻辑
摘要：前面部分内容略 范式 析取范式和合取范式 文字：命题变元或变元的否定 短语∧（合取式）：有限个文字的合取（文字∧...∧文字，或文字） 子句∨（析取式）：有限个文字的析取（文字∨...∨文字，或文字） 合取范式：有限个子 阅读全文
posted @ 2023-02-08 00:17 kksk43 阅读(165) 评论(0) 推荐(0) 编辑

特效
黑夜
侧边栏隐藏
点击右上角即可分享
微信分享提示