| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 TAY (Browse shelf) | Available | 034985 |
| 511.3 SUD Languages and machines : an introduction to the theory of computer science | 511.3 SUD Languages and Machines | 511.3 SUP Axiomatic set theory | 511.3 TAY Introduction to mathematics : number, space, and structure | 511.3 TOF Cellular automata machines : a new environment for modeling | 511.3 TOU Mathematical logic | 511.3 TRU Discrete Mathematics for Computer Scientists |
Includes bibliographical references and index.
This textbook is designed for an Introduction to Proofs course organized around the themes of number and space. Concepts are illustrated using both geometric and number examples, while frequent analogies and applications help build intuition and context in the humanities, arts, and sciences. Sophisticated mathematical ideas are introduced early and then revisited several times in a spiral structure, allowing students to progressively develop rigorous thinking
There are no comments for this item.