Increased student participation in a discrete mathematics course
Journal of Computing Sciences in Colleges
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
Loop trees: a new theme in structured programming and discrete structures
Journal of Computing Sciences in Colleges
Experimental analysis of application-level intrusion detection algorithms
International Journal of Security and Networks
Hi-index | 0.05 |
From the Publisher:Our original plan for this edition was just to add a chapter on probability, to make some of the more difficult sections less abstract, and to revise the treatment of recursion and induction. When we got into the project, we saw that a massive reorganization could greatly increase the book's flexibility as a text as well as draw together topics that are closely related. The resulting major revision includes substantial new material as well as what we think are clearer accounts of topics in the second edition, all reordered to fit a wider range of courses than before.