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