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 - Midterm 1 Statistics; Ch 5.5 - Program Correctness

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

• SPRING RECESS: 03/17 — 03/21

• Week 10

  • 03/25 - Ch 4.1 - Divisibility and Modular Arithmetic; Ch 4.2 - Integer Representations and Algorithms; Ch 4.3 - Primes and Greatest Common Divisors

  • 03/27 - Ch 4.3 - Primes and Greatest Common Divisors

  • 03/28 - Drop date (with W)

• Week 11

  • 04/01 - Ch 4.3 - Primes and Greatest Common Divisors; Ch 4.4 - Solving Congruences

  • 04/03 - Ch 6.1 - The Basics of Counting; Ch 6.2 - The Pigeonhole Principle

• Week 12

  • 04/08 - Midterm 2 Review

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

• Week 13

  • 04/15 - Midterm 2 Statistics

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

• Week 14

  • 04/22 - Ch 6.5 - Generalized Permutations and Combinations; Ch 7.1 - An Introduction to Discrete Probability

  • 04/24 - Ch 7.1 - An Introduction to Discrete Probability; Ch 7.2 - Probability Theory

• Week 15

  • 04/29 - Ch 7.2 - Probability Theory; Ch 7.3 - Bayes’ Theorem; Ch 7.4 - Expected Value and Variance

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

• Week 16

  • 05/06 - Ch 4.6 - Cryptography; 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 April 1st at 1:30pm

• Problem Set #6 (Ch 4.1 - 4.4) due Tuesday April 8th at 1:30pm

• Problem Set #7 (Ch 6.1 - 6.5) due Tuesday April 29th at 1:30pm

• Problem Set #8 (Ch 7) due Tuesday May 6th 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.1 - 4.4, & 5.4 - 5.5 in class

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

  • Thursday May 15th from 12:00pm - 2:00pm in HIG 110