ICS 6B
Boolean Algebra and Logic
Fall 2015


Course Information

Schedule:

All reading assignments refer to the Zyante text. Unless otherwise stated, each reading assignment is due by 2PM on the day indicated.

Week Dates Quizes Homework Topics Reading Board
Notes
Week 0 Sept 25 - - Course logistics - Slides
Week 1 Sept 28-Oct 2 - HW 1 Due Oct 7
Solutions
Propositional Logic Mon: 1.1, 1.2
Wed: 1.3, 1.4
Fri: 1.5, 1.6
Mon
Wed
Fri
Week 2 Oct 5-9 - HW 2 Due Oct 14
Solutions
Quanitfiers
Logical reasoning
Mon: 1.7 - 1.9
Wed: 1.10, 1.11
Fri: 1.12
Chapter 1 reading
Due 2PM Oct 12
Mon
Wed
Fri
Week 3 Oct 12-16 Test 1
Oct 12
on Sections 1.1-1.6
HW 3 Due Oct 21
Solutions
Proofs Wed: 2.1-2.3
Fri: 2.4, 2.5
Wed
Fri, part 1
Fri, part 2
Week 4 Oct 19-23 - HW 4 Due Oct 28
Solutions
Sets
Functions
Mon: 3.1-3.3
Wed: 3.4-3.6
Fri: 4.1-4.3
Mon
Wed
Fri
Week 5 Oct 26-30 Test 2
Mon Oct 26
on Sections 1.7-1.12
Sections 2.1-2.5
HW 5 Nov 4
Solutions
Functions, cont.
Binary Relations
Wed: 4.4-4.5
Fri: 6.1-6.2
Wed
Fri
Week 6 Nov 2-6 - HW 6
Due Fri Nov 13
Solutions
Binary Relns.
Directed Graphs
Matrix mult.
Partial Orders
Strict Orders
Equiv. Relns.
Mon: 6.3-6.4
Wed: 6.5-6.6
Fri: 6.7-6.9
Mon
Wed
Fri
Week 7 Nov 9-13
No class Wed Nov 11
Test 3
Mon Nov 9
on Sections 3.1-3.6
Sections 4.1-4.5
Sections 6.1-6.2
Test 3 Solutions
HW 7 Due Nov 18
Solutions
N-ary relations Fri: 6.10 Fri
Section 6.10 Examples
Week 8 Nov 16-20 - HW 8 Due Nov 25
Solutions
Boolean Algebra
Boolean Circuits
Mon: 5.1-5.3
Wed: 5.4-5.5
Fri: 5.6
Mon
Wed
Fri
Week 9 Nov 23-25
No class Fri Nov 29
Test 4
Mon Nov 23
on Sections 6.3-6.10
HW 9 Due Dec 2
Solutions
Finite state machines Wed: 7.4 Wed
Week 10 Nov 30-Dec4 - - Turing machines
Review
Mon: 7.5, 7.6
Wed: no new reading
Fri: no new reading
Mon
Wed
Fri
Finals Week Dec 7-11 Final Exam
Friday, Dec 11
1:30-3:30PM
PSLH 100
- - - -