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

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

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

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

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

Анықтама

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