decidable ne demek?

karar

1. Herhangi bir durum için tartışılarak verilen kesin yargı, hüküm.
2. Bir iş veya sorun hakkında düşünülerek verilen kesin yargı
3. Türk müziğinde, taksim yaparken ana makama dönüş.
4. Tam ölçüsünde, ne az ne çok.
5. Değişmeyen, düzenli durum, düzenlilik, yöntemlilik.
6. Bu yargıyı bildiren belge.
7. Değişmez olma.
8. Bk. karar
9. Yasama, yargı, yönetsel kuruluşların, tüzel kişilerin bir türe düzeni doğuran ve ortaya koyan son bildirileri.
10. Değişmez hale gelmek.

decidable formal system

1. Saptanır biçimsel dizge

decidable logical system

1. Saptanır mantıksal dizge