邏輯學

  • DavidBarker-Plummer
  • Thistextbook/softwarepackagecoversfirst-orderlanguageinamethodappropriateforawiderangeof...
  • HaroldJeffreys
  • AnothertitleinthereissuedOxfordClassicTextsinthePhysicalSciencesseries,Jeffrey'sTheoryof...
  • 王宪钧
  • 本书是著名数理逻辑哲学家王宪钧教授的代表作,共分三篇,前两篇“命题演算”和“狭谓词演算”,讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详细易懂,第三篇是关于...

邏輯學相关书籍

城市轨道交通前沿研究(第3輯) 电子书
城市轨道交通有运力强、出行效率高、安全性强、经济环保等优点,因而城市轨道交通逐渐成为我国很多城市公共交通发展的主要方向。为促进城市轨道交通产业发展,提高城市轨道交通建设与运营水平,提高从业人员的学术研究能力,本书对青岛地铁产业协会评选出的年度优秀获奖论文进行了汇编,文章作者都为青岛地铁产业协会会员单位的管理人员和技术工作者。文章内容涉及面广,从规划设计、土建工程、装备集成、运营管理、资源开发等方面
城市轨道交通前沿研究(第2輯) 电子书
城市轨道交通有运力强、出行效率高、安全性强、经济环保等优点,因而城市轨道交通逐渐成为我国很多城市公共交通发展的主要方向。为促进城市轨道交通产业发展,提高城市轨道交通建设与运营水平,提高从业人员的学术研究能力,张君主编的《城市轨道交通前沿研究(第2辑)》对青岛地铁产业协会评选出的年度优秀获奖论文进行了汇编,文章作者都为青岛地铁产业协会会员单位的管理人员和技术工作者。文章内容涉及面广,从规划设计、土建
城市轨道交通前沿研究(第1輯) 电子书
城市轨道交通有运力强、出行效率高、安全性强、经济环保等优点,因而城市轨道交通逐渐成为我国很多城市公共交通发展的主要方向。为促进城市轨道交通产业发展,提高城市轨道交通建设与运营水平,提高从业人员的学术研究能力,张君主编的《城市轨道交通前沿研究(第1辑)》对青岛地铁产业协会评选出的年度优秀获奖论文进行了汇编,文章作者都为青岛地铁产业协会会员单位的管理人员和技术工作者。文章内容涉及面广,从规划设计、土建
中醫典籍與文化(2022年第1輯/總第4期):出土医学文献与文物 电子书
本书主题为“出土医学文献与文物”,主要以出土文献为关切点,从跨学科综合研究的角度着重研讨出土医学文献与文物的诸多问题。其中“字词考释”专题,主要是从语言文字学的角度考释文本;“文献考证”专题,主要是基于语言文字的释读,从文献学的角度考证文本;“综合考论”专题,主要是基于字词和文献的实证研究,综合探讨出土医学文献与文物的整体意义。此外书中还有1篇以“医疗社会史在中国”圆桌会议的研讨专稿,1篇向学术界
戏曲与俗文学研究(第五辑) 电子书
中国俗文学学会、中山大学中国古文献研究所主办刊物,本册是第五辑。
数学思维导论:学会像数学家一样思考 电子书
  写给高中生、大学生以及所有希望提高分析思维能力者的数学思维入门书   大师教你学会像数学家一样思考,顺利完成从中学数学到大学数学的过渡,或者让你掌握在各行各业获得成功所需要的关键性思维能力   Coursera热门课程《数学思维导论》配套教科书,结合线上课程,必能获得更好的学习效果