Математическая логика и теория алгоритма

  • Основные понятия и принципы математической логики, включая формальные системы, логические операции, рассуждения и доказательства. Основные концепции теории алгоритмов, такие как алгоритмическая сложность, формальные языки и автоматы. Разработка и анализ эффективных алгоритмов, применение логических методов и формальные модели в области искусственного интеллекта и блокчейн.
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 4
  • Семестр 1
Top