2019年6月2日
Discrete Mathematics and Its Applications | 1 CHAPTER The Foundations: Logic and Proofs | 1.4 Predicates and Quantifiers
摘要： The statements that describe valid input are known as preconditions and the conditions that the output should satisfy when the program has run are kno 阅读全文
posted @ 2019-06-02 21:33 Minos_t 阅读(374) 评论(0) 推荐(0)