论文部分内容阅读
离散数学是计算机科学与技术专业的一门重要的专业基础课程,而数理逻辑是其最复杂内容之一,而进行逻辑推理首先要进行命题符号化,如何进行准确的命题符号化正是本文要讨论的问题。
离散数学教学中的命题符号化难点讨论
【摘 要】
：
离散数学是计算机科学与技术专业的一门重要的专业基础课程,而数理逻辑是其最复杂内容之一,而进行逻辑推理首先要进行命题符号化,如何进行准确的命题符号化正是本文要讨论的
【机 构】
：
云南财经大学计算机科学系
【出 处】
：
计算机教育
【发表日期】
：
2007年17期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
环境微生物学是环境工程专业的主要专业基础课之一,课程的开展对培养学生的创新能力和实践能力至关重要。通过分析环境微生物课程建设方面的现状,阐述了具体的改革方案和措施
脑出血是指非外伤性的脑实质内自发性出血,占全部脑卒中的20%-30%,多数发生在半球,少数在脑干和小脑,是死亡率最高的疾病之一。最常见的病因是高血压并有动脉硬化。好发年龄
腹主动脉瘤无论是传统开放手术还是腔内修复术的治疗效果都是肯定的。随着介入技术及器材的发展及介入手术的相对低风险性，选择腔内修复术的患者比例也逐渐提高，腹主动脉瘤的患
随着电子商务行业的迅猛发展,网购已成为人们日常生活的一部分,在刚刚过去的2018年“双11”活动中,天猫总成交额突破2135亿元。伴随着淘宝、天猫、京东商城、拼多多等典型电商平台的涌现与推动,电子商务成为拉动我国实体经济的重要动力和引擎。纵观国内外各大电商平台,运营模式大致可以分为以下三类:(1)平台模式;(2)自营模式;(3)平台+自营模式。随着市场竞争和信息透明化的加剧,电商平台和供应商的利润
蓖麻(Ricinus communis L.)生物量大、抗逆性强,对多种重金属污染具有较强的耐受性,是重金属污染土壤能源化生态修复的重要油料植物之一。本研究以湘蓖9号为试验材料,重金属Pb、Zn为胁迫因子进行试验,观测Pb、Zn单一和复合胁迫对蓖麻开花时间、雌雄花分化的影响,分析不同浓度铅锌处理下植株重金属吸收累积、开花前植株可溶性糖、淀粉、氮及IAA含量等生理生化指标变化与开花时间和雌花分化的相
黑龙江是重要的水稻产出地,但低温冷害时有发生,加上土壤中有效硅含量逐年降低,这些都制约了水稻产量的进一步提高。本试验选用水稻东农427,在人工气候箱中模拟低温处理,在水稻苗期对其叶片喷施Si-La(硅与镧的复合制剂),Si-Ce(硅与铈的复合制剂),Si-T-G(以正硅酸四乙酯为原料制成),Si-E-G(以稻壳灰为原料制成),Si-60-G(3-缩水甘油醚基丙基三甲基硅烷为原料制成)五种硅制剂,并
目前国内外治疗环状混合痔的方法很多,如内扎外切、激光疗法、冷冻疗法、PPH法等。笔者通过临床反复实践,针对重症环状混合痔的手术方法进行了多次的改良,总结出一套微创、保