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

  • Дисциплина изучаетиспользование основных принципов и положений математической логики: буле¬вой логики высказываний; общей теории формальных исчислений; элементарной теории множеств; теоретико-множественной логики предикатов. применение математического аппарата и теории современной матема¬тической логики при решении различных типовых задач.
  • Образовательная программа 6B06102 Информационные системы
  • Кредитов 6
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 2
Top