ACM SIGCSE Bulletin
Using an automated reasoning program as a CS application in discrete mathematics
Journal of Computing Sciences in Colleges
Information Sciences: an International Journal
A new approach to mine frequent patterns using item-transformation methods
Information Systems
Choose topics for MACS seminars
Journal of Computing Sciences in Colleges
Computerised dynamic Gantt-chart for maintenance scheduling and management
International Journal of Computer Applications in Technology
Modelling PLC characteristics for resource allocation
International Journal of Computer Applications in Technology
Structural group auditing of a UMLS semantic type's extent
Journal of Biomedical Informatics
Teaching mathematical proofs to CS major students in the class of discrete mathematics
Journal of Computing Sciences in Colleges
AusPDC '11 Proceedings of the Ninth Australasian Symposium on Parallel and Distributed Computing - Volume 118
Reductions and Saturation Reductions of (Abstract) Knowledge Bases
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.05 |
From the Publisher:This best-selling book provides an accessible introduction to discrete mathematics through an algorithmic approach that focuses on problem- solving techniques. This edition has the techniques of proofs woven into the text as a running theme and each chapter has the problem-solving corner. The text provides complete coverage of: Logic and Proofs; Algorithms; Counting Methods and the Pigeonhole Principle; Recurrence Relations; Graph Theory; Trees; Network Models; Boolean Algebra and Combinatorial Circuits; Automata, Grammars, and Languages; Computational Geometry. For individuals interested in mastering introductory discrete mathematics.