CS250 Home Page

CS250 Discrete Structures Spring 2001

Please note the materials are used only as reference for students in cs250, Spring 2001.

Syllabus (Notice the Final exam is on June 5, 2:00pm-5:00pm)
Class Information
Lecture Notes (HTML for Microsoft Windows users, PostScript for Unix/Linux users)

#1:Introduction HTML PostScript Review HTML PostScript
#2:Tautology HTML PostScript Propositional Logic HTML PostScript
#3:Preparation for Predicate Logic HTML PostScript Predicate Logic (1) HTML PostScript
#4:Predicate Logic (2) HTML PostScript
#5: Reasoning and Proof HTML PostScript Mathematical Induction HTML PostScript Recursion HTML PostScript
#6, #7: Recursive Algorithms HTML PostScript;
Program Verification (A topic related to semantics of programming languages. Section 1.6 and Section 2.3)
#8: Sets HTML PostScript
#9: Mid-term Review and Problem Solving (Mid-term exam information is posted here in case you were absent.)
#10: midterm exam
#11: Combinatorics and four principles HTML PostScript
#12: Permutations and Combinations HTML PostScript
#13: Relations HTML PostScript
#14: Functions HTML PostScript
#15: Introduction to Matrices HTML PostScript
#16: Graphs HTML PostScript
#17: Trees HTML PostScript
#18: Decision Trees HTML PostScript Graph Traversal HTML PostScript
#19 Review

#1: Exercise 1.1: 7. 11. c) e) g) i) 19. b) c) 21. 22. Exercise 1.2: 2. 7. 13. 14. 15. 16. 17. 19. 20. 24.
Due: April 5.
#2: Exercise 1.3: 9, 13. b) c) 16. b) c) 17. a) b) Exercise 1.4: 1, 5, 12, 23, 24
Due: April 12.
#3: Exercise 2.2: 6, 22, 35 Exercise 2.4: 6, 12, 21, 22, 27, 53, 69
Due: April 19 (Problem No. 27 of exercise 2.4 does not count).
#4: Exercise 3.1: 5.b, 5.c, 6.a, 6.d, 11, 17, 21, 37.a, 37.c, 37.e, 38, 54.a, 54.c, 54.e
#5: Exercise 3.2: 5, 12, 16, 18, 25-30; Exercise 3.3: 4, 11, 15; Exercise 3.4: 3, 6, 14, 40-42, 48, 50
Due: May, 10
#6: Exercise 4.1: 6.a, 6.c, 13, 17, 23, 29, 34; Exercise 4.4: 6.a, 6.c. 6.e, 9, 19, 25.a, 25.b, 26
Due: May 17.
#7: Exercise 4.5: 2, 4, 5b, 5c, 5f, 7, 10a
Due: May 24.
#8: Exercise 5.1: 2, 6, 8, 10, 11, 20, 22. Exercise 5.2: 2, 3, 17, 28. Exercise:5.3: 2, 9, 15.

On page 21 of the text book, under the definition of valid argument, "example 8" should be "example 9".
Download PostScript document viewer (free) if you use Microsoft Windows.
Information about proof theory
Proof Methods

wangy@cis.uab.edu