Роль Алана Тьюринга в истории информатики. Роль теории "логических вычисляющих машин" в научной деятельности ученого. Дружба с Кристофером Моркомом как основной стимул для развития своего интереса к науке. Биография и характеристика Алана Тьюринга.

Линейные уравнения и операции над матрицами. Обратная матрица и матричные уравнения. Линейные пространства, ранг матрицы и его приложения. Действия с комплексными числами. Группы, подгруппы, порядки элементов. Многочлены от одной и нескольких переменных.

Основні напрямки сучасної теорії зображень. Роль теорії матричних задач А.В. Ройтера. Обчислення матричної алгебри Aуслендера для однієї задачі про подібність пари матриць з деякими природними співвідношеннями. Формулювання класифікаційної теореми.

Исследование различных систем "чисел", которые можно построить, исходя из действительных чисел, путем добавления рядя "мнимых единиц". Характеристика и доказательства теорем Ферма-Эйлера, Адольфа Гурвица и приложение к ней (Фердинанда Георга Фробениуса).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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