KZ

Дискретная математика и математическая логика

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