Introducing formal methods through role-playing
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
| Hi-index | 0.00 |
From the Publisher:The Essence of Discrete Mathematics is an exciting new publication that is essential for a first course in discrete mathematics. Assuming no prior knowledge, this invaluable text immediately helps the reader to grow in mathematical maturity, and understand the basic concepts of discrete mathematics. The often discarded fundamentals of sets and logic supply the foundations for learning, and provide clear instructions on how to calculate values for mathematical expressions for small finite sets. Having mastered the basics, relations and functions are then examined through an introduction to intuitive notions. Modelling relations and functions with sets are investigated, and the practical applications of modelling with sets and logic are described. The text concludes with an invitation for all readers to continue their mathematical growth. The Essence of Discrete Mathematics is meant to be the beginning and not the end. Key features: covers the core elements of a first course in discrete mathematics; sets of numbers are used extensively throughout the text to offer a gentle and familiar introduction to the subject; non-numerical methods are studied through an informative case study that consolidates the concepts and techniques covered in the text, and shows how they can be applied; this case study is gradually developed throughout the book.