- 山东大学出版社(1)
- 山东大学出版社(1)
- 山东人民出版社(1)
- 山东人民出版社(1)
- 江西人民出版社(1)
- 江西人民出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 福建人民出版社(1)
- 福建人民出版社(1)
- 福建人民出版社(1)
- 福建人民出版社(1)
- 江西人民出版社(1)
- 江西人民出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 山东大学出版社(1)
- 山东大学出版社(1)
- 山东人民出版社(1)
- 山东人民出版社(1)
-
数理逻辑引论——计算机科学与系统的天然基础
¥117.6(7折)定价:¥168.0本书的内容包括8章,讨论了命题演算和一阶谓词演算的希尔伯特公理系统,包括命题演算和谓词演算系统中逻辑语言的语法定义,形式推演证明系统的建立,逻辑语言的语义定义,以及两个形式系统的元理论,主要是有效性和接近性的定义和证明。以此揭示任何形式系统的组成部分、构建方法、需要研究处理的主要问题、方法和技术。还介绍了如何基于形式逻辑建立各种形式化数学系统,帮助读者理解数理逻辑和数学系统的关系。最后介绍了图灵机的定义,并且讨论了如何图灵机的状态转移
-
山东省农业生产率增长潜力与农业供给质量提升机制研究
¥30.6(6.8折)定价:¥45.0本书分为十章,在剖析山东省农业发展现状基础上从资源错配理论入手构建了农业全要素生产率的增长潜力模型,并基于山东省地市农业数据估计了农业生产率损失,从而得到了农业全要素生产率的增长潜力。然后在此基础上,从农业供给侧结构性改革的角度深入分析了山东省农业供给质量问题,创新性构建了农业供给质量的综合指标体系,并利用山东省实际数据衡量了不同地区的农业供给质量,最后在进一步实证研究的基础上提出了提升农业供给质量的机制,具有一定的学术价值...
-
青原山文化丛书 民间故事传说 净居禅寺 青原山诗文选注 心灵圣域 名贤芳踪 名胜古迹
¥98.0(7折)定价:¥140.0 -
南华经别编 庄子章义
¥42.0(7折)定价:¥60.0《南华经别编》二卷,明王宗沐撰。王宗沐(1523-1592),字新甫,号敬所,浙江临海人。是书截取《庄子》若干章节,独立成篇命名,篇次亦较原书有所调整。篇题下多王氏批语,揭示章法脉络。正文有小字旁注及夹注,旨在评点文法,说明文章结构。以明万历间施观民刻本为底本整理。 《庄子章义》五卷,清姚鼐撰。姚鼐(1732-1815),字姬传,安徽桐城人。该书将《庄子》原文各篇分为若干章,正文间夹以小字注,主在校勘文字、训释文义及评点文句。以光