2022年4月29日
离散数学 一阶逻辑等值演算与推理
摘要： 阅读全文
posted @ 2022-04-29 12:43 繁譁落烬蕭 阅读(48) 评论(0) 推荐(0)
集合代数
摘要： 阅读全文
posted @ 2022-04-29 12:43 繁譁落烬蕭 阅读(30) 评论(0) 推荐(0)
2022年4月8日
谓词逻辑的历史
摘要： 传统逻辑，也叫做词项逻辑，是关于亚里士多德（公元前384年—前322年）所开创的传统逻辑学的宽松的术语，并有幸的没有经历广泛的改变，直到十九世纪末末出现了谓词逻辑。 有时很难理解在弗雷和罗素之前的哲学，原因是对他们之前的所有哲学家们所共识的术语和观念没有基本的掌握。 词项逻辑在它历史上的大多数时期统 阅读全文
posted @ 2022-04-08 16:01 繁譁落烬蕭 阅读(231) 评论(0) 推荐(0)
2022年3月13日
学习过程
摘要： 阅读全文
posted @ 2022-03-13 16:41 繁譁落烬蕭 阅读(32) 评论(0) 推荐(0)
我的软件技术学科初识和规划
摘要： 作为一名软件技术的新生，我对软件的世界可以说是不了解，当我第一次面对代码的世界和软件的开发，带给我的震撼和喜爱，还有这门专业前景和工资，我决定选择这行业。 首先，大学第一个学期专业课开的甚少，让我以为这个专业很轻松，整个人的状态放的恨松，等到第二个学期接触了Java和离散数学，我才知道这门专业绝对不 阅读全文
posted @ 2022-03-13 12:02 繁譁落烬蕭 阅读(79) 评论(0) 推荐(1)