2023年5月5日
Docker容器部署Wordpress
摘要： 启动Docker 获取镜像 启动MySQL 设置mysql远程权限 刷新权限 退出容器 启动容器WordPress 阅读全文
posted @ 2023-05-05 17:33 0凌一 阅读(17) 评论(0) 推荐(0)
2023年4月7日
Apache的安装与启动
摘要： 主机修改适配器设置 主机浏览器搜索虚拟机IP地址 阅读全文
posted @ 2023-04-07 15:39 0凌一 阅读(20) 评论(1) 推荐(0)
2023年3月17日
实现文件共享——NFS
摘要： 配置网络 启动NFS服务器 配置exports vim编辑器修改 /etc/exports文件 查看NFS服务器共享情况 客户机测试 阅读全文
posted @ 2023-03-17 17:38 0凌一 阅读(42) 评论(3) 推荐(2)
2022年6月10日
离散数学消解算法
摘要： 阅读全文
posted @ 2022-06-10 13:19 0凌一 阅读(168) 评论(0) 推荐(0)
离散数学二元关系
摘要： 阅读全文
posted @ 2022-06-10 13:18 0凌一 阅读(12) 评论(0) 推荐(0)
2022年4月28日
集合代数
摘要： 阅读全文
posted @ 2022-04-28 23:26 0凌一 阅读(46) 评论(0) 推荐(0)
一阶逻辑等值演算与推理
摘要： 阅读全文
posted @ 2022-04-28 22:34 0凌一 阅读(33) 评论(0) 推荐(1)
2022年4月8日
谓词逻辑发展
摘要： 古希腊的亚里士多德(Aristotle)Aristotle等人于两千多年前 创立了古典形式逻辑，也称为传统逻辑。传统逻辑的不足：用自然语言加少量符号表述命题，不严格，常有二义性，并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足，德国数学家哲学家莱布尼兹(Leibniz)Leibniz于十七世纪 阅读全文
posted @ 2022-04-08 12:48 0凌一 阅读(47) 评论(0) 推荐(0)