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