KZ

Введение в математическую логику

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