CSE 311: Foundations of Computing
announcements
Fall 2013
Lecture 11: Modular arithmetic and applications
Reading assignment
Modular arithmetic
4.1-4.3, 7th edition
3.4-3.6, 6th edition
review: divisibility
Integers a, b, with a 0, we say that a divides b
CSE 311: Foundations of Computing
announcements
Fall 2013
Lecture 8: Proofs and Set theory
Reading assignment
Logical inference
1.6-1.7 7th Edition
1.5-1.7 6th Edition
Set theory
2.1-2.3 (both editions)
review: proofs
review: an inference rule- Modus Po
CSE 311: Foundations of Computing
administrative
Fall 2013
Lecture 2: Propositional logic
Course web: http:/www.cs.washington.edu/311
Office hours: 10 hours available; check web
Homework #1: Posted. Turn in (stapled) at the
start of class on Wednesday (Oc
CSE 311: Foundations of Computing
announcements
Fall 2013
Lecture 4: Boolean algebra and circuits
Reading assignment
Boolean Algebra
12.1 12.3 7th Edition
11.1 11.3 6th Edition
Homework 1 due today
Hand in at start of class
Homework 2 available online l
CSE 311: Foundations of Computing
announcements
Fall 2013
Lecture 14: Mathematical Induction
Reading assignment
Induction
5.1-5.2, 7th edition
4.1-4.2, 6th edition
mathematical induction
Method for proving statements about all integers
0.
Part of sound