当前位置:首页 > TAG信息列表 > 形式
形式
-
自然语言处理的形式模型
冯志伟著2010 年出版638 页ISBN:9787312022531本书对自然语言处理中的各种形式模型进行了系统的梳理,分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式模型、基于格语法的形式模型、基于词汇主义的形式模型、语义自...
-
“要求确认”表现形式的日汉对比研究
张兴著2008 年出版236 页ISBN:7560075444本书的主要内容是,在“话语管理理论”的基础上,将“标记理论”运用于由句子命题来表示的说话人信息的研究,提出了“信息标记模型”的研究框架,尝试了对现代日语中“だろう”(包括“だろうか”)、“のではないか”...
-
数量形式的经济学与经管科学
赵中奇,李桃著2005 年出版231 页ISBN:7810821318本书以分布参数控制理论与方法讨论和研究了经济学和经济管理科学中的问题。从拓扑学的角度重新表述了经济均衡理论,定义了不同形式的均衡,并证明了各种均衡间的关系;书中用分布参数控制理论研究了最优化管理与...
-
设计基础:来自自然的形式
邬烈炎编著2003 年出版99 页ISBN:7534416272本书以认识自然为途径,强调对自然的观察与分析能力的形成,对于拓展思维结构与增强视觉形式把握能力产生作用。进一步力图通过自然中多种抽象因素及其表现形式的剖析,使学习者对形式概念有更透彻的了解。...
-
软件开发的形式化方法
古天龙著2005 年出版265 页ISBN:704016079X形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度,形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地,形式化方法是软件规格和验证的方法。本书对软件开发中的形...