KZ

Основы математической логики’

  • Цель курса - доказать математическое рассуждение и дать целостное ознакомление о математических обозначениях. Математические обозначения. Формальные системы. Доказуемость математических суждений. Дедуктивный метод доказательства. Математическое доказательство. Основания математики. Основные законы формальной логики. Примеры. Языки математической логики обладающие семантически полными и семантически пригодными исчислениями. В результате освоения курса студенты будут знакомы с структурой математических предложении и доказательств
  • Образовательная программа 6B01501 Подготовка учителей математики
  • ВУЗ Таразский региональный университет имени Мухаммед Хайдар Дулати
  • Кредитов 6
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 1
Top