题记 本来这个系列的博客是打算上一两节课就更新一次,结果一转眼《计算机科学中的逻辑学》这门课已经结课了,打算花两天时间整理一遍,作为记录,也作
题记 为了严谨地描述一些问题,我们需要一些语言去表达问题中的逻辑结构,这篇博客将讲述其中一种语言——命题逻辑(propositional logic), 声明
题记 写博客的时候有时候会需要写公式,我自己的习惯是用Typora进行博客编写,本地上Typora自带latex支持,但是推送到网页的话只能显
题记 上了三周袁梦霆老师的计算机科学中的逻辑学课程,不得不说是一节开拓视野的课程,从逻辑学的角度看待计算机非常有意思。第一节课的时候老师开玩笑
添加即使通讯 修改主页 添加Tool页面 相关链接 添加即使通讯 博客添加在线通讯 LeaveIt主题配置 LeaveIt Hugo Theme 作者github