类似推荐
动态光学补偿定向基准研究是2019年由机械工业出版社出版,作者郑阳 王加科 张磊 张凯 著。
得书感谢您对《动态光学补偿定向基准研究》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
