Prolog语言-搜索策略的归结反演推理机

Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。     

归纳法和演绎法在“外贸英语函电”教学中的应用比较

归纳法和演绎法已被广泛地应用于教学实践中,它们各有所长。归纳教学法有利于培养学生归纳总结、独立思考的能力,有利于培养学生的创新性,更适应现代社会对创新性人才的需要。     

《小企业会计制度》与《企业会计制度》核算的比较

2004年4月27口，财政部以（财会（2004）2号）文件的形式颁布了《小企业会计制度》，明确规定于2005年1月1日起在全国小企业范围内执行．《小企业会计制度》与现行的《企业会计制度》保持了很大程度的一致性．但由于小企业存在特殊的生产经营方式．所以在会计核算方面具有特殊性，与《企业会计制度》存在一定差异。为便于今而理解、准确掌握《小企业会计制度》笔者现从会计要素核算和财务报表编制两方面将两种会计制度的差异归纳总结如下，供大家参考。     

对外语直接教学法的评述

直接教学法是外语教学法的一种。它以“幼儿学语论”作为教学的基本理论,主张“用外语来教外语”, 强调对于句子的学习,重视口语的训练,但却忽视了母语在外语教学中的作用,不能解决一些教学中的实际问题,存 在一定的不足。     

浅谈工程水文学函授教学中的面授

根据工程水文学课程的特点提出了“抓住重点，分析归 纳，结合实例”的面授方案。着重阐述了基本理论与方法和水文分析与计算等的面授要点和 注意事项。      

论近代归纳逻辑的经验主义来源

在弗朗西斯·培根之前,有关归纳方法和归纳逻辑的研究,已经有人做了大量的工作,特别是来自阿拉伯的经验主义哲学和注重观察与实验的科学,为这种归纳方法和归纳逻辑提供了有益的思想素材和较为坚实的认识论基础。其中,宗教哲学和世俗哲学有关"真主"或事物存在的本体论论证为认识活动的发生提供了自然神论或现象学意义上的前提;具有感觉主义倾向的认识论则寻找到一条"由特殊到一般"的认识路径;而"共相"问题的讨论和"第二意念说"的提出,更达成了经验主义与理性主义结合的有益尝试,为归纳方法的"提纯"或"形式化"作出了有益的探索。     

英语专业学生对语法课教学方法的需求

本研究调查了402名英语专业学生对语法课教学方法的需求情况,包括他们对演绎法和归纳法的需求和对各种语法练习形式的需求。本研究有助于广大研究者和英语教师了解英语专业学生对语法课的教学方法的需求情况,有助于语法课教学方法的改革和语法教材的编写。     

论结构主义语言学的假设演绎法

假设演绎法是结构主义的哥本哈根学派语言学研究的核心方法。假设演绎法具有内在的层级结构．凭借方法论原则构成了理论范式。     

技术创新中的逻辑构想

技术创新过程中的思维活动 ,是非逻辑思维和逻辑思维共同作用的结果。从知识到发明创造与从经验到发明创造所表现的逻辑思维形态是不一样的 ,前者为由原理到物化的过程 ,后者为原理、功能、结构、手段、方法的类推或移植。