This course meets 1:15-2:30 Mondays and Wednesdays in D106 LSRC with a recitation at the same time on Friday.

Course Goals

• State nontrivial assertions about programs and prove them directly or indirectly using using induction, combinatorics, or by adapting existing proofs.
• Analyze statements using propositional, predicate, and probabilistic logics and implement efficient solutions to problems using logic.
• Apply and appreciate the mathematical foundations of computer science and to be able to reason precisely about algorithms.

Announcements

• 4/29: Final exam review questions posted
• 4/27: Final exam review session on Sunday, May 1 from 7:45-9 in D106 LSRC
• 4/21: HW 6 posted: due Wednesday, April 27 by 5pm
• 4/14: HW 5 posted: due Thursday, April 21 by 5pm
• 3/30: HW 4 posted: due Wednesday, April 6 by 5pm
• 3/21: HW 3 posted: due Monday, March 28 by 5pm
• 3/2: Test 1 Solutions posted
• 3/2: Algorithmic Programming Problems posted. Submit your solutions to PascalCount and LastSignTest as assignment apt1 by classtime on Wednesday, March 9.
• 2/7: Recitation 4 warmup posted to Blackboard
• 1/31: Warmup questions for Recitation 3 posted, due in class on Wednesday, Feb. 2
• 1/19: Warmup questions for Recitation 1 posted, due in recitation