¥57.72定价:¥116.44 (4.96折)
正版!谢弗函数研究 9787811358810 暨南大学出版社【可开发票】 正版图书下单即可
逻辑联结词是逻辑的核心概念之一,刘新文编著的《谢弗函数研究》是关于逻辑联结词谢弗函数的研究。自1913年谢弗提出这一功能完备的布尔联结词以来,关于它的研究已经形成一个传统。20世纪50年代模型论出现之前,逻辑初始概念和运算的归约在逻辑研究中占据重要地位。罗素、尼科、肖菲克尔、卢卡西维茨和奎因等逻辑学家都关注过这一方面的工作,肖菲克尔的论文甚至还被编入了数理逻辑主流文献选集《从弗雷格到哥德尔:1879—1931》。这一传统由莱蒙、马里帝兹、普莱尔等人继承到20世纪下半叶,并由沃斯等人于21世纪在布尔代数、自动推理等领域作了进一步发挥。我的导师张清宇研究员自20世纪90年代以来在这一方面做过独到的系列工作,本书的研究工作就是在他的这些工作基础上开始的,从这种意义上来说,本书内容也可以看成是对他的工作进行详细阐
¥33.00定价:¥66.00 (5折)
夹层板壳非线性理论分析 刘人怀 著 暨南大学出版社 9787810798761 部分图片套装书籍可能不全 下单前请咨询线上客服
¥483.00定价:¥966.00 (5折)