Using an automated reasoning program as a CS application in discrete mathematics
NohlDaniel · Journal of computing sciences in colleges · 2007
Connections between topics in discrete mathematics and applications to computer science could enhance the discrete mathematics course. Showing students these connections through good interesting ex...