Karar Problemi

Karar problemi, matematik ve biçimsel mantıktaki bir soru sınıfı için, sınıfın herhangi bir sorusunu seçtikten sonra, bu soruya "evet" veya "hayır" gibi kesin bir cevap verecek bir algoritma veya tekrarlayan prosedür bulma problemi. Yöntem, önceden atanmış kurallar tarafından belirlenen sonlu sayıda adımın art arda gerçekleştirilmesinden oluşur. Özellikle bu terim, belirli bir lojistik sistemde, mantıksal kalkülüste veya formel matematiksel sistemde, verilen bazı "iyi biçimlendirilmiş formüllerin" (belirlenmiş biçimlendirme kurallarına uygun olarak oluşturulmuş) sistemin bir teoremi olarak kanıtlanabilir olup olmadığını bulmaya yönelik prosedürler için kullanılır.