![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
信创
文章平均质量分 89
挪威卒
2009年9月下海创业至今,从事信息管理系统软件开发与咨询领域.
公司网址:www.cvoit.com
展开
-
# 学习 Prolog 和 离散逻辑的16个等价公式:一趟有趣的逻辑之旅
就像是在告诉我们:“不管你怎么组合这些逻辑片段,结果都像是经过了魔术师的手,神奇地保持不变!当你通过这面镜子看逻辑表达式时,一切都被反转了,但令人惊奇的是,结果依然成立!假言易位律与等价否定律展示了逻辑表达式的巧妙转换,就像是逻辑世界的变形术,展示了多种面貌。排中律与矛盾律这两个法则展示了逻辑的极端情况,一方面是充分性,另一方面是不可能性。零律和同一律就像则是Prolog中的基本常量,它们是逻辑世界中的稳定点,始终如一。吸收根律就像是一个厨师,能将一桌丰盛的菜肴减少到最基本的几样,但味道依然美妙。原创 2023-11-21 12:43:06 · 570 阅读 · 0 评论 -
统信UOS家庭版安装笔记
1.官网信息官网地址:统信UOS家庭版官网-正版国产操作系统--统信软件统信UOS家庭版是统信软件旗下的桌面操作系统,是正版的国产化linux系统软件,家庭版应用生态丰富,支持运行安卓软件,适配WPS办公套件、搜狗输入法等流行应用软件,已经和龙芯、飞腾、申威、鲲鹏、兆芯、海光等芯片厂商开展了广泛和深入的合作。https://home.uniontech.com/ 统信UOS统一操作系统之家 | 一起拥抱中文国产操作系统统一操作系统UOS是由包括中国电子集团、武汉深之度科技有限公司、南京诚迈科...原创 2022-05-10 11:54:06 · 1953 阅读 · 2 评论