2023年4月7日
Apache的安装与启动
摘要： 阅读全文
posted @ 2023-04-07 15:27 幻梦博客 阅读(18) 评论(0) 推荐(0)
2023年4月2日
NFS服务，配置exports文件，客户机测试
摘要： 阅读全文
posted @ 2023-04-02 16:04 幻梦博客 阅读(43) 评论(0) 推荐(0)
2023年3月24日
NFS服务的安装与启动
摘要： 阅读全文
posted @ 2023-03-24 15:24 幻梦博客 阅读(41) 评论(0) 推荐(0)
2023年3月18日
DNS服务器，安装，启动，修改，测试
摘要： 阅读全文
posted @ 2023-03-18 14:51 幻梦博客 阅读(36) 评论(0) 推荐(1)
2022年6月17日
图
摘要： 阅读全文
posted @ 2022-06-17 12:05 幻梦博客 阅读(15) 评论(0) 推荐(0)
函数
摘要： 阅读全文
posted @ 2022-06-17 12:05 幻梦博客 阅读(11) 评论(0) 推荐(0)
集合代数
摘要： 阅读全文
posted @ 2022-06-17 11:58 幻梦博客 阅读(12) 评论(0) 推荐(0)
二元关系
摘要： 阅读全文
posted @ 2022-06-17 11:57 幻梦博客 阅读(8) 评论(0) 推荐(0)
2022年4月22日
谓词逻辑的发展
摘要： 古希腊的亚里士多德(Aristotle)Aristotle等人于两千多年前 创立了古典形式逻辑，也称为传统逻辑。传统逻辑的不足：用自然语言加少量符号表述命题，不严格，常有二义性，并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足，德国数学家哲学家莱布尼兹(Leibniz)Leibniz于十七世纪 阅读全文
posted @ 2022-04-22 12:20 幻梦博客 阅读(134) 评论(0) 推荐(0)
2022年4月8日
消解法流程图
摘要： 阅读全文
posted @ 2022-04-08 13:52 幻梦博客 阅读(44) 评论(0) 推荐(0)
下一页