Logical Methods

版本说明：1

作     者：Roger Antonsen 

I S B N：(纸本) 9783030637767 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：XIV, 288页

主 题 词：Discrete Mathematics in Computer Science Mathematical Logic and Foundations 

摘      要：Many believe mathematics is only about calculations, formulas, numbers, and strange letters. But mathematics is much more than just crunching numbers or manipulating symbols. Mathematics is about discovering patterns, uncovering hidden structures, finding counterexamples, and thinking logically. Mathematics is a way of thinking. It is an activity that is both highly creative and challenging.