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

  • Задачи курса сводятся к изучению алгебры высказываний, исчисления высказываний, логики предикатов и исчисления предикатов, к формированию логического мышления, развитию абстрактного мышления, освоение аппарата математической логики. Изучая математическую логику, студенты, по сути, знакомятся с современным математическим языком, являющимся, как известно, языком любой науки.
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 2
Top