>Do you have a good link or book for "Z notation"? I'm curious about it.
Check this book out. The title explains what the book is all about. This is the book which I'm referring at the movement.
http://www.cs.cmu.edu/~15819/zedbook.pdf
Thanks
Steve thanks for the reply. By far i have noticed that not many people know Z notation. And I’m quite surprised why then the universities prefer to use Z for teaching. Since I’m a learner what is the standard notation for set theory? Any links to understand the standard notation would be very...
Hello all,
I'm in the process of simplifying the following equation using one-point rule and other predicate logic. But I’m a bit stuck with where to start or which inference rule to use first.
Please help or any pointers would be much appreciated.
Thanks