Mathematical logic for computer science modeling and reasoning (English 2)(Chinese Edition) - Softcover

YING HU SI DENG

Softcover

ISBN 10: 7111160533 ISBN 13: 9787111160533

Publisher: Machinery Industry Press, 2000

Synopsis

Paperback. Pub 2005 427 English the Machine Press mathematical logic is one of the foundations of computer science. have a wide range of applications in the statute and the verification of the model system. With the increasing complexity of today's software and hardware products. mathematical logic has become more and more everyday tools for design and development staff. Mathematical logic for computer science modeling and reasoning (English 2) suitable mathematical logic. formal methods course materials as the universities computer and related professional. covering propositional logic. predicate logic. modal logic and content of Agent binary decision diagram. model checking and program verification. Compared to traditional mathematical logic textbook. its main features is tightly around the hardware and software Statute and verify the them...

Edition details

• Publisher: Machinery Industry Press
• Publication date: 2000
• Language: English
• ISBN 10: 7111160533
• ISBN 13: 9787111160533
• Binding: Paperback