RU

Математикалық логика

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