"Nifty Examples in Discrete Mathematics"

SIGCSE 2004 Workshop

Peter B. Henderson, Butler University ( phenders@butler.edu )
Bill Marion, Valparaiso University ( Bill.MarionJr@valpo.edu )

Welcome Discrete Math Instructors

Workshop Description

Henderson's Power Point Slides

Please send us your nifty examples!! ( phenders@butler.edu )

• Handouts (Microsoft Word Documents)
• Logic 1
• Paper Folding
• XMass Stockings Counting
• Match Stick Patterns
• Car Trip - simple math?
• Intervals - counting & patterns
• Basic Sets
• Basic Sets 2
• Lab Maze - counting
• Red & Blue Bead Counting
• Logic - Advanced
• Programming Logic : if - then - else
• Walking Invariant Patterns
• Penny Piles - states & invariants
• Penny Piles 2 - states & invariants ( Standard ML solution )
• Card Shuffle
• Perfect Shuffle ( Standard ML solution )
• Partitioning a list
• Eggs in Basket - Modular arithmetic
• Relations & Graphs
• Brown Eyed Natives - advanced induction
• Circle of Lights - states & invariants
• Inverse Binary Tree Traversal




• Contributed Examples
• Chuck a Luck Logic (.doc)


• Induction using inequalities (.doc)


• Discrete Math Fallacies (.doc)


• MAA PREP Workshop Contributions 2004




• Resources (more forthcoming)
• Math in CS reasoning group ( www.math-in-cs.org )
• Some sample problems drawing on mathematical reasoning
• ITICSE 2002 Materials Working Group Examples
• "The Role of Logic in Teaching Proof," by Susanna Epp, in American Mathematical Monthly, Dec. 2003.
  Reprints available from sepp@condor.depaul.edu