---

CSCE235 Introduction to Discrete Structures Spring 2008

---

Resources

---

Have you wondered why as a CS major you are required to take Discrete Structures or Discrete Mathematics? Do these things have anything to do with Computer Science? With programming? As long as I can program, who needs these Discrete Structures/Mathematics?

However, there are many things used in CS, and yes, in programming too, that require you to think mathematically, to solve problems mathematically.

Here are some interesting documents that you may want to read:

• Bruce, K., S. Drysdale, C. Keleman, and A. Tucker (2003). Why Math? Communications of the ACM, 43(9):40-44.

• Henderson, P. B. (2003). Mathematical Reasoning in Software Engineering Education, Communications of the ACM, 43(9):45-50.

Here are some interesting news that you may want to check out:

• Student finds largest known prime number, 2003 go, CNN

• Russian may have solved great math mystery, 2004 go, CNN

Here are some links that you may want to check out:

• Working Group on Integrating Mathematical Reasoning into CS Curricula

• Educational Logic Software
  • ALFIE
  • ARISTOTLE
  • BERTIE3
  • BOOLE
  • FITCH
  • THORALF
  • Logic Toolbox
  • New Pandora
  • PLATO