RU

Негіздер 1

  • Курс мақсаты – компьютерлік ғылымдар негізінде жатқан логика мен дәлелдеудің негізгі принциптері мен әдістерін енгізу және оларға баға беру. λ -есептеу туралы түсінік, есептелетін функциялардың λ-есептеуде қалай ұсынылатындығы, λ-есептеудің негізгі теориялық қасиеттері және λ-есептеудің информатика үшін маңыздылығы туралы түсінік. Негіздер 1: Логика және дәлелдеу: пікірлерді есептеу – ақиқат кестелері, предикаттарды есептеу, қорытынды ережелері, дұрыстығы, толықтығы, сенімділігі, орындылығы, тұжырымдау және сөйлемдермен есептеулері. Ламбда есептеу: синтаксис, белгілер, байланысты және еркін айнымалылар, α-түрлендіру және алмастыру, азайту және есептеу, есептелетін функцияларды ұсыну, теориялық қасиеттер.
  • Образовательная программа 6B06107 Компьютерлік инженерия (ҚР+UK)
  • ВУЗ Құдайберген Жұбанов атындағы Ақтөбе өңірлік университеті
  • Несиелер 5
  • Оқу жылы 3
  • Семестр 5
Top