辩证法与形式逻辑相关电子书下载

广东师范学院政治历史系编1977 年出版295 页ISBN：

孙小礼主编；吴义生卷主编1999 年出版346 页ISBN：704007303X

孙小礼主编；张瑞琨卷主编1992 年出版309 页ISBN：7040035839

上海教育学院政教系主编1984 年出版492 页ISBN：7232·180

辽宁师院政教系哲学教研室编1973 年出版101 页ISBN：

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

王皓著2018 年出版173 页ISBN：9787513649971

知识经济已经成为现实，其对企业生存与发展、企业管理理论和实践的影响是全方位的。知识日益成为决定企业生存与发展、企业市场竞争力的决定性因素，企业的可持续竞争优势的源泉不再由物质资产决定，而转由与知识...

马佩编1981 年出版178 页ISBN：

夏从亚，谷晓芸，包双叶主编2012 年出版259 页ISBN：9787563636525

本书为中国石油大学（华东）规划教材，对自然辩证法的研究对象、内容和性质，科学技术发展与自然观的变革，科学技术的一般理解，科学技术发展的动力机制，科学技术的价值等内容进行了介绍。...

（宋）邓名世撰；王力平点校2006 年出版743 页ISBN：7210033467

本书作者搜罗宋及宋以前历代姓氏文献，如先秦诸子、尚书、诗歌，汉唐文献，对当时所能见到的关于姓氏的起源、郡望、名人、流布的记载作或详或略的考证，为后世留下了大量的文献资料。...