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

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

当代形式逻辑引论

本书作为真正的逻辑科学的传统形式逻辑源远流长，具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想，向人类认识世界、改造世界提供效能卓著的从已知...

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

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

博物馆陈列形式设计析览

本书是作者多年来对陈列艺术以图文并茂形式总结并集结成书，内容分为：一、已实施的设计方案施工图及现场图片来阐述设计思路和创作思路。二、摘录部分为实施的设计方案作为一种手段来表现观点供读者参考。本书...

网络安全协议的形式化分析与验证

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

《形式逻辑》百学要点和思考题、练习题解答

形式主义的花园

该诗集记录了作者写作三十年来的思想探索与生命体验，内容丰富，艺术品质前卫而成熟。其创作手法以抒情与叙事的混合为特色，同时充满哲学思考与生活情趣，风格深邃而不乏诙谐，充满现代感与文化意识。作为一位广有影...

社会学 关于社会化形式的研究

本书介绍了群体的量的确定性，社会集团的交错，社会群体的自我保存，社会的空间和空间的秩序，群体的扩大和个性的培养等内容。

形式汉语句法学 第2版

本书是《西方最新语言学理论译介》丛书之一，介绍了汉语形式句法学研究的重要性及相关研究以及当前国际语言学界关于形式语法研究的最新进展。全书沿用比较“传统”的模式，把形式句法学的基本原理融人课程里，让...

汉语形容词重叠形式的历史发展

本书研究了AA、AABB、ABB、A里AB和ABAB五种形容词重叠格式的产生和演变，考察了它们的结构、句法功能和语法意义在不同历史时期的发展变化，总结了形容词重叠形式演变的动因、机制和发展趋势。...