Компьютерлік дәлелдеу

Сала: Информатика және есептеуіш техника

Ағылшыншасы : Computer proof

дәлелдеу

дәлелдеу дәл+ел+де+у
корпустан іздеу

компьютерлік

компьютерлік компьютер+лік
корпустан іздеу

Анықтама

[өзгерту]
Компьютерлік дәлелдеу – математикалық теоремаларды немесе логикалық тұжырымдарды автоматты түрде тексеру және дәлелдеу процесі.

Басқа нәтижелер

компьютерное зрение моделирование компьютерное Компьютерное моделирование Моделирование компьютерное Компьютерное обучение Компьютерное моделирование речевого общения доказательство неравенства неопроверживое доказательство доказательство, аргумент