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