türetilmiş çıkarım kuralı

türetilmiş çıkarım kuralı İng. derived inference rule

Dizimbilimde kanıtlanabilen ilkel olmayan çıkarım kuralı.

türetilmiş çıkarım kuralı ile benzer kelimeler

çıkarım kuralı

İng. inference rule

() || Krş.. ilkel , türetilmiş , geçerli çıkarım kuralları kümesi, örneği, ilk , türetilmiş , giriş kuralı, çıkış kuralı, ayırma kuralı, ikilem, tümel özelleme kuralı, tikel özelleme kuralı,niceleyici değillemesi, mantıksal . Örn. () ...

çıkarım kuralı örneği

İng. instance of an inference rule

Bir çıkarım kuralının ilişkin olduğu çıkarım kalıbının (kuralın öngördüğü koşulu yerine getiren) herhangi bir örneği. || Örn. ()

ilkel çıkarım kuralı

İng. primitive inference rule

Dizimbilim ilksavı olan çıkarım kuralı.

mantıksal çıkarım kuralı

İng. logical inference rule

Mantıksal önerme kalıplarına ilişkin çıkarım kuralı. || Örn. ()

öncülsüz çıkarım kuralı

İng. premiss-free inference rule

Sıfır sayıda öncülü olan ya da başka bir deyişle hiç bir öncülü kapsamayan çıkarım kuralı.

türetilmiş birim

İng. derived unit

Temel birimlerden, doğabilimsel yasalara dayanan tanımlar uyarınca türetilen birim.

İng. derivated unit

Temel birimlerden oluşturulmuş birim.

türetilmiş dizi

İng. derived séries

G öbeği verildiğinde, tümevarım yoluyla, ()biçiminde tanımlanan ()altöbeklerinden oluşan ve kapsamaya göre azalan dizi.

türetilmiş dizimsel tür

İng. derived category

Temel dizimsel türler yardımıyla belirlenen yöneten deyim dizimsel türü. || Örn. 2-li yüklemin dizimsel türü a ile p türleri yardımıyla belirlenmiş p/a a dır.

"türetilmiş çıkarım kuralı" karakter analizi

türetilmiş çıkarım kuralı, 25 karakter ile yazılır.
t harfi ile başlar, ı harfi ile biter.

Karakter dağılımı

't', 'ü', 'r', 'e', 't', 'i', 'l', 'm', 'i', 'ş', ' ', 'ç', 'ı', 'k', 'a', 'r', 'ı', 'm', ' ', 'k', 'u', 'r', 'a', 'l', 'ı', şeklindedir.
türetilmiş çıkarım kuralı kelimesinin tersten yazılışı ' ılaruk mırakıç şimliterüt' diziliminde gösterilir.