KZ

Фундаментальные вопросы логики'

  • Цель курса: освоение базовых методов для решения фундаментальных проблем математической логики. Будут изучены: Законы формальной логики. Алгебра высказываний. Исчисление высказываний. Булевы функции. Логика предикатов. Формулы алгебры предикатов. Интуитивное понятие алгоритма и его формализации. Вычислимость и разрешимость. Сложность вычислений. Теория графов. Кодирование и декодирование. Элементы криптографии. Современные криптографические системы и их применение. Задачи криптографии. В результате освоения курса магистранты будут способны решать некоторые современные проблемы математической логики
  • Образовательная программа 7M01501 Подготовка педагогов математики
  • ВУЗ Таразский региональный университет имени Мухаммед Хайдар Дулати
  • Кредитов 5
  • Год обучения 1
  • Семестр 1
Top