In the light of the above problem, in the past three years implementation of course of Principles of Higher Education, the author has explored the localization of seminar teaching method and its effect.

Although reforming freshmen seminar is a hard project, this seminar-style learning finally exists in freshmen curriculum.

In the 19th century,Berlin University of Germany firstly made the seminar as the most important teaching model.

The Research of IDSS Based on Inductive Learning and Case-Based Reasoning;

Artificial intelligence-based inductive learning method was analyzed.

Furthermore, a hybrid learning model combining learning from cases and case\|based reasoning is put forward by virtue of intelligent agents, and the basic framework of the model is also given in which induction learning agents coordinate by a reinf.

Unlike other improvement works, this paper proposes a method that conducts evolution to keep the balance through induction learning.

This paper proposes a new algorithm called LAID(learning algorithm as inverse deduction) considering the difficulty of traditional induction learning.

Explicit Learning and Form-Meaning Connections in Second Language Acquisition;

Reber classified learning types into explicit learning and implicit learning in terms of a series of researches in 1965.

On this basis, a method of proof by induction is shown in order-sorted specification.

In this paper the authors introduced the implemental techniques of transformation equational specification into order-sorted equational specification, the proof techniques of inductive theorems on the order-sorted equational specification based on specification transformation for proof by induction.