ICS 141 Spring 2025

Contents

• Topics: Summary of weekly topics.

• Problem Sets: List of active and planned problem sets.

• Exams: Planned exam dates

Topics

The following is a tentative schedule for the course. Changes may be made as we progress through the course content.

• Week 1

  • 01/14 - Introduction to Course; Ch 1.1 - Propositional Logic

  • 01/16 - Ch 1.3 - Propositional Equivalences

• Week 2

  • 01/21 - Ch 1.4 - Predicates and Quantifiers

  • 01/23 - Ch 1.5 - Nested Quantifiers; Ch 1.7 - Introduction to Proofs

• Week 3

  • 01/28 - Ch 1.7 - Introduction to Proofs

  • 01/30 - Ch 1.7 - Introduction to Proofs

• Week 4

  • 02/04 - Ch 1.7 - Introduction to Proofs; Ch 1.8 - Proof Methods and Strategy

  • 02/05 - Drop date (without W)

  • 02/06 - Ch 2.1 - Sets; Ch 2.2 - Set Operations

• Week 5

  • 02/11 - Ch 2.2 - Set Operations; Ch 2.3 - Functions; Appendix 2 - Exponential and Logarithmic Functions

  • 02/13 - Ch 2.4 - Sequences and Summations; Ch 2.5 - Cardinality of Sets

• Week 6

  • 02/18 - Ch 2.5 - Cardinality of Sets; Ch 2.6 - Matrices; Ch 5.1 & 5.2 - Mathematical Induction

  • 02/20 - Ch 5.1 & 5.2 - Mathematical Induction; Ch 5.3 - Recursive Definitions

• Week 7

  • 02/25 - Ch 3.1 - Algorithms

  • 02/27 - Ch 3.1 - Algorithms; Ch 5.4 - Recursive Algorithms; Ch 5.5 - Program Correctness

• Week 8

  • 03/04 - Midterm 1 Review

  • 03/06 - Midterm 1 (Ch 1, 2, & 5.1 - 5.3)

• Week 9

  • 03/11 - Ch 3.2 - The Growth of Functions; Ch 3.3 - Complexity of Algorithms

  • 03/13 - Ch 4.1 - Divisibility and Modular Arithmetic; Ch 4.2 - Integer Representations and Algorithms

• SPRING RECESS: 03/17 — 03/21

• Week 10

  • 03/25 - Ch 4.3 - Primes and Greatest Common Divisors; Ch 4.4 - Solving Congruences

  • 03/27 - Ch 4.4 - Solving Congruences; Ch 4.6 - Cryptography

  • 03/28 - Drop date (with W)

• Week 11

  • 04/01 - Ch 6.1 - The Basics of Counting

  • 04/03 - Ch 6.2 - The Pidgenhold Principle; Ch 6.3 - Permutations and Combinations

• Week 12

  • 04/08 - Midterm 2 Review

  • 04/10 - Midterm 2 (Ch 3, 4, & 5.4 - 5.5)

• Week 13

  • 04/15 - Ch 6.3 - Permutations and Combinations; Ch 6.4 - Binominal Coefficients and Identities

  • 04/17 - Ch 6.5 - Generalized Permutations and Combinations

• Week 14

  • 04/22 - Ch 7.1 - An Introduction to Discrete Probability

  • 04/24 - Ch 7.2 - Probability Theory

• Week 15

  • 04/29 - Ch 7.3 - Bayes’ Theorem

  • 05/01 - Ch 7.4 - Expected Value and Variance

• Week 16

  • 05/06 - Course Review

Problem Sets

The following is a tentative schedule for the problem sets. Changes may be made as we progress through the course content. The problems sets will be released at least a week before they are due. They are due at the start of Tuesday lectures on the corresponding due date. Late submissions will be accepted until the start of the following Thursday lecture, with a 20% penalty applied. To allow for problem set solutions to be made available to students before Midterm 1 and Midterm 2, late submissions will not be accepted for Problem Sets that may be due on the weeks of Midterm 1 and Midterm 2.

• Problem Set #1 (Ch 1.1, 1.3, 1.4, & 1.5) due Tuesday January 28th at 1:30pm

• Problem Set #2 (Ch 1.7 & 1.8) due Tuesday February 11th at 1:30pm

• Problem Set #3 (Ch 2) due Tuesday February 25th at 1:30pm

• Problem Set #4 (Ch 5.1 - 5.3) due Tuesday March 4th at 1:30pm

• Problem Set #5 (Ch 3, 5.4, & 5.5) due Tuesday March 25th at 1:30pm

Exam Dates

• 03/06: Midterm 1 - Ch 1, 2, & 5.1 - 5.3 in class

• 04/10: Midterm 2 - Ch 3, 4, & 5.4 - 5.5 in class

• Final Exam: Cumulative on all topics (Ch 1-7)

  • All sections (TR 1:30-2:45pm): Thursday 12:00-2:00pm