KZ

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

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