LAaG DSBA 2022/2023

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск

Teachers and Assistants

Group 211 (M+P+) 212 213 214
Lecturer Andrey Mazhuga
Teacher Andrey Mazhuga Vladislav Balakirev (tg) Nikita Medved (tg)
Consultations Sat, 17:00 -- 21:00, via Zoom
One must notify me beforehand
write me in telegram
Assistant Белоновский Пётр
pibelonovskiy@edu.hse.ru
Астанина Ксения
kkastanina@edu.hse.ru
Боженов Олег
@obozhenov
Науменко Дарья
@yalmess

Course Description

The course introduces students to the elements of linear algebra and analytic geometry, provides the foundations for understanding some of the main concepts of modern mathematics. There is a strong emphasis in this course on complete proofs of almost all results.

We will approach the subject from both a practical point of view (learning methods and acquiring computational skills relevant for problem solving) and a theoretical point of view (learning a more abstract and theoretical approach that focuses on achieving a deep understanding of the different abstract concepts).

Topics covered include: matrix algebra, systems of linear equations, permutations, determinants, complex numbers, fields, abstract vector spaces, bilinear and quadratic forms, Euclidean spaces, some elements of analytic geometry, linear operators. It took mathematicians at least two hundred years to comprehend these objects. We plan to accomplish this in one year.

Grading system

During the academic year, the student will be formally graded on the following:

  • two in-class oral tests (O1 and O2);
  • two in-class written tests (W1 and W2);
  • several quizzes (Q1 and Q2, where Qi is the average grade of all the quizzes in the i-th semester);
  • several homework assignments (H1 and H2, where Hi is the average grade of all the homework assignments in the i-th semester);
  • two written exams (E1 and E2).

All grades (namely, O1, O2, W1, W2, Q1, Q2, H1, H2, E1, and E2) are real numbers from 0 to 10.

The cumulative course grade for the first semester, C1, is obtained without rounding by the following formula:

C1 = 5/16*O1 + 4/16*W1 + 4/16*Q1 + 3/16*H1.

The intermediate course grade for the first semester, I1, is obtained by the following formula:

I1 = Round1(3/10*E1 + 7/10*C1),

where the function Round1(x) is defined as follows: if the decimal part of x is less than 0.2, the grade is rounded downwards; if the decimal part of x is greater than 0.7, the grade is rounded upwards; if the decimal part of x is from the interval [0.2;0.7] and the student's seminar attendance during the first semester is not below 66%, the grade is rounded upwards; otherwise the grade is rounded downwards.

The cumulative course grade for the second semester, C2, is obtained without rounding by the following formula:

C2 = 5/16*O2 + 4/16*W2 + 4/16*Q2 + 3/16*H2.

The intermediate course grade for the second semester, I2, is obtained by the following formula:

I2 = Round2(3/10*E2 + 7/10*C2),

where the function Round2(x) is defined as Round1(x) but with "during the first semester" replaced by "during the second semester".

The final grade for the course, F, is obtained by the following formula:

F = Round(1/4*I1 + 3/4*I2),

where the function Round(x) is defined as Round1(x) but with "during the first semester" replaced by "during the academic year".

The final grade for the course is included in a diploma supplement.

Lecture Notes

Module 4

  • Lecture 30 (15.05.2023) Orthogonality in Euclidian spaces; orthogonal and orthonormal sets and bases; Gram-Schmidt process; the orthogonal complement and its main properties; the projection and the rejection of a vector.
  • Lecture 29 (24.04.2023) Euclidean spaces; scalar product; the norm of a vector; Cauchy–Schwarz inequality; the angle between two vectors; the Gram matrix and its main properties.
  • Lecture 28 (17.04.2023) Quadratic forms (Part III); The Jacobi theorem; normal bases and the normal form of a quadratic form; the positive and negative indices of inertia, the signature of a quadratic form; the Sylvester law of inertia; positive (semi)-definite and negative (semi)-definite quadratic forms; the Sylvester criterion.
  • Lecture 27 (10.04.2023) Quadratic forms (Part II); reduction of a quadratic form to canonical form; the Lagrange method.
  • Lecture 26 (03.04.2023) Quadratic forms; associated bilinear form; coordinate matrix of a quadratic form; canonical basis and canonical form of a quadratic form.

Module 3

  • Lecture 25 (20.03.2023) Bilinear Forms; a coordinate matrix of a bilinear form; change-of-basis formula for bilinear forms; symmetric and skew-summetric bilinear forms. Quadratic forms; the associated bilinear form of a quadratic form.
  • Lecture 24 (13.03.2023) Linear operators (Part IV); Jordan matrix; Jordan normal form; Jordan basis; Jordan basis theorem (without proof); Cayley-Hamilton theorem. Linear Functionals; dual space; dual basis; isomorphism between V and V*.
  • Lecture 23 (06.03.2023) Linear operators (Part III); diagonalizability of a linear operator; inequality between algebraic and geometric multiplicities; criteria of diagonalizability.
  • Lecture 22 (27.02.2023) Linear operators (Part II); vector space of linear operators; the characteristic polynomial of a linear operator; algebraic and geometric multiplicity of an eigenvalue.
  • Lecture 21 (20.02.2023) Linear operators; the rank, the determinant, and the trace of a linear operator; invariant subspaces; eigenvectors and eigenvalues of a linear operator.
  • Lecture 20 (14.02.2023) Linear Transformations (Part III: injectivity and surjectivity of linear transformations) injective and surjective linear transformations; isomorphisms (=linear bijections) of vector spaces; the inverse of an isomorphism; the fact that two finite dimensional vector spaces are isomorphic if and only if they both have the same dimension.
  • Lecture 19 (13.02.2023) Linear Transformations (Part II: matrix representation and change of basis); coordinate matrices of a linear transformation; coordinate matrix of a composition of linear transformations; change of basis.
  • Lecture 18 (06.02.2023) Linear Transformations; main properties of linear transformations; the image and the kernel of a linear transformation; singular and non-singular linear transformations; the rank and the nullity of a linear transformation.
  • Lecture 17 (30.01.2023) The rank of a matrix (Part II); we prove that the column rank equals the row rank.
  • Lecture 16 (16.01.2023) The direct sum of subspaces; main properties of the direct sum; the rank of a matrix; column and row spaces of a matrix; column and row ranks of a matrix.
  • Lecture 15 (09.01.2023) Main properties of change of basis matrices; the sum, the intersection, and the direct sum of vector subspaces; the dimension of the sum of two vector subspaces.

Module 2

  • Lecture 14 (12.12.2022) Vector spaces (Part III); m-element subsets of an n-dimensional vector space; extension to a basis; the dimension of a subspace of a finite dimensional vector space; ordered basis; basis matrix; change of basis matrix.
  • Lecture 14 (05.12.2022) Vector spaces (Part II); Main theorem on linear dependence; a basis of a vector space; dimension of a vector space; finite and infinite dimensional vector spaces; some main properties of finite dimensional vector spaces.
  • Lecture 13 (28.11.2022) Vector spaces (Part I); a subspace of a vector space; linear combinations; the linear span; trivial and non-trivial linear combinations; linearly dependent and linearly independent sets.
  • Lecture 11 (21.11.2022) Polynomials; the degree of a polynomial; division with remainder; a root of a polynomial; factor theorem; the multiplicity of a root; algebraically closed fields; fundamental theorem of algebra; interpolation polynomials in the Lagrange form.
  • Lecture 10 (14.11.2022) Complex numbers (part II); main properties of the conjugate and the absolute value of a complex number; polar (= trigonometric) form of a complex number; de Moivre's Formula; the set of n-th roots of a complex number, its description.
  • Lecture 9 (07.11.2022) The determinant of a Vandermonde matrix; fields; the field of complex munbers; Cartesian and algebraic forms of a complex number; the absolute value (=module) and the argument of a complex number, the complex conjugate.
  • Lecture 8 (31.10.2022) Block matrices; the determinant of a block matrix; minors and cofactors of a matrix; Laplace expansion; false expansion; the adjugate of a matrix; Cramer's rule.

Module 1

  • Lecture 7 (17.10.2022) Determinant of an elementary matrix; determinant of a product of matrices; determinant test for invertibility.
  • Lecture 6 (15.10.2022) Determinant; the Leibniz Formula; Sarrus' Rule; determinant of matrix transpose; three main properties of the determinant; the determinant of a matrix with a zero row or column.
  • Lecture 5 (10.10.2022) Permutations; two-line notation of a permutation; the sign of a permutation; even and odd permutation; transpositions.
  • Lecture 4 (03.10.2022) Systems of linear equations (SoLE); homogeneous, inhomogeneous, consistent, and inconsistent SoLE; the matrix form of a SoLE; leading and free variables; the augmented matrix of a SoLE; a general algorithm for solving SoLE.
  • Lecture 3 (21.09.2022) Elementary row matrix operations; elementary matrices; elementary row operations as matrix pre-multiplication; reduced row echelon form; Gaussian elimination.
  • Lecture 2 (14.09.2022) Matrix transposition; symmetric and skew-symetric matrices; inverse of a matrix; invertible (non-singular) matrices; the trace of a matrix; main properties of matrix transposition, matrix inverse, and the trace.
  • Lecture 1 (07.09.2022) Matrices, main definitions; special matrices (square matrices, triangular matrices, identity matrices, zero matrices); matrix scalar multiplication; matrix addition; matrix multiplication; main properties of these operations.

Homework

The obligatory homework for group 221:

Module 4

Module 3

Module 2

Module 1

  • HW_6 (release: 17.10.2022; deadline: 31.10.2022) (seminar notes)
  • HW_5 (release: 15.10.2022; deadline: 23.10.2022) (seminar notes)
  • HW_4 (release: 10.10.2022; deadline: 16.10.2022) (seminar notes)
  • HW_3 (release: 03.10.2022; deadline: 09.10.2022)
  • HW_2 (release: 21.09.2022; deadline: 02.10.2022)
  • HW_1 (release: 13.09.2022; deadline: 20.09.2022)

The obligatory homework for group 222:

Module 4

Module 3

Module 2

Module 1

The obligatory homework for group 223:

Module 4

Module 3

Module 2

Module 1

The obligatory homework for group 224:

Module 4

Module 3

Module 2

Module 1

  • HW_6 (release: 24.10.2022; deadline: 31.10.2022) (seminar notes)
  • HW_5 (release: 16.10.2022; deadline: 23.10.2022) (seminar notes)
  • HW_4 (release: 08.10.2022; deadline: 14.10.2022)
  • HW_3 (release: 01.10.2022; deadline: 07.10.2022)
  • HW_2 (release: 23.09.2022; deadline: 29.09.2022)
  • HW_1 (release: 15.09.2022; deadline: 21.09.2022)

Exams

Materials

Folder with some seminar (and lectures?) recordings (managed by the Study Office)

Results

Spring

221 222 223 224

Fall

221 222-223 224

Navigation

DSBA 2022/2023
First year