Introductory logic and formal methods
著者
書誌事項
Introductory logic and formal methods
Alfred Waller, 1994
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 214
Includes index
内容説明・目次
内容説明
Formal methods are becoming of increasing importance, and are now part of most computer science courses. This book covers the core requirements of logic and predicate calculus for computer scientists, and introduces the formal specification language Z. The emphasis in any formal specification language is on rigour. The production of high-integrity software demands correct, accurate and precise software specification. Using the English language to specify software requirements allows the possibility of ambigiuty as the same word can be interpreted in different ways by different people. Formal methods of specification, which rely heavily on mathematics and logic have been developed to provide a framework allowing precise software specification. Computer scientists must therefore be familiar with the rudiments of logic and discrete mathematics, topics which are covered in this book. The computer language Z is used for much formal specification. This book introduces Z, and explains how it can be used effectively in the precise and concise description of systems and the specification of software for those systems.
目次
- Mathematical preliminaries - sets, relations, functions
- propositional logic and calculus - syntax, semantics, conditional statements, implications, logical equivalence, tautologies, deductive rules
- predicate calculus
- overview of formal methods
- introduction to Z
- Z calculus
- illustrative examples using Z.
「Nielsen BookData」 より