Applying Predicates and Quantifiers in System Specifications
Explore how to express system specifications using predicates, quantifiers, and logical connectives in discrete mathematics. Examples include defining user access to mailboxes, processes running under specific conditions, network accessibility, and server monitoring. Dive into the realm of nested quantifiers to formalize these scenarios accurately.
Download Presentation
Please find below an Image/Link to download the presentation.
The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author. Download presentation by click this link. If you encounter any issues during the download, it is possible that the publisher has removed the file from their server.
E N D
Presentation Transcript
Discrete Math: Nested Quantifiers Exercise 9
Exercise Express each of these system specifications using predicates, quantifiers, and logical connectives, if necessary. a) Every user has access to exactly one mailbox. b) There is a process that continues to run during all error conditions only if the kernel is working correctly. c) All users on the campus network can access all websites whose url has a .edu extension. d) There are exactly two systems that monitor every remote server.
References Discrete Mathematics and Its Applications, McGraw-Hill; 7th edition (June 26, 2006). Kenneth Rosen Discrete Mathematics An Open Introduction, 2nd edition. Oscar Le in A Short Course in Discrete Mathematics, 01 Dec 2004, Edward Bender & S. Gill Williamson