Курс предназначен для отработки задолжностей по теме "Дифференциальные уравнения" студентами 1 курса факультетов ФРТ, ФАиТУ, ФЭ.

Курс "ФВТ Математическая логика и теория алгоритмов"

Состав курса

  1. Логика высказываний,
  2. Логика и исчисление предикатов,
  3. Метод резолюций,
  4. Функции k-значной логики,
  5. Алгоритмы и машины Тьюринга,
  6. Сложность алгоритма.

Курс "ФВТ 842 Математическая логика и теория алгоритмов"

Состав курса

  1. Логика высказываний,
  2. Логика и исчисление предикатов,
  3. Метод резолюций,
  4. Функции k-значной логики,
  5. Алгоритмы и машины Тьюринга,
  6. Сложность алгоритма.

smileКурс "Теоретико-числовые методы в криптографии", ФВТ, специальность "Компьютерная безопасность"

Содержание

  1. Основные алгоритмы;
  2. Простые числа;
  3. Арифметика остатков;
  4. Псевдопростые числа;
  5. Теоремы сравнения;
  6. Группы;
  7. Тесты на простоту;
  8. Система шифрования RSA.

Курс "ФВТ 842 Математическая логика и теория алгоритмов"

Состав курса

  1. Логика высказываний,
  2. Логика и исчисление предикатов,
  3. Метод резолюций,
  4. Функции k-значной логики,
  5. Алгоритмы и машины Тьюринга,
  6. Сложность алгоритма.

Курс "Теория вероятностей и математическая статистика. Семестр 5,6", ФВТ, специальности "Компьютерная безопасность" и "Информационная безопасность автоматизированных систем"

Содержание

  1. Комбинаторика.
  2. Случайные события.
  3. Случайные величины.
  4. Предельные теоремы.
  5. Выборка.
  6. Оценивание случайных величин.
  7. Проверка статистических гипотез.
  8. Статистические модели
  9. Случайные функции.

smileКурс "Основы теории надежности", 10.05.01(03)"

Содержание

  1. Модели надежности элемента;
  2. Потоки восстановления;
  3. Надежности системы;
  4. Испытания на надежность;
  5. Надежность программного обеспечения.

В данном курсе рассматриваются базовые понятия теории нечетких множеств. Предназначен для студентов специальности 10.05.01 «Компьютерная безопасность», студентов направления 10.05.03 «Информационная безопасность автоматизированных систем», а также для иных лиц, желающих изучить основы теории нечетких множеств.

Курс предназначен для студентов группы 840 факультета вычислительной техники (направление 02.03.03 "Математическое обеспечение и администрирование информационных систем").