应用逻辑
Saved in:
Main Authors: | ; |
---|---|
Group Author: | |
Published: |
机械工业出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2007 |
Literature type: | Book |
Language: | Chinese |
Series: |
计算机科学丛书 |
Subjects: | |
Carrier Form: | 13,284页: ; 26cm |
ISBN: | 978-7-111-21404-5 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/7262-1 |
Contents: | 本书是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑)。 |
Note: | 译者还有:徐亚涛、吴永成、金陈园 |