An introduction to mathematical reasoning, elementary number theory and linear algebra, including applications for computer science. Prerequisites: Mathematics 171 and Mathematics 156 or 172.