for Mathematical Logic in Computer Science (Second Edition) (Chinese Academy of Sciences Graduate Teaching Series)(Chinese Edition) - Softcover

Softcover

ISBN 10: 7030096576 ISBN 13: 9787030096579

Synopsis

The paperback. Pub Date: 2002 01 of Pages: 263 in Publisher: Science Press mathematical logic for computer science (2) describes the computer science in close contact with each other but related mathematical logic foundation sexual content. including classical logic and non-classical logic. constructive logic and modal logic. Mathematical logic for computer science (2nd edition) considered in the selection logic system characteristics. and to adapt to the requirements of the computer science. mathematical logic for computer science (2) to study various logic background. language. semantics. deduction. as well as issues such as reliability and completeness. Mathematical logic for computer science (2nd edition) Most of the chapters with exercises. Contents: Introduction Chapter Preliminaries 1.1 set 1.2 2.8 coupling inductive definition of induction to prove the second chapter...

Edition details

• Language: Chinese
• ISBN 10: 7030096576
• ISBN 13: 9787030096579
• Binding: Paperback