逻辑学导论 再订本

数据库逻辑导论

经典译丛 超大规模集成电路系统导论 逻辑、电路与系统设计

本书对超大规模集成电路与系统的分析与设计进行了全面介绍。从电路与版图设计基础知识出发，再逐步深入，对超大规模集成电路设计进行了详尽阐述。本书由浅入深，理论联系实际，同时提供了大量的图表和设计实例。全...

计算机逻辑导论

逻辑导论

本书为美国大学本科教学用书。1957年5月第一次印刷，1959年7月，1962年8月，1963年6月重印。现据1963年第六次印刷译出。

自然演绎逻辑导论

本书在自然演绎系统的框架内阐述了演绎逻辑的基本内容：命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。

概率计量逻辑及其应用

本著作在作者的博士学位论文为内容框架的基础上，系统介绍概率计量逻辑的基本理论及其应用，主要是作者近十年研究工作的总结，同时也兼顾国际上此领域的最新研究成果。全书共分十章，具体内容包括：逻辑命题的概率真...

逻辑学导论

21世纪高等教育标准教材:本书共11章，内容包括词项、命题、演绎推理、归纳推理、类比推理和回溯推理、假说、论证、逻辑基本规律。

逻辑导论

本教材着重讲述了普通逻辑学的主要研究对象，命题逻辑、词项逻辑、归纳逻辑等多种逻辑类型，还讲述了逻辑的基本规律和逻辑方法。该书用精炼的语言，丰富的例题，深入浅出地介绍了逻辑学的基本知识。...

逻辑学导论

本书是一本高校逻辑基础方面的教材。主要内容包括：逻辑理论的基本知识、以及命题逻辑、一阶量化逻辑、规范逻辑初步、非演绎逻辑基础等。...