计算系统的形式语义 下 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

计算系统的形式语义 上 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

汉语成语大词典 【语言文字】

中华泱泱大国，上下五千年文明史。汉语成语作为历史的缩影、文明的积淀、语言的精华和智慧的结晶，在世界文化中独树一帜，光芒四射，是中华民族文化的瑰宝，是汉语园林中的艺术奇葩。它结构紧凑，格式整齐，音律和谐......

英语吴法入门 以英汉语言认知比读为动力 【语言文字】

通过重新对英语入门加以定义，采用认知语言学作为理论指导，以隐喻认知为主要原则，用简单熟悉的事物类比阐释复杂陌生的现象，化复杂为简单，化陌生为熟悉，将英语学习的拦路虎逐一消除，从而愉悦地达到精确、高效学......

铁路货车涂装色彩的符号语义 【交通运输】

本书为学术著作。书稿梳理了1949年以来我国铁路货车涂装色彩的发展演变规律，归纳了涂装用色中的现状问题，从功能性、环境性、审美性和文化性四个方面阐述了铁路货车涂装的设计要素。书稿借力于符号学的理论观...

面向俄语专业中国学生的语言文化学词汇教学 以不同语义场的职业名称教学为例 【语言文字】

计算机常用算法的设计与分析研究 【工业技术】

计算机算法是计算机科学和计算机应用的核心。本书以算法设计策略为主线，系统介绍了算法的设计方法和分析技巧。书中既涉及传统算法的实例分析，更有算法领域热点研究课题的追踪，具有较高的实用价值。本书主要内...

旅游英汉语言认知语用对比研究 【语言文字】

本研究以认知语言学理论为指导，从多方面进行旅游英汉语言对比，寻找旅游英汉语言表达的异同和存在的理据，更好地帮助学生掌握语言，促进母语在旅游英语教学中的正面迁移，有效克服跨文化交际障碍，为教育工作者、学.....

复旦大学中国周边外交研究丛书 转型期日本的对华认知与对华政策 【政治法律】

总结近代史以来日本中国观的嬗变和特点；对“对华认知”和“转型期”进行概念界定；分析日本对华认知和对华政策的互动关系；梳理战后以来特别是近年来日本对华认知的演变及其特点，阐释各个阶段的对华认知如何影响...

语用与认知语用学研究 【语言文字】

认知语言学这个名称，有广义和狭义两种理解。语言能力不是一种特殊的认知能力，它同人的一般认知能力没有什么本质上的差别，这就是狭义的“认知语言学”。本书分为六章，从六个角度对认知语言进行研究，主要是狭义的...