RU

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

  • Жиындар. Жиындарға қолданылатын амалдар. Эйлер-Венн диаграммалары. Қатынастар. Қасиеттері. Пікірлер және оларға қолданылатын амалдар. Пікір алгебрасының формулалары.Тавтологиялар. Логика алгебрасының формулалары үшін қалыпты формалар және оларды қолдану. Функциялардың толықтығы. Жегалкин көпмүшелігі. Предикаттар. Предикаттардың тепе-теңдігі. Предикаттар логикасының формулалары, олардың интерпретациясы және жіктелуі. Кванторлар. Графтар теориясы. Инцидент матрицалары. Бульдік функция. Рекурсивті функциялар. Автоматтар теориясы. Кодтау теориясы.
  • Образовательная программа 6B01503 Математика-Физика
  • ВУЗ Семей қаласының Шәкәрім атындағы университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 3
  • Семестр 2
Top