会员
周边
新闻
博问
闪存
众包
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
析枫
博客园
首页
新随笔
联系
订阅
管理
2023年4月7日
Apache安装与启动
摘要:
阅读全文
posted @ 2023-04-07 15:17 析枫
阅读(19)
评论(0)
推荐(0)
Apache安装启动
摘要:
阅读全文
posted @ 2023-04-07 15:16 析枫
阅读(18)
评论(0)
推荐(0)
2023年3月24日
NFS安装和重启
摘要:
阅读全文
posted @ 2023-03-24 16:22 析枫
阅读(31)
评论(0)
推荐(0)
2022年6月17日
图
摘要:
阅读全文
posted @ 2022-06-17 12:44 析枫
阅读(22)
评论(0)
推荐(0)
二元关系
摘要:
阅读全文
posted @ 2022-06-17 09:48 析枫
阅读(29)
评论(0)
推荐(0)
2022年4月29日
集合代数
摘要:
阅读全文
posted @ 2022-04-29 14:14 析枫
阅读(29)
评论(0)
推荐(0)
一阶逻辑等值演算与推理
摘要:
阅读全文
posted @ 2022-04-29 13:55 析枫
阅读(32)
评论(0)
推荐(0)
2022年4月22日
谓词逻辑发展
摘要: 古希腊的亚里士多德等人于两千多年前 创立了古典形式逻辑,也称为传统逻辑。传统逻辑的不足:用自然语言加少量符号表述命题,不严格,常有二义性,并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足,德国数学家哲学家莱布尼兹z于十七世纪中叶明确地 提出了建立通用的符号语言和通用代数的思想。 第一个完整的逻
阅读全文
posted @ 2022-04-22 18:27 析枫
阅读(98)
评论(0)
推荐(0)
2022年3月17日
离散数学1~3章思维导图
摘要:
阅读全文
posted @ 2022-03-17 23:14 析枫
阅读(209)
评论(0)
推荐(0)
emmm
摘要: 在大学还开始接触软件技术这门专业的小白,接触这些代码可以说是一窍不通了。至于为什么选这业,在众多的专业选择里也就这个看上眼了,也有大部分原因是因为朋友选择这个专业。在接触这门专业的日子里有被它一系列复杂的代码看麻了,没有办法只能硬着头皮去学,希望以后的日子里能与它相处好一点。竟然选着了这条路就好好的
阅读全文
posted @ 2022-03-17 20:59 析枫
阅读(711)
评论(0)
推荐(0)
公告