Логиканың іргелі мәселелері'

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