Росдистант ТГУ. Математическаялогика, алгебра и теориячисел Высказывания и операции над ними. Понятие формулы алгебры высказываний. Логическое значение составного высказывания. Тавтологии. . Промежуточный
Росдистант ТГУ. Математическаялогика, алгебра и теориячисел . Лекция 3.1. Основные понятия векторной алгебры. Базис. Переход от одного базиса к другому . Промежуточный тест 3
Росдистант ТГУ. Математическаялогика, алгебра и теориячисел . Лекция 6.1. Основные понятия, связанные с предикатами. Кванторные операции над предикатами . Промежуточный тест 6
Росдистант ТГУ. Математическаялогика, алгебра и теориячисел . Лекция 6.1. Основные понятия, связанные с предикатами. Кванторные операции над предикатами . Промежуточный тест 6
Росдистант ТГУ. Математическаялогика, алгебра и теориячисел . Лекция 1.1. Матрицы и действия над матрицами. Определители. Способы нахождения обратной матрицы. Ранг матрицы . Промежуточный тест 1
Росдистант ТГУ. Математическаялогика, алгебра и теориячисел . Лекция 8.1. Наибольший общий делитель и наименьшее общее кратное в кольце полиномов. Разложение на простые множители. Алгоритм Евклида .
Росдистант ТГУ. Математическаялогика, алгебра и теориячисел . Лекция 8.1. Наибольший общий делитель и наименьшее общее кратное в кольце полиномов. Разложение на простые множители. Алгоритм Евклида
Росдистант ТГУ. Математическаялогика, алгебра и теориячисел . Лекция 2.1. Понятие системы линейных уравнений. Решение систем линейных уравнений методом Гаусса, по формулам Крамера, средствами матричного