The presented method is an application of the mathematical logic and computer technique to the research problems of concrete sciences.Let us assume a model (precisely a unary semantic model), i.e. a finite nonempty system of objects and a finite system of properties, to be given. It is known, for each object and each property, whether or not the object possesses the property, (E. g., objects are patients and properties are diseases or facts that some medicines were administered etc.) The research worker usually looks for the relations among the properties that hold true for all or almost all the objects. E. g. that, for each object, the following holds true: if the object possesses the property P1 and does not possess the property P~ then it possesses the property P3. If he finds this relation hold true in the model (of objects under consideration) then he is able to formulate and verify the hypothesis of validity of such a relation for all existing objects in general.The mains of mathematical logic make possible to find a suitable class of formulas of the predicate calculus (i. e. a class of formalized statements) to which the investigation of the model can be confined. (They are some elementary disjunctions.) The means of computer technique make possible to generate and verify all these special formulas automatically in an suitable ordering. In the output device of the computer there will appear all the hypotheses true or almost true in model.Hence the GUHA method (General Unary Hypotheses Automaton) can be considered as a substitution for an intuition in a certain phase of scientific research, say, as an "offering of hypotheses."In this paper, the main ideas, the needed logical theory and programme description are given. Some further related problems are solved. Finally the experience of practical applications of the GUttA method on IBM 7040-System is described.

No abstract

The increasing complexity of biological problems and the increase of mathematical means to handle them on the one hand, and the possibility of automatized computation at the other, necessitate a revaluation of the present interactions between biology and mathematics; in this connection interrelations occur which can be divided into three kinds: mathematical biology, biological mathematics, and 'general biomathematics' or methodology of the biomathematical sciences, by which are meant those scientific branches which arise from the said interactions.

K e y w o r d s : Computing centre, Biomatliematics, Cognitive science, Metatheory, Programming s\'ste ?n, Problem sol7,ers, ,Wodelling, Methodology, D a t a analysis, Biomedical research, Mathematical methods.

No abstract