KZ

Высокозначная логика алгебры

  • Основные понятия и методы алгебры и предикатной алгебры предложений, теория комбинаторики, теория поведения облаков, формальное построение алгоритмов, теория графов, теория кодирования. Написание математических констант с использованием логических символов, для преобразования формул с квантификаторами и предикатами. Написание математических формул, умение создавать бычьи функции для их описания.
  • Образовательная программа 7M01503 Математика
  • ВУЗ Шымкентский университет
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top