|Instructor: Lubos Thoma|
|Office: Lippitt Hall 101F|
Description: The course introduces basic mathematical tools and formal methods of reasoning used in computing. Each topic is motivated and connected to computer science applications. The course puts emphasis on problem solving and applications. Topics include propositional logic, proofs, recursion, elementary number theory, counting, and linear algebra.
Sakai: information about the course is available in Sakai.
Accommodations: Any student with a documented disability is welcome to contact me as early in the semester as possible so that we may arrange reasonable accommodations. As part of this process, please be in touch with Disability Services for Students Office at 330 Memorial Union, 401-874-2098.
Standards of behavior: Students are responsible for being familiar with and adhering to the published "Community Standards of Behavior: University Policies and Regulations" which can be accessed in the University Student Handbook. If you must come in late, please do not disrupt the class. Please turn off all cell phones, pagers, or any electronic devices.