This undergraduate text aims to teach mathematical literacy by providing a careful treatment of set theoretic notions and elementary mathematical proofs. It gives a complete handling of the fundamental normal form theorums of matrix algebra. Use of the computer is fully integrated into this approach. It describes the basic algorithms and provides computer exercises. The book comes with a diskette and a tutorial manual.