Дискретті математика және математикалық логика

  • Пікір логикасы. Сөйлемдерге арналған логикалық операциялар. Предикаттар логикасы және оларға операциялар қолдану. Математикалық теориялар. Дедукция теоремасы. Келтірілген және қалыпты формалар. Жиындар теориясының элементтері. Комбинаторика элементтері. Бульдік функциялар. Алгоритмнің қалыптасатын түсінігі. Есептелімді функциялар. Графтар теориясының элементтері. Желі. Кодтау теориясының элементтері. Кодтау арқылы ақпаратты қысу әдістері. Ақпаратты қорғау үшін кодтау әдісін қолдану.
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top