论文部分内容阅读
该文试图构建一个以语言信息的动态理论为框架基础,以λ-演算为主要工具的上容的语义学的框架,提供一套自然语言语义的殂式化描述语言(元语言).
语义学的数学基础
【摘 要】
：
该文试图构建一个以语言信息的动态理论为框架基础,以λ-演算为主要工具的上容的语义学的框架,提供一套自然语言语义的殂式化描述语言(元语言).
【机 构】
：
北京大学
【出 处】
：
北京大学
【发表日期】
：
1999年期
其他文献
在当今社会，复合材料已经被广泛地应用于生产、生活的各个领域，复合材料作为一种结合材料，是由两种或两种以上不同的物质以不同的方式组合存一起的材料，它的破坏往往是从结合处或
该文首先讨论了判断相邻的齐次Bezout数大小的充分条件,并指出这些条件上可以在多项式时间内验证的.在此基础上,该文通过定义可行解邻域,提出了一种不直接计算目标函数,而是
CATV宽带数据通信网作为公共广域网,是一个包括各级(国家级、省级、城市级)骨干网以及用户接入的全网建设,具有规模大、结构复杂、业务类型多、业务流量分布不均匀等特点.该
非线性互补问题是变分不等式的重要类型之一.它在经济学、运筹学、控制论、交通运输等众多领域有广泛的应用.近年来，越来越多的学者热衷于研究非线性互补问题，以致各种算法层出
中宣部主管的《党建》杂志2004年第一期载文指出,2004年中心学习组的学习需要把握几个重点: 一、要坚持把学习马克思主义,特别是“三个代表”重要思想作为中心内容。 二、要
该文的工作主要在以下四个方面.第一,作者研究分式线笥规划问题的投影尺度内点算法,现行的投影尺度算法如Gay算法为了保证算法的多项式时间收敛性,存在着"须事先知道一个初始
该文根据文[8]利用点和平面间的对偶性这种设计可展曲面的新思想,将其均匀三次样条上可展面的研究结论扩展到四次、五次、六次直到任意次均匀样条上的可展面的设计,并把均匀
谱共轭梯度法是将谱梯度法和共轭梯度法的思想结合起来的一种方法，它具有存储需求量小、算法简单、易于实现等优点，因此在自然科学、社会科学、生产实践、工程设计和现代化管理