面向计算机科学的数理逻辑相关电子书下载

缪征明编著1987 年出版284 页ISBN：7536401884

（美）斯穆里安著2011 年出版234 页ISBN：

（苏）伊·戈·布留明1983 年出版0 页ISBN：

闻新等编著2001 年出版261 页ISBN：7030092449

张旭升著2016 年出版242 页ISBN：7516181638

李立景著2011 年出版211 页ISBN：9787509330166

本书基于程序与实体一体化的范式，对亲告罪刑事立法上对实体产生重要影响程序问题纳入研究视野，对自诉罪不同法个性进行理论探讨，论述亲告罪的立法价值，对刑法目的罚与恢复进行前瞻。...

陶永谊著2011 年出版332 页ISBN：9787111345404

一提起经济学，大家就会很自然地想起“自利”、“最大化”和那只“看不见的手”，这一系列支撑起整个经济学框架体系的原则，似乎成了颠扑不破的真理。然而，通过对这些原则的深入剖析，本书会向您展示一幅截然不同的...

2222 年出版0 页ISBN：

袁祖社著2011 年出版324 页ISBN：

王正林，龚纯，何倩编著2009 年出版449 页ISBN：9787121091247;9787894643445

本书结合高校数学课程教学和工程科学计算应用的需要，从实用角度出发，通过大量的算法实现和典型应用实例，详尽系统地讲述MATLAB在插值、函数逼近与曲线拟合、数值积分、数值微分、线性方程组求解、非线性方程求...