Математические доказательства

  • Целью дисциплины является развитие навыков математической аргументации, логического мышления и умения проводить формальные доказательства. Содержание: основные понятия логики и математического доказательства, методы доказательства в алгебре, анализе и теории чисел, теория множеств и математическая индукция, формализация доказательств в компьютерных системах, доказательства существования и уникальности, доказательства от противного и контрапозиции, доказательства методом математической индукции. Математические доказательства в геометрии. Математические доказательства теорем из специальных разделов математики
  • Образовательная программа 7M01510 Математика
  • Кредитов 6
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 2
Top