Республика узбекистан министерство высшего и средние специального

Тема 43. Сопряженные, унитарные и нормальные линейные преобразования. Унитарные преоброзование. Взаимно сопряженные преоброзовании.
Х – МОДУЛЬ. Алгера высказиваний.
Тема 44. История дискретной математики и математической логики. Высказиваниее. Логические операции над высказиваниями. Общие понятия дискретной математики и математической логики и их роль в решении современных практических задач. Высказивание. Логические операции над высказиваниями.
Тема 45. Формулы. Формулы. Равносильные формулы. Тождественно истинные, ложные и выполнямые формулы.
Тема 46. Нормальные формы формул. Нормальные формы формул. Дизъюнктивные и конъюнктивные нормальные формы. Совершенные конъюнктивные и дизъюнктивные нормальные формы.
Тема 47. Закон двойственности в логической алгебре. Арифметические операции в логической алгебре. Закон двойственности в логической алгебре. Арифметические операции в логической алгебре. Многчлен Жегалкина.
Тема 48. Полнота системы функций. Функциональные замкнутые классы и теорема Поста. Полнота системы функций. Функциональные замкнутые классы и теорема Поста.
Тема 49. Приложения математической логики к дискретным методам.
Приложения математической логики к дискретным методам. Функциональные элементы и изготовление из них схем.
Тема 50. Алгоритм построения дизъюнктивных нормальных форм с тупиками. Методы построения дизъюнктивных нормальных форм с тупиками на геометрической основе. Алгоритм построения дизъюнктивных нормальных форм с заглушками. Некоторые однозначно образованные дизъюнктивные нормальные формы.
XI – МОДУЛЬ. Предикаты.
Тема 51. Предикаты и логические операции над ними. Понятие предиката. Логические операции над предикатами. Квантификаторы общности и доступности. Концепция формулы. Вычислите значение формулы.
Тема 52. Нормальная форма формулы логики предикатов. Выполнямые и универсальные формулы. Номинальная форма формулы логики предикатов. Выполнямые и универсальные формулы. Решение проблемы.