2019年5月5日
Discrete Mathematics and Its Applications | 1 CHAPTER The Foundations: Logic and Proofs | 1.3 Propositional Equivalences
摘要： DEFINITION 1 A compound proposition that is always true,no matter what the truth values of the proposi-tional variables that occur in it, is called at 阅读全文
posted @ 2019-05-05 21:39 Minos_t 阅读(203) 评论(0) 推荐(0)
Discrete Mathematics and Its Applications | 1 CHAPTER The Foundations: Logic and Proofs | 1.2 Applications of Propositional Logic
摘要： Translating English Sentences System Specifications Boolean Searches Logic Puzzles Logic Circuits 阅读全文
posted @ 2019-05-05 21:32 Minos_t 阅读(145) 评论(0) 推荐(0)
Discrete Mathematics and Its Applications | 1 CHAPTER The Foundations: Logic and Proofs | 1.1 Propositional Logic
摘要： propositional variables (or statement variables), letters used for propositional variables are p, q, r, s, . . . . The truth value of a proposition is 阅读全文
posted @ 2019-05-05 21:08 Minos_t 阅读(315) 评论(0) 推荐(0)
2019年4月27日
[Mac Terminal] ___切换到其他路径和目录
摘要： 如果你想将当前 command line 会话切换到其他目录，需要用到三个命令：pwd，ls和cd。 pwd的含义是“print working directory”，会显示当前目录的绝对路径。ls的含义是“list directory contents”，它会列出当前目录的内容。这个命令还有其他参 阅读全文
posted @ 2019-04-27 22:21 Minos_t 阅读(1838) 评论(0) 推荐(0)
2019年4月21日
[Mac Terminal] ___MAC终端清屏快捷键
摘要： 清全屏： command + K 清上一行命令：command + L 阅读全文
posted @ 2019-04-21 17:25 Minos_t 阅读(1361) 评论(0) 推荐(0)