2014, Volume 19, Issue 3

Mathematics and Its Applications

	Congratulations		3
	Multi-sorted logic, models, and logical geometry E. Aladova, A. Gvaramia, B. Plotkin, T. Plotkin		5–22
	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 S. A. Dovbysh		23–90
	A structural pattern based method for automated morphological analysis of word forms in a natural language E. E. Egorova, A. M. Lavrentiev, A. M. Chepovskiy		91–109
	Category-theoretic approach to software systems design S. P. Kovalyov		111–170
	Mathematical modeling of bending of a circular plate with the use of $S$-splines A. N. Fedosova, D. A. Silaev		171–185
	Integrable cases in the dynamics of a multi-dimensional rigid body in a nonconservative field in the presence of a tracking force M. V. Shamolin		187–222