切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
对逻辑代数中一个定理的注记
对逻辑代数中一个定理的注记
来源 :零陵师专学报 | 被引量 : 0次 | 上传用户:masonchina
【摘 要】
:
本文提出了逻辑代数的一个重要引理,从这个引理出发,给出了文[1]中定理2的另一简捷证明.
【作 者】
:
唐建国
【出 处】
:
零陵师专学报
【发表日期】
:
1991年3期
【关键词】
:
标准形式
蕴含项
质项
复盖
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了逻辑代数的一个重要引理,从这个引理出发,给出了文[1]中定理2的另一简捷证明.
其他文献
谈我国现阶段如何推进股份制
期刊
股份制
中国
欢迎订阅2001《航空科学技术》杂志
期刊
新疆藁本有效成分coniselin的全合成研究
新疆藁本有效成分coniselin的全合成研究丁平羽,于德泉(中国医学科学院,中国协和医科大学药物研究所北京100050)新疆藁本(ConiselinumvaginatumThell)是新疆地区常用中药藁本的代用品,应用广泛,主要功能是祛风散寒。本研...
期刊
新疆藁本
有效成分
coniselin
合成
Coniselinum vaginatum Thell
Coniselin
Selective reductio
盐酸二氢埃托啡身体依赖性潜力的临床评价
报道了盐酸二氢埃托啡(DHE)临床替代38例海洛因成瘾者的替代抑制试验,并应用CINA量表评价海洛因成瘾者的身体依赖性程度。结果表明:盐酸二氢埃托啡可那洛酮争阿片受体,对戒断症状的100%替代抑制
期刊
二氢埃托啡
身体依赖性
潜力
Dihydroetorphine
Clinical single dose subetitution trail
Physical
中药女贞子水溶性化学成分的研究
中药女贞子水溶性化学成分的研究石力夫,王鹏,陈海生,董建萍(上海第二军医大学附属长海医院200433)女贞子(LgustrumlucidumAit)为常用中药,有扶正固本、滋补肝肾、明目乌发之功效[1]。临床主要用于强腰膝、壮筋骨
期刊
女贞子
中药化学成分
对羟基苯乙醇
葡萄糖甙
Ligustrum lucidum Ait
ρ-Hydroxyphenethyl glucosideCollege
骨质疏松防治药物研究(3):喹啉酮类衍生物的合成及其抗骨质疏松活性
骨质疏松防治药物研究(3):喹啉酮类衍生物的合成及其抗骨质疏松活性徐鸣夏,段文虎,郑虎(成都华西医科大学药化教研室610041)雌激素可预防和治疗绝经后的骨质疏松症,其中雌二醇最常用。但长期
期刊
骨质疏松
喹啉酮类衍生物
抗骨质疏松活性
合成
Quinolinone derivatives
Osteoporosis
Bone formation
兴安升麻酚性甙成分的研究
从中药兴安升麻的根茎中分得三个新结构的酚甙类,即异升麻酰胺、北升麻瑞和北升麻宁,其中Ⅰ为升麻酰胺的几何异构体,而Ⅱ和Ⅲ则分别为3,4-二羟基-β-苯乙醇-3-O-β-D-吡喃半乳糖甙和3,4-二羟基-β-苯
期刊
兴安升麻
升麻
化学成分
甙类
Cimicifuga dahurica
Isocimicifugamide
Cimidahurine
Cimidahurini
大青叶类药材及其制剂质量控制的研究
首次建议以抗病毒有效成分4(3H)-喹唑酮[4(3H)-quinazolinone]作为大青叶、板蓝根类药材及制剂的质量控制指标。药理实验结果证明此成分有抗病毒活性及增强机体免疫力的活性,为此类药材和制剂的质量控制提
期刊
大青叶
板蓝根
高效液相色谱
H)- Quinazolinone
Daqingye(Folium strobilanthes)
Banlangen( Radix
苦参碱的人体药代动力学
建立了人血清苦参碱的高铲液相色谱分析方法,此法回收率为99.1-102.2%,日内精密度RSD<4%,日间RSD<6%。血药浓度在1.25-40.0μg·ml^-1范围内呈线性关系(r=0.997)。8名健康志愿者iv甘参碱6mg·kg^-1后,药代动力学过程符合二室模型。收
期刊
苦参碱
药代动力学
高效液相色谱法
Matrine
Pharmacokinetics
HPLC
程序升温加速试验计算方法研究
介绍了一种用优选法处理倒数升温和对数升温,用优选法和辛普森积分法处理线性升温加速试验数据的新算法;讨论了常规算法的缺点;比较了3种程序升温方法的优缺点。结果表明,在本文所
期刊
倒数升温法
优选法
辛普森积分法
Reciprocal heating
Logarithm heating
Linear heating
Optimizatio
与本文相关的学术论文