论文部分内容阅读
自20世纪80年代以来，在哲学、计算机科学、人工智能、语言学等诸多领域的推动下，时态逻辑取得了新的发展。主要表现为区间时态逻辑、行为时态逻辑的创立以及时态逻辑与模态逻辑的结合。对这些新的发展进行研究，既具有重大理论意义，又具有重要的实际应用价值。
论时态逻辑的新发展
【摘 要】
：
自20世纪80年代以来，在哲学、计算机科学、人工智能、语言学等诸多领域的推动下，时态逻辑取得了新的发展。主要表现为区间时态逻辑、行为时态逻辑的创立以及时态逻辑与模态逻辑
【机 构】
：
河南检察职业学院
【出 处】
：
郑州航空工业管理学院学报：社会科学版
【发表日期】
：
2008年4期
其他文献
商标的语用意义与其存在的社会文化息息相关，翻译的准确性在于把握其语用意义。文章主要从语用学和比较语言学的角度探讨跨文化语境下商标语用意义的异同及其对语用等效翻译的
文章以河南省的数据为基础，计算了消费弹性系数和消费拉动系数，对河南省消费需求与经济增长之间进行了定量分析。
摘要：头脑风暴法（Brainstorming）简单来说是一种在放松状态下非正式的，或者说很随便地尝试解决问题的方法，其目的在于产生新观念和激励创新设想。通过教学实例，探讨了头脑风暴法在中职英語教学中的应用以及有关的注意问题。 关键词：头脑风暴法 中职英语教学 教学应用实例 问题 目前，在中职英语教学中，笔者通过听课和调研发现，很多英语教师还是沿用传统的教学方法，侧重对学生进行定向思维的训练。比
科学技术的快速发展,社会需求的不断变化,对高校人才培养质量和评价标准提出了更高要求。文章从人文教育和科技教育两方面入手,全面分析了郑州航空工业管理学院＂管工结合＂培养
特别权力关系理论被公认为是行政法学的重要理论。伴随着人权理论的发达，德国在实践中不断限缩特别权力关系理论的适用范围，甚至出现取消这一理论的主张。在这种理论和实践现状
我国目前正处于危机频发期，而政府危机管理能力还存在欠缺，这与建设和谐社会的目标不相适应。因此，我国政府应加快建立健全有效的公共危机应对机制，建立多元立体的公共危机治理模
【摘要】随着我国市场经济的不断发展，对与财务会计方面专业人才的需求量也在不断上升。但是，通过调查分析，我国当前职业院校所培养出的财务会计专业生并不能很好地适应企业的要求，因此，此方面的人才面临极度紧缺的状况。所以，为了缓解这一问题，相关教育机构应及时对自身的教学模式进行优化，提高教学质量。基于此，对职业教育中的财务会计教学模式进行分析，并提出有效的改进措施。 【关键词】职业教育 财务会计专业 教
本文给出矩形导体系统中点电荷的复镜像，研究表明，使用少量的复镜像即可代替该系统中无限个真实镜像，而用来计算静电位时，其误差很小。
【摘要】信息技术及科技的高速发展，促使教育领域发生了些许变革。高职机械设计制造及其自动化专业教学能有效利用信息化手段积极进行教学方法的改革，但立足于社会需求，教学仍存在问题。针对问题研究相应的解决对策，是提升高职机械设计制造及其自动化专业人才培养质量的必然要求。 【关键词】机械设计制造 自动化 专业教学 问题 解决方法受传统的“学而优则仕”“劳心者治人，劳力者治于人”思想的束缚，曾经高职教育一度
外国语学院（系）在学校尤其是人文社科中的地位不同寻常，因为外语（教育）对于师生素养的反拨作用是巨大的。文章探讨了外国语学院（系）尤其是底蕴薄弱的外国语学院（系）在外国语学院（系）整体