Complex Systems
Exploiting computer algebra systems in computer science courses (panel)
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
The Mathematica book (4th edition)
The Mathematica book (4th edition)
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation
Journal of Automated Reasoning
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
automata: a hybrid system for computational automata theory
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
Computer algebra systems in discrete mathematics
Journal of Computing Sciences in Colleges
Teaching discrete structures: a systematic review of the literature
Proceedings of the 42nd ACM technical symposium on Computer science education
Hi-index | 0.01 |
CDM, for computational discrete mathematics, is a course that attempts to teach a number of topics in discrete mathematics to computer science majors. The course abandons the classical definition-theorem-proof model, and instead relies heavily on computation as a source of motivation and also for experimentation and illustration. The emphasis on computational issues is particularly attractive to computer science majors and increases their involvement and participation.