Annotation
The paper is dedicated to logical means of knowledge representation and processing on computers. We consider the problems of automated theorems synthesis and proving for the class of theorems on mathematical models analogies.
PACS:
02.10.Ab Logic and set theory
© 2016 Publisher M.V.Lomonosov Moscow State University
Authors
S.N. Vassilyev, N.Yu. Morozov
Department of Physical–Mathematical Control Methods, Faculty of Physics, M.V.Lomonosov Moscow State University, Moscow 119991, Russia
Department of Physical–Mathematical Control Methods, Faculty of Physics, M.V.Lomonosov Moscow State University, Moscow 119991, Russia
Science News of the Faculty of Physics, Lomonosov Moscow State University
This new information publication, which is intended to convey to the staff, students and graduate students, faculty colleagues and partners of the main achievements of scientists and scientific information on the events in the life of university physicists.