基于硬件描述语言的并行逻辑模拟系统研究与实现

本书收录了2006年上海大学博士论文52篇，通过公开出版，使论文作为公共知识，转化成社会财富，产生社会影响。

直觉主义逻辑的语义基础

本书是关于直觉主义逻辑的语义基础展开了详尽讨论。作者对其中涉及到的一些基本概念进行了详尽的探讨，试图建立起直觉主义的构造性概念与经典数学对构造性的理解之间的关系，在直觉主义的几本观念上提出了一些...

西方音乐体裁及形式的演进

本书较为系统、全面地阐述了西方音乐发展历史中音乐体裁及形式的演进，内容跨越自中世纪到20世纪近1500年的时间纬度，涵盖了声乐音乐和器乐音乐中从大到小的各类体裁。对各体裁及形式的历史演进作了阐述。...

数论 2 岩泽理论和自守形式

现代数学基础13·数论II：岩泽理论和自守形式，ISBN：9787040263619，作者：（日）黑川信重，（日）栗原将人，（日）斋藤毅 著，印林生，胥鸣伟 译...

现代数字电路与逻辑设计

本书既介绍了数字电路的基本理论和经典内容，同时也介绍了数字电子技术的新成果和电路设计的新方法。叙述中减少了小规模数字集成电路的内容，突出了中、大规模数字集成电路的应用，并增加了对电子设计自动化等内...

逻辑学概论

本书分为以下三编：第一编：非形式逻辑，泛指关于日常思维中的非形式推理和论证的逻辑理论。第二编：演绎逻辑。演绎逻辑以系统的方式研究演绎推理，而演绎推理是前提的真能够保证结论的真的推理。第三编：归纳逻辑。.....

革命与形式：茅盾早期小说的现代性展开 1927-1930

本书对茅盾早期小说的文学形式进行分析，是一部文学研究著作。

逻辑思维的辩证法

全书共有九章，大致可分为两个部分：逻辑思维过程的辩证法和逻辑思维形式的辩证法。作者对逻辑思维过程的考察的主要内容是对他后来所说的“广义认识论”的四个问题的讨论：感觉能否给予客观实在？普遍、必然的科学...

上海市中学教师用书 语法 逻辑 修辞 语文教学参考书

螃蟹的逻辑 透视北约战略新概念

《螃蟹的逻辑:透视北约战略新概念》主要内容包括：北约冰凉准心刺向中国、“百步穿杨”焉称“误炸”、北约，冷战的畸形儿，关不住的活虎、奥尔布赖特，科索沃战争的替罪羊、北约魁首面面观等。...