Тема 40. Линейные преоброзовании и их матрицы. Линейные преоброзовании и операции над ними, отношения между матрицами линейных преоброзований перестановок в разных базисах.
Тема 41. Инвариантные подпространства. Собственные значения и собственные векторы линейной преоброзований. Инвариантные подпространства. Собственные значения и собственные векторы линейной преоброзований, характеристическое уравнение, матрицы, характеристический многочлен.
Тема 42. Сопряженное преоброзование к заданному преоброзовании.
Связь между линейными преоброзоаниями и билинейными формами в евклидовом пространстве. Комбинация линейных преоброзований.
Тема 43. Сопряженные, унитарные и нормальные линейные преобразования. Унитарные преоброзование. Взаимно сопряженные преоброзовании.
Тема 44. История дискретной математики и математической логики. Высказиваниее. Логические операции над высказиваниями. Общие понятия дискретной математики и математической логики и их роль в решении современных практических задач. Высказивание. Логические операции над высказиваниями.
Тема 45. Формулы. Формулы. Равносильные формулы. Тождественно истинные, ложные и выполнямые формулы.
Тема 46. Нормальные формы формул. Нормальные формы формул. Дизъюнктивные и конъюнктивные нормальные формы. Совершенные конъюнктивные и дизъюнктивные нормальные формы.
Тема 47. Закон двойственности в логической алгебре. Арифметические операции в логической алгебре. Закон двойственности в логической алгебре. Арифметические операции в логической алгебре. Многчлен Жегалкина.
Тема 48. Полнота системы функций. Функциональные замкнутые классы и теорема Поста. Полнота системы функций. Функциональные замкнутые классы и теорема Поста.
Тема 49. Приложения математической логики к дискретным методам.
Приложения математической логики к дискретным методам. Функциональные элементы и изготовление из них схем.
Тема 50. Алгоритм построения дизъюнктивных нормальных форм с тупиками. Методы построения дизъюнктивных нормальных форм с тупиками на геометрической основе. Алгоритм построения дизъюнктивных нормальных форм с заглушками. Некоторые однозначно образованные дизъюнктивные нормальные формы.
Do'stlaringiz bilan baham: |