| Congratulations | 3 |
| E. Aladova, A. Gvaramia, B. Plotkin, T. Plotkin | |
| Multi-sorted logic, models, and logical geometry | 5-22 |
| S. A. Dovbysh | |
| The splitting of separatrices, the branching of solutions, and nonintegrability of many-dimensional systems. Application to the problem of the motion of a spherical pendulum with an oscillating suspension point | 23-90 |
| E. E. Egorova, A. M. Lavrentiev, A. M. Chepovskiy | |
| A structural pattern based method for automated morphological analysis of word forms in a natural language | 91-109 |
| S. P. Kovalyov | |
| Category-theoretic approach to software systems design | 111-170 |
| A. N. Fedosova, D. A. Silaev | |
| Mathematical modeling of bending of a circular plate with the use
of |
171-185 |
| M. V. Shamolin | |
| Integrable cases in the dynamics of a multi-dimensional rigid body in a nonconservative field in the presence of a tracking force | 187-222 |
| Main page | Contents of the journal | News | Search |
Location: http://mech.math.msu.su/~fpm/eng/k14/k143/
Last modified: February 20, 2015