Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Дискретті математика және математикалық логика
-
Пікір логикасы. Формулалар, логикалық салдар және эквиваленттілік. Предикат ұғымы. Предикаттық логиканың негізгі формулалары. Жиын ұғымы, жиындарды белгілеу. Ішкі жиындар және олардың қасиеттері. Алгебралық толықтауыш және минорлар. Жиындарды жабу және бөлу. Екілік қатынастар және олардың қасиеттері. Эквиваленттілік пен жартылай тәртіптің қатынасы. Функционалдық қатынастардың түрлері. Алгоритмнің интуитивті тұжырымдамасы және оны нақтылау қажеттілігі. Тьюринг Машиналары. Тюринг тезисі. Алгоритмнің күрделілігі туралы түсінік. Класстар.
-
Образовательная программа 6B06111 Информатика және компьютерлік ғылымдар
-
Несиелер 4
-
Оқу жылы 1
-
Семестр 2