Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Математикалық логиканың негіздері’
-
Пәннің мақсаты - математикалық ойлауды дәлелдеу және математикалық белгілер туралы толық түсінік беру. Математикалық белгілеулер. Формальді жүйелер. Математикалық пайымдардың дәлелділігі. Дәлелдеудің дедуктивті әдісі. Математикалық дәлелдеулер. Математиканың негіздері. Формальді логиканың негізгі заңдары. Мысалдар. Семантикалық толық және семантикалық жарамды есептеулерге ие болатын математикалық логика тілдері. Курсты меңгеру нәтижесінде студенттер математикалық сөйлемдер мен дәлелдемелердің құрылымымен таныс болады
-
Образовательная программа 6B01501 Математика мұғалімдерін даярлау
-
Несиелер 6
-
Селективті тәртіп
-
Оқу жылы 3
-
Семестр 1