This textbook is uniquely written with dual purpose. It covers core material in the foundations of computing for graduate students in computer science and also provides an introduction to some more a
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations
The monitoring and control of a system whose behaviour is highly uncertain is an important and challenging practical problem. Methods of solution based on fuzzy techniques have generated considerable