检索结果-南通市图书馆

南京大学学报(自然科学版) 1980年第1期 1-10页

作者：莫绍揆

在狭义谓词演算中我们讨论了函谓词,即以个体为值的函词和以命题为值的谓词。通常它们以个体为变目,但这种限制太严了,我们应该容许命题亦作为变目。此外,我们又讨论了量词与摹状词,它们合称约束词。根据同样理由,我们也容许它们的作用... 详细信息

在狭义谓词演算中我们讨论了函谓词,即以个体为值的函词和以命题为值的谓词。通常它们以个体为变目,但这种限制太严了,我们应该容许命题亦作为变目。此外,我们又讨论了量词与摹状词,它们合称约束词。根据同样理由,我们也容许它们的作用域可为项（不限于公式）,它们的指导变元可为命题元。在高级谓词演算中,我们还讨论高级函谓词和高级约束词。通常我们把高级函谓词和高级约束词看作是本质不同的。在本文中,我们指出: 第一,二级函谓词和一级约束词是一样的。例如,对二级函谓词φ及二元一级函谓词A而言,φ（A）亦可表为中,φxyA（x,y）,这里φxy为具有两个指导变元的一级约束词。另一方面,对一级约束词lim（x→a）而言,lim（x→a）f（x）亦可表为lim（a,f）,这里lim是二级函谓词,它有一个个体变目和一个函谓词（一级）变目。一般说来,n+1级函谓词和n级约束词是一样的（但参看下文）。其次,当我们把二级函谓词（亦即一级约束词）作用于一级函谓词以作成一项或一公式时,并不是前者（级数较高）以后者（级数较低）为变目,（这是通常的说法所断定的）,而是前者填充后者的变目,至少是前者约束后者的变目,无论如何,我们不能说后者是前者的变目。因此通常的表达式'xa（x）和lim（x→a）f（x）应该写成(a'和(flima,或写成'a（i）和limaf（i）。（我们约定,约束词应依序约束）。第三,由于二级函谓词永不以一级函谓词为变目,也就没有产生更高级函谓词的可能。因此,我们只有个体、命题、（一级）函谓词和（一级）约束词四者,因此广义谓词演算也就变得更简单了。

关键词：谓词演算广义指导命题命题函数演算变目变元函词

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

关子数論算子的研究

南京大学学报(自然科学版) 1964年第1期 1-23页

作者：莫紹揆

函数可以说是把数变成数的运算,而算子则是把函数变成函数的运算(把函数变成数的算子,一般特名泛函,它实际上是算子的特例)。如果函数的定义域及值域均限于自然数(包括0,以下同),则特名数论函数,如果算子的作用域及值域限于数论函数,则... 详细信息

函数可以说是把数变成数的运算,而算子则是把函数变成函数的运算(把函数变成数的算子,一般特名泛函,它实际上是算子的特例)。如果函数的定义域及值域均限于自然数(包括0,以下同),则特名数论函数,如果算子的作用域及值域限于数论函数,则特名数论算子。本文限于讨论数论算子,故本文中一切变元均以自然数为变域,一切函数符号均表数论函数。我们的讨论结果也许可推广到别种算子,但目前暂不推广。关于表示算子的符号,目前使用的不够系统也不够方便,作者认为,使用函数的命名式(而不是使用表示函数关系本身的符号)并利用约束变元的概念将是最方便的,因

关键词：算子作用域特例定理化归符号泛函分析变元值域

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

在初等分析中发展椭圆函数论

数学研究与评论 1981年第S1期 89-100页

作者：莫绍揆南京大学数学系

现在,关于椭圆函数的理论,不管是Weierstrass以前或以后,都是很繁复很艰深的。主要原因是:两种说法都是建基于复变函数理论的基础之上的。具体说来,以前的古典说法是把椭圆函数定义为某种积分(所谓第一型椭圆积分)的反演,这时要证明该... 详细信息

现在,关于椭圆函数的理论,不管是Weierstrass以前或以后,都是很繁复很艰深的。主要原因是:两种说法都是建基于复变函数理论的基础之上的。具体说来,以前的古典说法是把椭圆函数定义为某种积分(所谓第一型椭圆积分)的反演,这时要证明该反演所得的函数是单值的半纯函数,即所谓反演问题,是一件非常艰难的事情。Weierstrass以后的新说法是把椭圆函数定义为双周期的半纯函数,这时要证明(这是解应用问题时所面临

关键词：椭圆函数双周期半纯函数椭圆积分极点导数亚纯函数解析函数点(数学) 超越函数周期函数积分公式

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

邏輯系統的定則問題

南京大学学报(自然科学版) 1957年第3期 77-85页

作者：莫紹揆

关於什麼是邏輯系統(又名演绎系統或形式系統)的問題,目前已經有比較一致的意見。不过还有一些問題尤其是定則(一名推演規則)的問題,仍值得討論。所謂邏輯系統包含有一些对象叫做公式(最簡單而不再分析的特叫做項),以及一些联結詞,它把... 详细信息

关於什麼是邏輯系統(又名演绎系統或形式系統)的問題,目前已經有比較一致的意見。不过还有一些問題尤其是定則(一名推演規則)的問題,仍值得討論。所謂邏輯系統包含有一些对象叫做公式(最簡單而不再分析的特叫做項),以及一些联結詞,它把公式結合而成新公式。然后在所有公式之中特別画出一类叫做形式定理。

关键词：定理所有等价替换南京大学学报命题演算方阵定义代入概念思维形式

穗数——密度的理论曲线方程及其分析——兼与王天铎等同志商榷

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

作物学报 1964年第3期 327-342页

作者：莫惠栋苏北农学院

对于稻、麦和玉米,群体穗数（Y）和种植密度（x）的数量关系,可用变形双曲线方程 Y=x/（a+bx）作有理描述。本文讨论了该方程的基本性质;并由之推出17个公式,用以表示穗数和密度数量关系上的各种特点。此外,也讨论了从穗数——密度的实... 详细信息

对于稻、麦和玉米,群体穗数（Y）和种植密度（x）的数量关系,可用变形双曲线方程 Y=x/（a+bx）作有理描述。本文讨论了该方程的基本性质;并由之推出17个公式,用以表示穗数和密度数量关系上的各种特点。此外,也讨论了从穗数——密度的实验数据建立该方程的具体方法,并附实例。

关键词：密度方程穗数密度范围

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

有限值方陣系統的公理化

南京大学学报(自然科学版) 1957年第3期 67-76页

作者：莫紹揆

我們知道,一邏輯系統可由公理法而确定,亦可由方陣法(真值表法)而确定。因此,在討論邏輯系統时,发生了兩大問題: 1.对於一个由公理法所确定的逻辑系統,如何構作它的刻画方陣?(这个方陣所定的邏輯系統,恰和所給的系統相同)——构作刻画... 详细信息

我們知道,一邏輯系統可由公理法而确定,亦可由方陣法(真值表法)而确定。因此,在討論邏輯系統时,发生了兩大問題: 1.对於一个由公理法所确定的逻辑系統,如何構作它的刻画方陣?(这个方陣所定的邏輯系統,恰和所給的系統相同)——构作刻画方陣問題。2.对於一个由方陣所确定的邏輯系統,如何構作它的公理?——公理化問題。这篇短文想討論后一問題,而且只討論由具有有限个值的方陣所确定的邏輯系統,如何加以公理化的問題。

关键词：公理化方阵赋值定理

Efficacy of small-volume simethicone given at least 30 min before gastroscopy

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

World Journal of Gastrointestinal Pharmacology and Therapeutics 2016年第4期7卷 572-578页

作者： Mingjun Song Andrew Boon Eu Kwek Ngai moh Law Jeannie Peng Lan Ong Jessica Yi-Lyn Tan Prem Harichander Thurairajah Daphne Shih Wen Ang Tiing Leong Ang Department of Gastroenterology and Hepatology Changi General Hospital

AIMTo evaluate the efficacy of 5 mL simethicone solution in decreasing gastric foam if given at least 30 min before gastroscopy. METHODSThis was a randomized, placebo controlled, endoscopist blinded study performed at Changi General Hospital. Patients were at least 21 years old, had no prior surgical resection of the upper gastrointestinal tract, and scheduled for elective diagnostic gastroscopies. The primary outcome was the total mucosal visibility score (TMVS) which was evaluated using McNally score. The sample size was calculated to be 24 per group (SD 2.4, 80% power, P t test). RESULTSFifty-four patients were randomised to receive either simethicone [1 mL liquid simethicone (100 mg) in 5 mL of water] or placebo (5 mL of water) at least 30 min before their gastroscopy. Six accredited consultants conducted the gastroscopy, and the interobserver agreement of scoring TMVS was good with a Kappa statistic of 0.73. The simethicone group had significantly better mean TMVS compared to placebo (5.78 ± SD 1.65 vs 8.89 ± SD 1.97, P CONCLUSIONWith a premedication time of at least 30 min, 5 mL simethicone can significantly decrease gastric foam, decrease the volume of additional flushes, and shorten gastroscopy time.

关键词： Simethicone Premedication Gastroscopy Gastric foam