ПМиИИ ПП ENG
ПМиИИ ПП ENG
ПМиИИ ПП ENG
To win the Olympiad, you should have a firm grasp of mathematics, data analysis and machine
learning concepts, namely:
mathematical logic, algorithms, machine learning, and information technology;
data analysis, neural network design and training, and software development;
graph theory, modular arithmetic, real and complex analysis, and the fundamental laws of
probability distributions.
You should also have a solid command of the following skills:
solving ordinary differential equations and partial differential equations;
investigating system stability;
constructing functions of random variables, and applying limit theorems;
using modern software development methodologies, including the Unified Process and
agile methodologies like Scrum or XP.
1
PROGRAM
3. Content
Mathematics
Linear algebra and analytic geometry
1. Complex numbers. Algebraic and exponential (polar) forms. Roots of complex numbers. De
Moivre’s formula. The fundamental theorem of algebra.
2. Polynomials. The roots of a polynomial. The multiplicity of a root. The little Bezout theorem.
Polynomial long division. The greatest common divisor of polynomials. The Lagrange and
Newton interpolating polynomials. Irreducible polynomials. The unique factorization theorem for
polynomials.
3. Gaussian elimination. Cramer’s rule. The Rouche-Capelli theorem.
4. Real and complex vector spaces. A basis, the dimension and coordinates of a vector. Vector
subspaces. Sum and intersection of subspaces. A linear transformation of a finite-dimensional
vector space, the matrix of a linear transformation. The change of basis formulas.
5. The characteristic polynomial of a linear. Eigenvectors and eigenvalues of a linear
transformation.
6. The Jordan normal form of a linear transformation on a complex vector space.
7. Bilinear forms. Symmetric bilinear forms and quadratic forms. Positive-definite and negative-
definite quadratic forms. Sylvester’s law of inertia. Sylvester’s criterion.
8. Euclidean spaces. Self-adjoint and orthogonal linear transformations. An orthogonal
diagonalization of the quadratic form.
9. The three-dimensional space. The dot product, the cross product, and the triple product.
10. Various ways to define a straight line and a plane in three-dimensional space. The angle
between a straight line and a plane, the angle between two straight lines, the angle between two
planes. The distance from a point to a plane. The distance between two lines.
11. Curves of the second order.
12. Surfaces of the second order.
Real and complex analysis (calculus)
13. Limit of a sequence: definition and properties. Cauchy’s criterion. Limit inferior and limit
superior. The Bolzano–Weierstrass theorem. The limit of a function at a point. The equivalence of
Cauchy’s and Heine’s definitions.
14. Function continuity at a point. Behavior of a continuous function on a segment: the
Weierstrass and Bolzano-Cauchy theorems. The inverse function theorem. Uniform continuity,
Cantor’s theorem.
15. Derivative of a function (of a single variable) at a point: definition and basic properties. The
derivative of a composition of functions. Differentiability of a function at a point. Function
differential at a point. Derivative of an inverse function. Higher order derivatives and differentials.
The Leibniz rule. Rolle's Theorem, the mean value theorem, and Cauchy's mean value theorem.
L'Hôpital's rule. Taylor's expansion with the Peano and Lagrange form of the remainder. Using
Taylor's expansion and L'Hôpital's rule for limit calculations. Using derivative to study the
properties of a function of a single variable: monotonicity, extrema, convexity, inflexion points.
16. Indefinite integral. Definite integral. Darboux’s criterion of the integrability of a function.
Properties of an integral with a variable upper limit: continuity, differentiability. The Newton–
2
PROGRAM
Applied Mathematics
Graph theory and number theory
1. The Euclidean algorithm. GCD and LCM. The fundamental theorem of arithmetic.
2. Modular arithmetic. Congruence classes. The ring of integers modulo m. Invertible elements.
The Chinese remainder theorem.
3. Fermat’s little theorem. Wilson’s theorem.
4. Euler’s totient function. Euler’s theorem.
5. Finite fields (Galois fields).
6. Graphs. Connected components in a graph. Depth-first and breadth-first search. Adjacency
matrix. Planar graphs. Euler’s theorem.
7. An Eulerian path in a graph. A Hamiltonian path in a graph. Dijkstra’s algorithm. The Floyd-
Warshall algorithm.
8. Spanning trees in a graph. Prim’s algorithm. Kruskal’s algorithm.
Differential equations
9. Ordinary differential equations. Separation of variables. Reduction of the order of the
differential equation. The method of introducing a parameter.
10. Linear ODEs and systems of ODEs with constant coefficients.
3
PROGRAM
11. Linear ODEs and systems of ODEs with variable coefficients. A fundamental solution set.
The Wrońskian, Liouville’s formula. The variation of constants method.
12. Calculus of variations. The Euler–Lagrange equation. A necessary condition for a weak local
extremum.
13. Equilibrium of an autonomous system of differential equations. Classifying the equilibria of
linear autonomous second-order systems. Stability and asymptotic stability of equilibrium.
14. First integrals of the autonomous system of differential equations. Theorem on the number of
independent first integrals. Linear PDEs. General solution and the Cauchy problem.
Mathematical physics
1. Statement of problems of mathematical physics. Posed and ill-posed problems of mathematical
physics.
2. Classification of second-order partial differential equations with two independent variables,
linear with respect to higher derivatives.
3. Cauchy problems for equations of hyperbolic and parabolic types.
4. Method of separation of variables. Sturm-Liouville problem.
5. Hyperbolic type equations.
6. Parabolic type equations.
7. Elliptic type equations. Properties of harmonic functions.
8. Method of integral transformations.
Mathematical logic
1. Introduction to logic.
2. Predicate logic.
3. The theory of evidence.
4. Applications of mathematical logic.
4
PROGRAM
3. Multiclass classification.
4. Mathematical models of neural networks.
5. Backpropagation algorithm.
5
PROGRAM
6
PROGRAM
Free access
3. С. М. Никольский. Курс математического анализа. В 2-х томах. 13-20
М.: Физматлит,2001.
http://www.physics.gov.az/book_K/NIKOLSKI2.PDF
Free access
4. Ю. В. Сидоров, М. В. Федорюк, М. И. Шабунин. Лекции по 21-26
теории функций комплексного переменного, любое издание,
напр., М.: Наука, 1982.
http://mph1.phys.spbu.ru/~badanin/3kypc/FilesAdd/Shabunin_TFKP.
pdf
Free access
5. А.Г. Свешников, А. Н. Тихонов. Теория функции комплексного 21-26
переменного, любое издание, напр., М. Физматлит, 2005.
http://read.newlibrary.ru/read.php/pdf=15234
Free access
Applied mathematics
Sources in English Topic
5. 1. E.B. Vinberg. A course in algebra. American Mathematical Society, 1-5
2003.
http://www.ams.org/books/gsm/056/
Limited access
1. 2. N. Christofides. Graph theory. An algorithmic approach. London 6-8
1975.
https://djvu.online/file/YisZ9w23dBmHW
Free access
2. 3. L. Elsgolts. Differential Equations and the Calculus of Variations. 9-14
University Press of the Pacific , 2003.
https://ia800908.us.archive.org/2/items/ElsgoltsDifferentialEquations
AndTheCalculusOfVariations/Elsgolts-Differential-Equations-and-
the-Calculus-of-Variations.pdf
Free access
7
PROGRAM
http://www.phys.nsu.ru/balakina/El%27sgol%27dz_Dif_ur_i_var_isc
h.pdf
Free access
Mathematical physics
Sources in English Topic
1. A.N. Tikhonov, A.A. Samarskii,. Equations of mathematical 1-8
physics. Dover books on physics. 2011.
https://archive.org/details/equationsofmathe0000tikh
Limited access
2. Budak B.M., A.A. Samarskii, A.N. Tikhonov. A Collection of 1-8
Problems on Mathematical Physics. Moscow, 1964.
https://archive.org/details/a-collection-of-problems-on-mathematical-
physics
Free access
3. Lawrence C. Evans. Partial differential equations. Providence, 1-8
R.I. : American Mathematical Society, 1998.
https://djvu.online/file/0lRTzc2Jm2Ibe
Free access
Mathematical logic
Sources in English Topic
1. Mendelsohn E., Introduction to Mathematical Logic: New 1-4
York: Chapman and Hall/CRC, 6th Edition, 2015, 513p
URL:
https://sistemas.fciencias.unam.mx/~lokylog/images/Notas/la_aldea
_de_la_logica/Libros_notas_varios/L_02_MENDELSON,%20E%2
0-
%20Introduction%20to%20Mathematical%20Logic,%206th%20Ed
8
PROGRAM
%20-%20CRC%20Press%20(2015).pdf
Free access
2. Kleene S. C. Mathematical logic. NY: Dover Publ., 2002. 432 1-4
p.
URL:
https://ru.z-library.rs/book/20334015/d9a33f/mathematical-
logic.html
Free access
3. Hurley, Patrick J. A concise introduction to logic. Cengage 1-4
Learning, 2023. 658 p.
URL:
https://vk.com/doc399904795_668235445
Free access
9
PROGRAM
https://vk.com/doc409016625_585522734
Free access
10
PROGRAM
11
PROGRAM
12
PROGRAM
https://archive.org/details/extremeprogrammi00beck
Limited access
12. DSDM Altern. [An electronic resource]. http://www.dsdm.org
Free access
13. Scrum. [An electronic resource].
https://msdn.microsoft.com/ru-ru/library/dd997796(v=vs.100).aspx
Free access
14. Kniberg H. Scrum and XP from the Trenches (2nd Edition). 2015.
https://leanagiletraining.com/wp-content/uploads/2020/03/Scrum-
and-XP-from-the-Trenches-2nd-edition.pdf
Free access
15. Arlow J., Neustadt A. UML 2 and the Unified Process. Practical 12
object-oriented analysis and design, 2nd ed. – Upper Saddle River, NJ:
Addison-Wesley, 2005. 592 p.
https://archive.org/details/uml2unifiedproce0002arlo
Limited access
13
PROGRAM
14
PROGRAM
Limited access
Calculus: Single https://www.courser The course covers the following topics: Taylor
Variable Part 1 a.org/learn/single- series, limits, Lopitale rule, asymptotics
– Functions. variable-calculus
15
PROGRAM
Applied Mathematics
Online courses Link Summary
in English
Introduction to https://www.classcen The course contains basic concepts and applications
graph theory tral.com/course/grap of graph theory
hs-9213
Introduction to https://www.open.ed The course contains basic concepts of algebraic
number theory u/openlearn/science- number theory from Euclid’s algorithm to modular
maths- arithmetic
16
PROGRAM
technology/introduct
ion-number-
theory/content-
section-0
Ordinary https://www.udemy. The course covers the following topics: ODES of the
Differential com/course/ordinary 1st order, linear ODES of the highest order, systems
Equations. -differential- of ODES of the 1st order, theory of stability, Laplace
equations/ transform, numerical methods for solving DU
Дифференциал https://openedu.ru/co The course covers the following topics: ODES of the
ьные urse/ITMOUniversit 1st order, linear ODES of the highest order, systems
уравнения y/DIFEQ/ of ODES of the 1st order, theory of stability
Mathematical physics
Online courses Link Summary
in English
Introduction to https://ocw.mit.edu/ This course introduces the fundamental concepts of
partial courses/18-152- partial differential equations (PDEs), focusing on
differential introduction-to- three main types: diffusion, elliptic, and hyperbolic.
equations. MIT. partial-differential-
equations-fall-2011/
Partial https://www.classcen This course provides an introduction to first-order
differential tral.com/course/sway and second-order linear partial differential equations
equations. am-partial- (PDEs), focusing on key concepts and applications
India’s national differential- relevant to students with backgrounds in
course platform equations-17721 Mathematics, Physics, and Engineering.
17
PROGRAM
Mathematical logic
Online courses Link Summary
in English
Logic: The https://www.courser The course covers propositional and predicate logic,
Basics by a.org/learn/logic proof methods, and applications in computer
Stanford science.
University
Introduction to https://www.courser The course focuses on propositional and predicate
Logic by a.org/learn/logic-uw logic, with an emphasis on using logic to solve
University of problems.
Washington
Reasoning https://www.edx.org/ This course explores the application of logic to
Under course/reasoning- problems involving reasoning under uncertainty,
Uncertainty by under-uncertainty- with a focus on its relevance to artificial intelligence.
MIT mitx-6-034-1x
Mathematical https://www.courser The course delves deeper into topics such as formal
Logic by the a.org/learn/mathemat systems, Gödel's incompleteness theorems, and set
University of ical-logic theory.
California, San
Diego
Online courses Link Summary
in Russian
Введение в https://www.courser The course provides an understanding of logical
математическу a.org/learn/mathemat principles and their application in various fields,
ю логику ical-logic including mathematics, computer science,
philosophy and artificial intelligence.
Логика https://stepik.org/cou The course covers the basics of logic, propositional
rse/114/syllabus and predicate logic, set theory and logical paradoxes.
Математическа https://stepik.org/cou The course focuses on the study of the basic concepts
я логика: rse/15988/syllabus of mathematical logic, predicate logic and the basics
основы. of set theory.
18
PROGRAM
19
PROGRAM
20
PROGRAM
21
PROGRAM
22
PROGRAM
Programming https://www.classcen This 8-week course from IIT Roorkee delves into
and Simulink tral.com/course/sway advanced linear continuous control systems. You'll
am-advanced-linear- master state space modelling, stability analysis,
continuous-control- controllability, and observability, gaining practical skills
systems- with MATLAB and Simulink to confidently tackle real-
applications-with- world control challenges.
matlab-
programming-and-
simulink-13887
An https://www.classcen This short course from the Simons Institute, led by
Informational tral.com/classroom/y Gireeja Ranade of Microsoft Research, examines
Perspective on outube-an- uncertainty in control systems from an information-
Uncertainty in informational- theoretic perspective.
Control perspective-on-
uncertainty-in-
control-180472
Online courses Link Summary
in Russian
Кибернетика https://stepik.org/cou This is a course that studies the fundamentals of
rse/200842/promo#t information theory and control in systems.
oc
Основы https://teach- This course explores various classes of control systems,
кибернетики in.ru/course/fundame focusing on their discrete mathematical models. These
ntals-of-cybernetics models represent diverse types of electronic circuits,
information processing and control systems,
algorithms, and programs, providing a comprehensive
understanding of their underlying structure and
behaviour.
Теория https://openedu.ru/co This course helps students understand issues of linear
кибернетическ urse/spbu/CYBERS theory, discrete systems and discretization, features of
их систем YS/ nonlinear problems
23
PROGRAM
IBM: Software https://www.edx.org/ This course is suitable for anyone willing to start in a
Engineering learn/software- software development-related role, including those
Basics for engineering/ibm- aspiring to be Software Engineers, IT Product and
Everyone software- Project Managers, Scrum Masters, Information
engineering-basics- Developers, UI/UX Designers, QA Engineers, as well
for-everyone as Sales Executives, and Marketing Managers in the
Tech industry. No prior programming experience or
degree is required.
UBCx: Software https://www.edx.org/ This course introduces how teams design, build, and test
Engineering: learn/software- multi-version software systems.
Introduction engineering/universit You will learn software engineering principles that
y-of-british- apply to the breadth of large-scale software systems.
columbia-software- The course explores topics such as agile development,
engineering- REST and Async programming, software specification,
introduction design, refactoring, information security, and more.
24
PROGRAM
Основы Agile https://stepik.org/183 This is a course that allows you to delve deeply into the
476 values, principles and practices of Agile (agile), as well
as understand their connection with the methods used in
popular methodologies such as Scrum, XP (extreme
programming) and Kanban.
25
PROGRAM
database-
design#modules
Online courses Link Summary
in Russian
Проектировани https://intuit.ru/studi The course is aimed at studying modern methods and
е es/courses/2195/55/i means of designing information systems in the field of
информационн nfo economics. The scientific basis of the course is the
ых систем methodologies of system analysis and modelling.
Введение в https://intuit.ru/studi The course outlines the basic concepts and methods of
реляционные es/courses/74/74/inf organizing and manipulating relational databases and
базы данных o also describes basic approaches to designing relational
databases. The concept of a relational data model is
introduced, and the structural, manipulation and
holistic components of the model are discussed.
Хранение и https://openedu.ru/co The purpose of the course is to show the practical
обработка urse/ITMOUniversit aspects of technologies related to storage, processing
данных y/DATST/?session= and approaches to analyzing large volumes of data.
self_2024 Practical exercises of the course can be performed
using MS Excel, programming languages (not
required), relational and NoSQL DBMS.
26