RU

Негіздер 2

  • Курс мақсаты - студенттердің математиканы дұрыс түсінуін қамтамасыз ету, атап айтқанда: функциялары және оларды логикалық сипаттау тәсілдері. Есептеуді түсіну. Есептеудің нақты моделін түсіну: Тьюринг машиналары. Есептеу шектерін және осы шектерді қайдан білетінімізді түсіну. Негіздер 2: Математикалық дайындық; саналымдылық; есептелетін және есептелмейтін жиынтықтар; диагонализация; годельдік нөмірлеу; Тьюринг машиналары (ТМ); есептелетін және есептелмейтін функциялар; тьюрингтік есептеу; тоқтату мәселесі; шешімділік және есептерді қысқарту; Чёрч тезисі және тиімді есептеу; анықталмаған ТМ;P=NP.
  • Образовательная программа 6B06107 Компьютерлік инженерия (ҚР+UK)
  • ВУЗ Құдайберген Жұбанов атындағы Ақтөбе өңірлік университеті
  • Несиелер 5
  • Оқу жылы 3
  • Семестр 6
Top