Anglais | Turc | |
---|---|---|
General | ||
General | decidable adj. | karar verilebilir |
Telecom | ||
Telecom | decidable adj. | karar verilebilir |
Logic | ||
Logic | decidable adj. | kararlaştırılabilir |
Logic | decidable adj. | iyi oluşturulmuş formüllerin teorem olup olmadığını mekanik usulle belirleyen |