Соотношение кода и названия дисциплины СГА → Математическая логика и теория алгоритмов

Математическая логика и теория алгоритмов (1000) - Соотношение кода и названия дисциплины СГА

В рамках дисциплины изучаются следующие темы:

  • Основы теории алгоритма и формальных систем
  • Элементы математической логики