应用逻辑 = Logic for applications:英文版
Saved in:
Main Authors: | ; |
---|---|
Published: |
机械工业出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2006 |
Literature type: | Book |
Language: | English |
Edition: | 影印本 |
Series: |
经典原版书库 |
Subjects: | |
Carrier Form: | 11,456页: ; 25cm |
ISBN: | 7-111-19772-0 |
Index Number: | O141 |
CLC: | O141 |
Call Number: | O141/7262 |
Contents: | 本书是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书,书中强调了演绎作为计算的一种形式的概念,系统介绍了集合论基础知识,并对该主题提供历史综述。 |