dolaysız türetim

koşullu türetim

(...) (…) biçimindeki bir çıkarımda sonucun öncüllerden çıktığını göstermek üzere, (…) öncüller kümesinden (…) artbileşenini türetme işlemi.

türetim

1. Bir işlevin türevimi alma. 2. Birtakım varsayımlardan yola çıkarak doğabilimsel bir yazım geliştirme.

bk. tümden...

türetim dönüşümü

(…)

dolaylı türetim

(…) || Anl. çelişme türetimi, olmayana ergi yöntemi.

cebirsel dolaysız çarpım uzayı

(…)bir K oyutu üzerinde tanımlı doğrusal uzaylar takımı olduğunda, (…) Dekart çarpımı içindeki (…)öğelerinin toplamı (…)sayısıyla (…) öğesinin çarpımı (…)biçiminde tanımlanarak kurulan doğrusal uzay.

cebirsel dolaysız dizge

(…)lar birer doğrusal uzay ve (…)lar birer doğrusal dönüşüm olmak üzere (…)dolaysız dizgesi, Anlamdaş. cebirsel tümevarımsal dizge.

cebirsel dolaysız erey

bk. cebirsel tümevarımsal erey.

cebirsel dolaysız toplam :

(…)doğrusal uzaylar takımı verildiğinde (…)cebirsel dolaysız çarpım uzayının, sıfırdan ayrımlı olan konaçları sayısı sonlu olan tüm öğelerinden oluşan doğrusal altuzay. Simgesi : (…)Anlamdaş. dolaysız toplam, dışıl dolaysız toplam.