In this paper we proved that the function class CFRF and its proper subclass CFPRF are respectively the partial recursive functions and primitive recursive func
The relationships between artificial neural networks and graph theory are considered in detail. The applications of artificial neural networks to many difficult
In this paper, the method of well-combined semantics and syntax proposed by Pavelka is applied to the research of the propositional calculus formal system L*. T