KZ

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

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