CSCI 1323 (Discrete Structures):
Useful Links and Other Resources

(Suggestions for additions to this page are welcome; send to bmassing@cs.trinity.edu.)

Useful links

• One-page summaries of derivation rules for propositional logic and predicate logic.

• The Web site for the textbook: http://www.whfreeman.com/gersting/. (If the site prompts you for a password at some point, see the "Note to Students" at the beginning of the textbook for what to supply.)

• A generally interesting site featuring mathematical puzzles and examples of many things we discuss: http://www.cut-the-knot.com/.

• Discussions of mathematical induction (relevant to chapter 2):
  • A general discussion.
  • A discussion with links to many examples. Some of the more accessible examples:
    • Splitting piles
    • Breaking Chocolate Bars
    • Diagonal Count
    • Solitaire on the Circle

• Examples of counting (relevant to chapter 3):
  • More examples of counting.