CS 132 Discrete Structures in Computer Science Syllabus Spring 2017
CS 132 Discrete Structures in Computer Science Syllabus Spring 2017
Chapters
(in 6th
Edition)
Topics Covered
Applications
Meeting
1 (Week
of 1/17)
Ch 1.1
Ch 1.4
Ch 1.6
The Foundations:
Propositional Logic,
Propositional
Equivalences,
Predicates and
Quantifiers; Rules of
Inference
Artificial
Intelligence
Homework 1
Ch 1.7
Ch 1.8
Ch 5.1
Introduction to
Proofs. Proof
Methods & Strategy;
Mathematical
Induction
Programming
Languages,
Program
Correctness
Homework 2
Ch 10.1
Ch 10.8
Graphs:
Introduction,
Terminology,
Representations,
Graph Isomorphism,
Connectivity, Euler
and Hamilton Paths,
Shortest-Path
Problems, Planar
Graphs, Graph
Coloring.
Applications of
Networks such
Internets, Ad-Hoc
Wireless
Networks, VLSI
Design, Computer
Vision
Homework 3
2 (Week
of 1/24)
3 (Week
of 1/31)
4 (Week
of 2/7)
5 (Week
of 2/14)
(2/21)
Tuesday
follows a
Monday
Schedule
6 (Week
of 2/28)
Midterm EXAM
(3/9)- Contents will be
discussed in the class
Ch 11.1
Ch 11.5
Trees An
Introduction,
Applications of
Networks,
Applications, Tree
Traversal, Spanning
Trees, Minimum
Spanning Trees
9 (Week
of 3/28)
Information
Theory, Artificial
Intelligence
Project Discussion
10
(Week of
3/31)
Ch 2.1
2.3, 2.5
Basic Structures:
Sets, Functions
Databases
11
(Week of
4/4)
Ch 4.5
Ch 4.6
Applications of
Congruence,
Cryptography
Cryptography
12
(Week of
4/11)
13
(Week of
4/18)
14
(Week of
4/25)
Ch 6.1
Ch 6.3
Counting: The
Basics, The
Pigeonhole Principle,
Permutations and
Combinations
Applications of
Security,
Internets
15
(Week of
5/2)
Class Review
Homework 4
Homework 5