TüMEVARIMCI sıf. Tümevarıma dayanan: Tümevarıma yöntem. *Mant. Tümevarıma kurallar, tümevarımcı mantığa özgü kurallar. (Genelleştir...
TüMEVARIMCI sıf. Tümevarıma dayanan: Tümevarıma yöntem.
*Mant. Tümevarıma kurallar, tümevarımcı mantığa özgü kurallar. (Genelleştirme kuralı tümevarıma bir kuraldır.) || Tümevarıma küme, tümüyle sıralanmış her parçanın bir üstten sınırlayanı olacak biçimde sıralanan küme. || Tümevarıma mantık, bilimsel tümevarımın başlıca yöntemlerini kurala balayan ve doğrulama, öndeyi ve açıklama kavramlarını inceleyen sistem. (Tümevarıma mantık, özellikle birincil tümevarımT, yani sonlu bir sayıdaki algı yargısından başka öncülleri olmayan çıkarımları inceler. "Ben n beyaz kuğu gördüm, öyleyse bütün kuğular beyazdır" çıkarımı bu tür çıkarımların belirtici bir örneğidir.) || Tümevarıma tanım, a-0 = Ove a(b +1) = ab + a çarpmaları tipinde tanım. (işlemin sonucu 0 için verilir, sonra, bir sayı için sonucun bilindiği varsayılarak, çarpma bu sayının ardılı için tanımlanır; böylece bu işlem, gitgide her sayı için tanımlanabilir.)
*Mant. Tümevarıma kurallar, tümevarımcı mantığa özgü kurallar. (Genelleştirme kuralı tümevarıma bir kuraldır.) || Tümevarıma küme, tümüyle sıralanmış her parçanın bir üstten sınırlayanı olacak biçimde sıralanan küme. || Tümevarıma mantık, bilimsel tümevarımın başlıca yöntemlerini kurala balayan ve doğrulama, öndeyi ve açıklama kavramlarını inceleyen sistem. (Tümevarıma mantık, özellikle birincil tümevarımT, yani sonlu bir sayıdaki algı yargısından başka öncülleri olmayan çıkarımları inceler. "Ben n beyaz kuğu gördüm, öyleyse bütün kuğular beyazdır" çıkarımı bu tür çıkarımların belirtici bir örneğidir.) || Tümevarıma tanım, a-0 = Ove a(b +1) = ab + a çarpmaları tipinde tanım. (işlemin sonucu 0 için verilir, sonra, bir sayı için sonucun bilindiği varsayılarak, çarpma bu sayının ardılı için tanımlanır; böylece bu işlem, gitgide her sayı için tanımlanabilir.)
Kaynak: Büyük Larousse
YORUMLAR