Otomatik teorem kanıtlama

Otomatik teorem kanıtlama, teoremlerin bilgisayar programları aracılığıyla kanıtlanmasına odaklanan matematiksel mantık dalıdır. Otomatik yordamlar için matematiksel kanıt yönteminin kullanılması bilgisayar biliminin gelişiminde kilit rol oynamıştır.

Allen Newell, Herbert A. Simon ve J. C. Shaw tarafından geliştirilmiş Logic Theorist programı önerme mantığına ait kanıtlar sunmaktadır.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.