Алгебраическая спецификация программных систем
The textbook contains necessary information about universal and classical algebras, systems of axioms for the basic algebraic structures (groupoid, monoid, semi-groups, groups, partial orders, rings, fields). The basic cryptographic algorithms are described. Error-correcting codes - linear, cyclic, BCH are considered. Algorithms for designing of such codes are given. Many examples are shown. It is put in a basis of the book long-term experience of teaching by authors the discipline «Discrete mathematics» at the business informatics faculty, at the computer science faculty of National research university Higher school of economics, and at the automatics and computer technique faculty of National research university Moscow power engineering institute. The book is intended for the students of a bachelor degree, trained at the computer science faculties in the directions 09.03.01 Informatics and computational technique, 09.03.02 Informational systems and technologies, 09.03.03 Applied informatics, 09.03.04 Software Engineering, and also for IT experts and developers of software products.
This chapter describes basic approaches to the study of socio-psychological climate of the organization and its structural components and the formation factors, discussed problems of diagnosis of socio-psychological climate and its relationship to job satisfaction and efficiency of joint activities. General description of the conflicts in the organization, their typology and the main methods of conflict resolution are presented.
This chapter provides an overview of the group in the organization, its structural components, group defense mechanisms are mentioned, through the process of building a team, intergroup interaction in the organization are revealed.
This book features recent developments in a rapidly growing area at the interface of higher-dimensional birational geometry and arithmetic geometry. It focuses on the geometry of spaces of rational curves, with an emphasis on applications to arithmetic questions. Classically, arithmetic is the study of rational or integral solutions of diophantine equations and geometry is the study of lines and conics. From the modern standpoint, arithmetic is the study of rational and integral points on algebraic varieties over nonclosed fields. A major insight of the 20th century was that arithmetic properties of an algebraic variety are tightly linked to the geometry of rational curves on the variety and how they vary in families. This collection of solicited survey and research papers is intended to serve as an introduction for graduate students and researchers interested in entering the field, and as a source of reference for experts working on related problems. Topics that will be addressed include: birational properties such as rationality, unirationality, and rational connectedness, existence of rational curves in prescribed homology classes, cones of rational curves on rationally connected and Calabi-Yau varieties, as well as related questions within the framework of the Minimal Model Program.