2023年4月7日

Apache的安装和启动

摘要： 阅读全文

posted @ 2023-04-07 17:16 柔风烈火 阅读(24) 评论(0) 推荐(0)

2023年3月31日

NFC2

摘要： 阅读全文

posted @ 2023-03-31 17:09 柔风烈火 阅读(37) 评论(0) 推荐(0)

2023年3月24日

实训linux系统中nfs服务器的配置

摘要： 阅读全文

posted @ 2023-03-24 15:33 柔风烈火 阅读(28) 评论(0) 推荐(0)

2023年3月17日

实现文件共享——NFS与Samba

摘要： 阅读全文

posted @ 2023-03-17 17:16 柔风烈火 阅读(30) 评论(0) 推荐(0)

2022年6月17日

二元关系

摘要： 阅读全文

posted @ 2022-06-17 13:23 柔风烈火 阅读(24) 评论(0) 推荐(0)

图

摘要： 阅读全文

posted @ 2022-06-17 13:23 柔风烈火 阅读(21) 评论(0) 推荐(0)

集合代数

摘要： 阅读全文

posted @ 2022-06-17 13:22 柔风烈火 阅读(12) 评论(0) 推荐(0)

一阶逻辑等值演算与推理

摘要： 阅读全文

posted @ 2022-06-17 13:20 柔风烈火 阅读(18) 评论(0) 推荐(0)

谓词逻辑发展

摘要： 古希腊的亚里士多德等人于两千多年前 创立了古典形式逻辑，也称为传统逻辑。传统逻辑的不足：用自然语言加少量符号表述命题，不严格，常有二义性，并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足，德国数学家哲学家莱布尼兹z于十七世纪中叶明确地 提出了建立通用的符号语言和通用代数的思想。 第一个完整的逻 阅读全文

posted @ 2022-06-17 13:15 柔风烈火 阅读(36) 评论(0) 推荐(0)

离散数学1-3章思维导图

摘要： 阅读全文

posted @ 2022-06-17 13:11 柔风烈火 阅读(121) 评论(0) 推荐(0)

导航