yinelgeli sayılabilir küme ne demek?
- K gibi bir deyim kümesinin yinelgeli sayılabilir olması, K nın ya boş olması ya da işlemlenebilir bir izergenin artalanı olması demektir. || Örn. temel mantıklı bir biçimsel dizgenin bütün kanıtsavlarının kümesi genellikle yinelgeli sayılabilir'dir.
Recursively enumerable set.
Ensemble récursivement énumérable
yinelgen bağıntı
- Yinelgen bir küme oluşturan bağıntı. || Örn. Doğal sayılar arasındaki "küçük olma" bağıntısı yınelgendir.
Recursive relation.
Relation récursive
yinelgen izerge
- Temel mantıklı sayı kuramında belirtilebilen sayısal izerge.
- İşlemlenebilir izerge.
Recursive function.
Fonction récursive
sayılabilir
- Sayılma niteliği olan, "sayılamaz" karşıtı.
Countable, numerable, calculable.
küme
- Tümsek biçimindeki yığın.
- Birbirine benzer veya aynı cinsten olan şeylerin oluşturduğu bütün, takım, öbek, grup
- Tomar.
- Bir sınıfta öğrencilerin, belli bir eğitim ve öğretim amacıyla bir süre için oluşturdukları takım veya öbek.
- Takımların durum ve nitelikleri göz önünde bulundurularak belli sayıdaki takımdan oluşturulan topluluk, lig.
- Koşularda, kendiliğinden oluşan yarışçı gruplarının her biri.
- Aynı yapıdaki öğelerden oluşan topluluk.
- Çok sayıda nesne ve canlı topluluğu
- Takımların durum ve nitelikleri göz önünde bulundurularak Ayaktopu Birliğince belli sayıdaki takımdan oluşturulan topluluk.
Heap.