aysegul ben groupie oldum

  • 443
  • 0
  • 0
  • 0
  • 3 yıl önce

automated theorem proving

otomatik teorem ispatlama ya da mekanik teorem ispatlama olarak türkçeye çevrilebilir.

belli kurallar ve kısıtlamalar dahilinde, düzenli (bilgisayarın işleyebileceği) bir biçimde tanımlanmış teoremleri, bilgisayar programlarına ispatlattırma işi.

bu işin yapılması hem uzun sürmesi, hem fazla bilgisayar hafızası tüketmesi, hem de çözümlerin insan tarafından kolay anlaşılabilir olmaması (bilgisayarlar tarafından yapılan ispatların diğer alanlara taşınamaması) yüzünden hala gelişmelere açık bir alandır.

devamını okuyayım »