KZ

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

  • Cодержит традиционные разделы математической логики: теорию множеств, пропозициональную логику и логику предикатов, а также введение в аксиоматические формальные системы, основные формализации алгоритмов и вычислимости и введение в классификации алгоритмов и задач по сложности. Описывает взаимосвязи между научным подходом в познании реального мира, логикой и математикой
  • Образовательная программа 6B06101 Аналитика больших данных
  • ВУЗ Международная образовательная корпорация
  • Кредитов 4
  • Год обучения 1
  • Семестр 2
Top