belirtik tanım ne demek?

Kaydet

Anlamlar

  1. (…) biçimsel dizgesinin abecesinde bulunmayan t gibi bir değişmezin Dz0 dabelirtik tanım'ı, t ile Dz0 in değişmezlerinden başka hiç bir değişmezi kapsamayıp, elenebilme ile yaratıcı olmama koşullarını yerine getiren tek bir önerme ya da önerme kalıbının özellemelerinden oluşan bir önerme kümesidir. || 'Tanım' terimi başka biçimde belirtilmediğinde tek başına "belirtik tanım" anlamında kullanılır. Krş.. doğrudan tanım, bağlamsal tanım, bağlamsal yüklem tanımı, bağlamsal işlev tanımı, bağlamsal ad tanımı, bağlamsal eklem tanımı, kurucu değişmez.
  2. (en)Explicit definition.
  3. (fr)Définition explicite
Reklam

İlişkili Kelimeler

Türemiş Kelimeler

Reklam