Modular Forms and Fermat's Last Theorem = 模形式与费马大定理
Gary Cornell ; Joseph H. Silverman ; Glenn Stevens2014 年出版582 页ISBN:7510070174
(美)布勒斯(Boolos,G.S.)等著2003 年出版356 页ISBN:7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改写了某些章节,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。...
(德)曼弗雷德·平克尔著;郭曙纶,李学宁译2017 年出版341 页ISBN:9787519240691
语义标示不足是自然语言既基本又普遍的性质。这本专著对模糊性领域的各种现象做了全面的调查。书中论述了语义不确定性的主要理论(这些理论是针对语言学、哲学和计算机科学等领域提出的),主张把不确定性看作进...
(美)罗伯特·特里弗斯著;孟盈珂译2016 年出版253 页ISBN:9787111517702
当我们坐在驾驶舱中准备奔赴战场,或是身处一段爱情关系,一场办公室纠纷中的时候,我们有太多的机会欺骗和自欺,虽然我们也能意识到这么做有多么脱离现实,会带来多么可怕的灾难。但是我们还是会这么做。这本书主要...
侯伯亨,刘凯,顾新编著2014 年出版356 页ISBN:9787560634265
本书是原书第三版的简明版,删去了原书中的有关内容和附录A,以便于阅读和使用。该书系统地介绍了用VHDL语言设计数字系统和数字逻辑电路硬件的方法。工程实例丰富,便于学习和理解,对从事实际电子电路设计人员有...
中国逻辑学会中国逻辑史专业委员会编写2011 年出版607 页ISBN:9787500498445
中国逻辑史专业委员会原名中国逻辑史研究会,是在杨芾荪、温公颐、虞愚、李匡武等四位前辈的联合倡议下,于1980年12月在广州越秀宾馆成立的,至今已有30个年头;这四位倡议者,如今虽然都已作古,而他们所倡议的中国逻...
(美)小威廉·H.休厄尔著;朱联璧,费滢译2012 年出版405 页ISBN:9787208111301
本书是美国历史学者小威廉·休厄尔的代表作,收集了作者多年来在历史社会学领域的若干重要论文。本书中,作者注意到社会科学(尤以社会学为代表)与历史学之间理论对话,并这一学术现状提出了直言不讳的批评。作者认...
新起点备战2003年MBA全国联考系列丛书 4 语文写作与逻辑
北京新起点学校MBA全国联考命题研究组编2002 年出版450 页ISBN:7801592980
教材系列:本书分为两部分,语文写作部分和逻辑部分,书后附有北京新起点学校2001年MBA模拟逻辑试题及解析、2000年和2001年全国MBA联考逻辑试题分析及训练题目参考答案。...
(日)川口卫,阿部优,松谷宥彦,川崎一雄著;王小盾,陈志华译2017 年出版143 页ISBN:9787302473282
本书在结构力学、结构设计与建筑物形态方面进行图示和说明,展现了结构对建筑的重要性,特别是结构对建筑物安全性和建筑美学方面的贡献,可以帮助读者了解到人类长久以来致力于使“力”和“美”相互完美结合的努...
李宏剑著2015 年出版284 页ISBN:9787507430370
该书以马列主义思想解读中国梦的哲学原理,对于该领域的研究者有一定的借鉴意义。作者用他的执着和对社会主义的信仰,以及对社会主义中国的热爱,成就了该书,使该书在理论中有一定的激情。该书是一家之言。每个中...