First course in abstract mathematical structures with emphasis on material needed for applications to computer science. Introduction to different number systems, data types, computer arithmetic, Boolean algebra, direct and indirect proofs, and mathematical induction. Lecture and Recitation.