论文部分内容阅读
LINGO是一套专门用于求解最优化问题的软件，利用该软件可以给出求合式公式的真值和判定合式公式可以满足的方法。
LINGO在形式逻辑中的应用
【摘 要】
：
LINGO是一套专门用于求解最优化问题的软件，利用该软件可以给出求合式公式的真值和判定合式公式可以满足的方法。
【机 构】
：
毕节学院数学系,黔南民族师范学院数学系
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2009年4期
【基金项目】
：
基金项目：贵州省教育厅自然科学基金：模态描述逻辑的代数结构,项目编号：黔教科2008090,黔南民族师范学院2008年度院级重点项目：模态描述逻辑的代数结构,项目编号：2008201
其他文献
夸张常常在大于词的语言结构中，特别是句子中运用最为常见，而在成语中创造性地运用夸张则属夸张辞格较为特殊的用法。成语运用夸张辞格不仅精当，而且类型丰富。
摘要：近年来，我国的建筑行业正在蒸蒸日上，也取得了较高的成就。在建筑行业中，高层建筑中的暖通设计是至关重要的一部分，不仅能够提高房屋的热度，还能够为房屋的总体设计增添美感，暖通的充分利用也能够响应我国的节能减排的号召。本文针对暖通设计的理念、设计中存在的问题以及怎样能够有效地发挥暖通的作用有了详细的解释。 关键词：暖通设计存在的问题 解决措施人体在各个空间中的活动尺度是有比例的，我国对住宅设计也
目的观察双水平无创正压通气治疗慢性阻塞性肺疾病（chronic obstructive pulmonary disease,COPD）急性加重期并发Ⅱ型呼吸衰竭的临床疗效。方法将26例COPD急性加重期并发Ⅱ型呼
借助于板拉伸试验，研究了0.3mm厚马氏体时效不锈钢冷轧薄带材的拉伸变形特征。结果表明薄带材板拉伸试样较高的宽厚比（w/t）强烈约束拉伸变形过程中的漫缩颈变形，降低了总的断后伸
废名与周作人在现实生活中,由师生关系上升到朋友之情,他们互敬互爱、互相支持、互相帮助。在文学创作方面,他们同声相应、同气相求。但又君子和而不同,在文学上各自以其独特
目的研究在γ射线诱导下PUMA基因（p53up—regulated modulator of apoptosis）在人前列腺癌细胞（p53野生型LNCaP细胞、p53变异型PC-3细胞）中的作用效果。方法采用MTT方法检测在3、
无芯剥皮技术作为一种高效先进的加工技术,其特有工作效率高,加工精度高,表面质量好的特点,在机械制造,冶金行业越来越来受到高度关注.在国外,无芯剥皮技术是一项技术封锁较
给出G-E-preinvex函数的定义，并讨论了此函数的若干性质，其结论推广了相关文献中的结论。
关键词语是话语中能激发主体产生联想的的特定词语。在交际过程中，认知语境为主体提供联想的空间，话语中的某些关键词语作为输入新信息的一部分，激活主体已有的相关旧信息，主体通