Тема 53. Применение логики предикатов к математике. Исчисление аксиоматических предикатов . Применение логики предикатов к математике. Исчисление аксиоматических предикатов.
Тема 54. Понятие алгоритма и его характеристики. Разрешимые и счетные множества. Понятие алгоритма и его характеристики. Разрешимые и счетные множества.
Тема 55. Машины Тьюринга. Машины Тьюринга. Реализация алгоритма на машине Тьюринга. Операции на машине Тьюринга.
Тема 56. Основная гипотеза теории алгоритмов. Нормальные марковские алгоритмы. Вычислимые функции по Маркову. Основная гипотеза теории алгоритмов. Нормальные марковские алгоритмы. Вычислимые марковские функции.
III. Инструкции и рекомендации по практическим занятиям
Для практических занятий рекомендуются следующие темы :
Тема 1. Бинарные отношения. Отношение эквивалентности. Бинарные отношения. Поля определения и значения бинарных отношений. Инверсия бинарного отношения. Рефлексивные, антирефлексивные, симметричные, антирефлексивные, транзитивные бинарные отношения. Композиция бинарных отношений.
Тема 2. Отображении. Отображении. Типы отрображений (инъективные, сюръективные, биективные отражения). Композиция отрображений. Обратное Отобрвжении.
Тема 3. Комплексные числа и действия над ними. Комплексные числа и операции над ними, свойства. Взаимные комплексные числа. Формула Муавра, извлечение корней из комплексного числа.
Тема 4. Подстановки и преоброзование. Инверсия и подпись преоброзование. Нечетные и четные подстановки.
Тема 5. Матрицы и операции над ними. Концепция матрицы. Сложение матриц, умножение матрицы на число, операции умножения матриц и их свойства. Матричное транспонирование.
Тема 6. Ранг матрицы. Линейные комбинации строк матрицы, линейно зависимые и линейно независимые строки, ранг суммы строк, базис суммы строк, ранг матрицы .
Тема 7. Определитель и его свойства. Определитель квадратной матрицы. Методы вычисления определителей квадратных матриц 2-го, 3-го порядка. Свойства определителя.
Do'stlaringiz bilan baham: |
