[en] To obtain the library of group constants derived from the estimated nuclear data the programs system FEDGROUP was developed. This system is flexible enough to obtain any group constants library derived from any source of estimated data. The FEDGROUP system is open one which means that it can be connected to any system of constants maintenance and any algorithm of group constants calculation can be added. Teh system is written on FORTRAN and intended for BESM-6 and CDC-3300 computers. (I.T.)

[en] With computers becoming more frequently used in theoretical and experimental physics, physicists can no longer afford to be ignorant of the basic techniques and results of computer science. Computing principles belong in a physicist's tool box, along with experimental methods and applied mathematics, and the easiest way to educate physicists in computing is to provide, as part of the undergraduate curriculum, a computing course designed specifically for physicists. As well, the working physicist should interact with computer scientists, giving them challenging problems in return for their expertise. (orig.)

[en] The system used in the institute is described and intended for providing reactor computations with multigroup macroconstants on the basis of catalogs of 26- group microconstants having subgroup presentation of resonance cross sections structure and presentation by the means of self-shielding factors. The system includes complexes of computer programs for homogenization of constants by means of averaging of cross sections of heterogeneous lattice cell in different approximations. This method and combination of the constants bloc with programs for two and one-dimensional reactors computation gives possibility of correct computation of heterogeneous fast critical assemblies which in turn is necessary for utilisation of experimental results obtained for checking and correction the constants system used. (author)

[en] The inner integral over final particle energy or collision cosine of the multigroup transfer matrix is evaluated analytically for the general nonrelativistic two-body interaction. Under the condition that the center-of-mass angular distribution is piecewise linear, the solution is exact. Refs

No abstract available

[en] The listing of computer programs available in Swierk is given. There are brief descriptions of potentialities of these programs. The plan of works for creation of the algorithms of heightened accuracy for transport equations solution is given. The problem of the finite elements methods application for solution of this equation is investigated in more details. (auth.)

No abstract available

[en] The progress of computer algebra observed during these last years has had certainly an impact in physics. I want to precise the role of these new techniques in this application domain and to analyze their present limitations. In Section 1, I describe briefly the use of algebraic manipulation programs at the elementary level. The numerical and symbolic solutions of problems are compared in Section 2. Section 3 is devoted to a prospective about the use of computer algebra at the highest level, as an ''intelligent'' system. I recall in Section 4 what is required from a system to be used in physics

No abstract available

[en] We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a “converse” modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants.