Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Математикалық логика
-
Курста формальды ойлау мен математикалық құрылымдарды зерттеу үшін қолданылатын принциптер мен әдістер қарастырылады. Ол математикалық пайымдау мен дәлелдеу әдістерінің негізін құрайтын тұжырымдар мен предикаттардың логикасына тереңірек үңіледі. Студенттер логикалық байланыстар, ақиқат кестелері, қорытынды ережелері және дәлелдеу әдістері туралы үйренеді, мысалы, тікелей дәлелдеу, керісінше дәлелдеу және математикалық индукция.
-
Образовательная программа 6B05401 Математика
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 4
-
Семестр 7