期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
关于逻辑函词演算的建立
1
作者 莫绍揆 《数学年刊(A辑)》 CSCD 北大核心 1992年第1期20-24,共5页
建立逻辑函词演算如下。本原逻辑函词: C_a(x)=a,I_(mn)(x_1,…,x_m)=x_n(1≤n≤m)。配对函词pg,K,L使得 Kpg(x,y)=x,Lpg(x,y)=y。求逆算子τ,当f为1-1函词时它将f(x)变成?f(x)(亦记为f^(-1)(a))使得即 f(f^(-1)(a))=a。递归鼻子p^V它... 建立逻辑函词演算如下。本原逻辑函词: C_a(x)=a,I_(mn)(x_1,…,x_m)=x_n(1≤n≤m)。配对函词pg,K,L使得 Kpg(x,y)=x,Lpg(x,y)=y。求逆算子τ,当f为1-1函词时它将f(x)变成?f(x)(亦记为f^(-1)(a))使得即 f(f^(-1)(a))=a。递归鼻子p^V它将两函词g(x)与f(x,y)变成?{g(x),f(x,y)}(暂记为k(a,b,c))使得这是—般递归式的一种。以上的x,y叫做作用变元(指导变元,为约束变元),而a,b,c叫做新添变元(自由变元)。当g(x)为1-1函词时,可将?{g^(-1)(x),,f(x,y)}记为?·{g(x),f(x,y)}或h(a,b,c),则有:这是原始递归式的一种。 展开更多
关键词 逻辑函词演算 本原函词 配对函词
下载PDF
算子与概括过程──一个无类型的完备逻辑演算
2
作者 莫绍揆 《数学年刊(A辑)》 CSCD 北大核心 1995年第3期296-302,共7页
当我们从一阶逻辑推广到高阶逻辑时,既使用以函词为主目的高级函词,亦使用具有指导变元与辖域的算子,例如量词与摹状词便是算子的一种.但在逻辑中除量调与摹状词外,对别的算子完全忽视,这是很不妥当的.本文指出了,算子与高级函... 当我们从一阶逻辑推广到高阶逻辑时,既使用以函词为主目的高级函词,亦使用具有指导变元与辖域的算子,例如量词与摹状词便是算子的一种.但在逻辑中除量调与摹状词外,对别的算子完全忽视,这是很不妥当的.本文指出了,算子与高级函词本质上是一致的,而且算子和函词不同,即使把它的主目(伴行主目、指导主目与辖域)都限于式项,而且其值也限于式项(这样的算子叫做一级算子),它的表达力量仍非常强,可以表达一切高级函词、高级算子所能表达的,而且即使废除概活过程其力量亦不会减少.废止概括过程后,便得到一个无类型的表达完备的逻辑演算可作整个数学的基础. 展开更多
关键词 函词 算子 概括过程 代入算子 类型论 表达完备逻辑演算
下载PDF
语言逻辑方法论
3
作者 许艾琼 《湖北大学学报(哲学社会科学版)》 1990年第4期64-70,共7页
文本认为语言逻辑的方法是一种符号学方法.第一,符号学方法是语形学、语义学、语用学方法的三合一.第二,自然语言的符号性、指谓性、交际性以及其它逻辑工具的局限性决定了以自然语言为研究对象、逻辑分析为研究手段的语言逻辑必须采用... 文本认为语言逻辑的方法是一种符号学方法.第一,符号学方法是语形学、语义学、语用学方法的三合一.第二,自然语言的符号性、指谓性、交际性以及其它逻辑工具的局限性决定了以自然语言为研究对象、逻辑分析为研究手段的语言逻辑必须采用符号学方法.第三,卡普南索引词逻辑系统的形成表明符号学方法在语言逻辑研究中具有广阔的应用前景. 展开更多
关键词 语言逻辑 符号学方法 函词 指谓 索引 自然语言 传统形式逻辑 语境 当且仅当 语形学
下载PDF
概括原理及其消除——一个完备的逻辑演算 被引量:1
4
作者 莫绍揆 《中国科学(A辑)》 CSCD 1993年第9期897-903,共7页
无论集合论、λ换位演算、组合逻辑及逻辑(谓词演算)都由于无限制地使用概括原理而导致悖论,因而不能不对概括原理给以限制;然而加以限制以后又近于人工做作而不够自然,而且也变得复杂得多。本文指出,可以在一切方面用代入运算代替概括... 无论集合论、λ换位演算、组合逻辑及逻辑(谓词演算)都由于无限制地使用概括原理而导致悖论,因而不能不对概括原理给以限制;然而加以限制以后又近于人工做作而不够自然,而且也变得复杂得多。本文指出,可以在一切方面用代入运算代替概括过程,从而概括原理可以根本废除,废除概括原理以后,不仅不会产生新的高级函词高级算子,而公理与推理过程也简洁得多,不受任何人工约定的限制。这样我们便得到一个既非常简洁又确实很完备的逻辑谓词演算,足以作为整个数学的基础。 展开更多
关键词 函词 算子 概括原理 逻辑演算
原文传递
基于GPSG文法的汉语语义表达结构CFAS
5
作者 姚天坊 黄海 《云南大学学报(自然科学版)》 CAS CSCD 1997年第S2期3-10,18,共9页
基于GPSG文法的汉语语义表达结构CFAS,它以函词和变元的关系来统一描述汉语句子的谓语和主、宾、状语等之间的关系以及汉语短语内部修饰与被修饰、限定与被限定成分之间的关系,即以形式化的方式描述汉语的句子和短语组成成分... 基于GPSG文法的汉语语义表达结构CFAS,它以函词和变元的关系来统一描述汉语句子的谓语和主、宾、状语等之间的关系以及汉语短语内部修饰与被修饰、限定与被限定成分之间的关系,即以形式化的方式描述汉语的句子和短语组成成分的语义结构.在此基础上,进一步介绍了以汉语的GPSG句法结构作为输入,将其转换为CFAS语义表达结构作为输出的实验系统CFASER. 展开更多
关键词 汉语语义表达结构 语义分析 函词变元关系
原文传递
A CORPUS-BASED STUDY ON VOCABULARY GROWTH MODEL FOR ENGLISH OF SCIENCE AND TECHNOLOGY
6
作者 李晶洁 《Chinese Journal of Applied Linguistics》 2008年第2期93-106,129,共15页
本文采用语料库证据支持的方法,重点考察了科技英语的篇际词汇增长模型。研究表明,现有的数学模型(Brunet模型,Guiraud模型,Tuldava模型及Herdan模型)不能精确地描述科技英语词汇增长曲线。通过对幂函数和对数函数的比较分析,本文构建... 本文采用语料库证据支持的方法,重点考察了科技英语的篇际词汇增长模型。研究表明,现有的数学模型(Brunet模型,Guiraud模型,Tuldava模型及Herdan模型)不能精确地描述科技英语词汇增长曲线。通过对幂函数和对数函数的比较分析,本文构建了新的词汇增长模型,并应用此模型推导出科技英语的理论词汇增长曲线及其95%双向置信区间。本研究对EFL教学有显著意义。新的词汇增长模型可用于推断任意给定语篇的词汇量以及生成任意词汇量需要的语篇数。 展开更多
关键词 vocabulary growth growth model logarithmic function power law
原文传递
Tail asymptotic expansions for L-statistics
7
作者 HASHORVA Enkelejd LING ChengXiu PENG ZuoXiang 《Science China Mathematics》 SCIE 2014年第10期1993-2012,共20页
We derive higher-order expansions of L-statistics of independent risks X1,..., Xn under conditions on the underlying distribution function F. The new results are applied to derive the asymptotic expansions of ratios o... We derive higher-order expansions of L-statistics of independent risks X1,..., Xn under conditions on the underlying distribution function F. The new results are applied to derive the asymptotic expansions of ratios of two kinds of risk measures, stop-loss premium and excess return on capital, respectively. Several examples and a Monte Carlo simulation study show the efficiency of our novel asymptotic expansions. Keywords smoothly varying condition, second-order regular variation, tail asymptotics, value-at-risk, con- ditional tail expectation, largest claims reinsurance, ratio of risk measure, excess return on capital 展开更多
关键词 smoothly varying condition second-order regular variation tail asymptotics VALUE-AT-RISK conditional tail expectation largest claims reinsurance ratio of risk measure excess return on capital 60E05 60F99
原文传递
Academic Lexical Items in Economics Journal Papers
8
作者 SUN Yazhen LEI Lei 《Chinese Journal of Applied Linguistics》 2013年第3期354-367,404,共15页
This paper reports a study into the use of lexical items in economics journal papers. The corpus in this study (EC) consisted of 907,380 running words from 120 journal papers randomly selected from economics journal... This paper reports a study into the use of lexical items in economics journal papers. The corpus in this study (EC) consisted of 907,380 running words from 120 journal papers randomly selected from economics journals which were written by native English speakers. The results showed that the Academic Word List (AWL) accounted for 12.74% of the tokens in EC and the distribution of AWL in EC was uneven. In the case study of the key words, only four out of nine key words ranked by keyness were AWL words, while the other five were from the General Service List (GSL). Moreover, those nine key words together with other three key functional expressions were employed to fulfill discourse and rhetorical functions in academic writings. Pedagogical implications are also discussed within this paper. 展开更多
关键词 academic lexical items economics journal papers Academic Word List
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部