Instructor: Thoma, Lubos
Introduction to mathematical tools and to formal methods of reasoning for computing. Topics include propositional logic, proofs, elementary number theory, counting, graphs, and linear algebra. Emphasis on applications to computing. (Lec. 3/Online) (A1) (B3)
3 crs.
Session 1 (5/20-6/21)
Schedule: Online
Course delivery: Online-Asynchronous
General education outcome: A1,B3
Additional fees: No additional fees.

Learn how to register