Индукция в геометрии и комбинаторике. Иррациональность значений тригонометрических функций. Квадратный трехчлен и фазовая плоскость. Комплексные числа и операции с ними. Треугольник Паскаля и его свойства. Пути и отображения комплексной плоскости.

Розробка комплексу алгебро-логічних засобів формалізації інтелектуальної діяльності людини, зокрема семантики текстів природної мови, для розширення можливостей інтелектуального інтерфейсу; реалізація отриманих моделей у вигляді програмного продукту.

Геометрическая интерпретация комплексных чисел и действий над ними. Формулы длины отрезка и скалярного произведения векторов. Параллельность, коллинеарность, перпендикулярность. Двойное отношение четырёх точек плоскости. Полюсы относительно окружности.

Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.

Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.

Изучение специальной алгебры, занимающейся исчислением высказываний. Её роль в описании работы дискретных устройств. Элементарные функции алгебры логики. Использование двух приемов для построения произвольной. Предназначение эквивалентных соотношений.

Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.

Задачи алгебры логики как математического аппарата, ее связь с двоичным кодированием и основные законы. Особенности логических высказываний и формул. Порядок записи данных и команд в памяти компьютера и регистрах процессора. Сущность триггера и сумматора.

Базовые действия над матрицами: сложение, вычитание, умножение на число, умножение матрицы на матрицу, также операция деления на матрицу. Теорема невырожденной квадратной матрицы. Понятие обратной матрицы и решение уравнения. Базисный минор и ранг.

Типы алгебраических структур. Скалярное умножение арифметических векторов. Теория делимости квадратных матриц. Разложение матрицы в произведение простейших. Умножение матрицы на число. Элементарные преобразования над матрицами и элементарные матрицы.

Линейные пространства прямоугольных и квадратных матриц, многочленов и непрерывных вещественных функций. Теоремы, применяемые к квадратным матрицам. Зависимость в линейных пространствах и линейная комбинация элементов. Линейно независимые подсистемы.

Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.

Понятие и направления исследования множеств, их классификация и разновидности, свойства и отличия. Мощность множества и основные критерии ее оценки. Метрические пространства: внутренность, внешность и граница. Непрерывные отображения. Аксиомы счетности.

Определение понятия системы аксиом алгебры октав; ее непротиворечивость и категоричность. Изучение понятия и свойств сопряженных октав. Рассмотрение основных тождеств, применяемых к октавам. Формулирование и доказательство теорем Гурвица и Фробениуса.

Введения понятия алгебры множеств. Необходимость объединять счетные наборы событий в теории вероятностей. Замкнутость множества относительно счетного числа любых других операций над событиями. Составление функций распределения на основе их рядов.

Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.

Обоснование философского взгляда на процессы жизни и сознания, использующего популяционную динамику в качестве главного механизма развития биологических, психических, социальных, и прочих систем. Математический анализ динамики популяционных объектов.

Побудова поля комплексних чисел. Асоціативність, комутативність та дистрибутивність бінарних операцій. Еквівалентні перетворення системи векторів. Обчислення оберненої матриці елементарними перетвореннями. Критерій сумісності системи лінійних рівнянь.

Определение необходимости решения алгебраической проблемы собственных значений и собственных векторов при применении численных методов к решению задач динамики и устойчивости конструкций. Анализ причин плохой обусловленности задач строительной механики.

История развития представления человека о числах – одна из ярких сторон становления человеческой культуры. Действия над комплексными числами в алгебраической форме. Комплексное число, сопряженное делителю. Нахождение корней уравнения и дискриминанта.

Ознакомление с выражением характеристического уравнения, главного диагонального минора матрицы Гурвица. Рассмотрение свойства годографа. Определение диапазона изменения (приращения) аргумента. Анализ отредактированных графиков годографов Михайлова.

Универсальная алгебра и реляционная система. Сигнатура алгебраической системы. Определение функций типа изоморфизм и гомоморфизм. Описание индуцированных операций. Теорема об описании гомоморфных образов. Лемма о конгруенции, порожденной гомоморфизмом.

Решение типовых задач, посвященных алгебраическим структурам. Приведение примеров групп и подгрупп, определение смежных классов и гомоморфизмов. Изучение понятия и свойств колец и полей. Определение признаков множества, являющегося идеалом в кольце.

Решение уравнений в школьной программе. Потребность в комплексных числах. Извлечение корней, понятие квадратных уравнений. Преобразование кубичных уравнений. Решение уравнений в радикалах и существование корней уравнений. Приближённое решение уравнений.

Теоретические аспекты понятия о комплексных числах, число действительных корней и основные правила их извлечения. Методы решения различных видов уравнений с несколькими переменными в радикалах и приближенное решение уравнений в элементарной алгебре.

Общее понятие о комплексных числах и изучение методов решения уравнений первой степени. Примеры квадратных, кубических уравнений и извлечение корней. Число действительных корней и методы решения уравнений в радикалах о существований корней уравнений.

Краткий исторический очерк, возникновение и развитие чисел. Поле алгебраических чисел, их суть и значение. Понятие числового поля, алгебраическое число. Рациональные приближения алгебраических чисел. Теорема Лиувиля, трансцендентные числа Лиувиля.

Теория чисел как непосредственное развитие арифметики, краткий исторический очерк. Понятие числового поля и алгебраического числа. Доказательство теоремы Лиувилля о приближении алгебраических чисел. Подтверждение существования трансцендентных чисел.

Методы математического моделирования процессов проектирования информационных систем. Конструкции функциональных комплексов данных и абстрактных алгебраических машин, которые обеспечивают языковое единство и оптимизацию на всех этапах разработки.

Разработка программы для определения устойчивости линейной стационарной системы при помощи алгебраического критерия устойчивости Гурвица. Анализ линейной стационарной динамической системы на устойчивость. Код программы, основные этапы ее работы.