Tərif
Tərif — Riyazi anlayışın tərif – onun məzmunu (mənasını) izah edən təklif.
Tərif müxtəlif üsullarla verilə bilər:
1) Təyin olunan anlayışın məzmununun əsas anlayışların və tərifləri əvvəllər verilmiş anlayışların köməyi ilə izahıə;
2) Genetik və ya konstruktiv tərif burada təyin olunan anlayışın (obyektin) əmələ gəlmə qaydası göstərilir.
3) Anlayışın aksiomatik təyin olunması. Bu halda anlayış ilk anlayış kimi daxil edilir və anlayışlar arasında əlaqələr aksiomlarda ifadə olunur. Məsələn, natural ədəd anlayışı Peano aksiomlarında verilir, məsafə anlayışı metrikanın aksiomlarında verilir və s.
Riyaziyyatda qəbul edilmiş aksiomatikaya görə eyni bir anlayışa müxtəlif (lakin eynigüclü) təriflər verilə bilər. Bir aksiomatikada müəyyən anlayışlara tərif verilə bilər, başqa aksiomatikada həmin anlayışlar tərifsiz qəbul edilə bilər.
1. M. Mərdanov, S. Mirzəyev, Ş. Sadıqov Məktəblinin riyaziyyatdan izahlı lüğəti. Bakı 2016, "Radius nəşriyyatı", 296 səh.
Tərif (məntiq)
Tərif, definisiya (lat. definitio — "hədd, sərhəd") — sözün və ya ifadənin mənasını təsvir edən cümlə; onun müəyyən bir anlayışa (ümumi anlayış, cins, sinif) aid olduğunu vurğulamaq və adın müəyyən edildiyi sinifdəki fərqli xüsusiyyətini göstərməklə adın mahiyyətini açan (atributları) məntiqi əməliyyat. Beləliklə, tərif ümumi anlayışdan və xüsusi fərqdən və ya müəyyənedicidən ibarətdir.
V. Boçarov və V. Markinə görə, tərif linqvistik ifadələrə (dil terminlərinə) ciddi şəkildə sabit məna verməkdən ibarət olan məntiqi prosedurdur .
Konnotativ təriflər də adlandırılan intensional təriflər, arzu olunan şeyi müəyyən şeylər toplusundan fərqləndirmək üçün zəruri və kifayət qədər şərtləri müəyyən edir. İntensional tərif aşağıdakıları ehtiva etməlidir:
obyektin xassələrinin təsviri, eyni dəstdən başqa obyektlərlə müqayisədə təyin olunanı fərqləndirən xüsusiyyətləri;
çoxluqdan seçim qaydalarını göstərməklə terminin mənasını izah etmək;
digər anlayışların digər tərifləri ilə müqayisədə ən yaxın anlayışın və fərqləndirici xüsusiyyətlərin göstəricisi.
Ekstensional təriflər bu tərifin altına düşən bütün obyektlərin açıq siyahısına gəlir. Məsələn, "dünya müharibəsi"nin tərifini tarixçilərin "dünya müharibələri" olaraq təyin etdikləri bütün müharibələri sadalamaqla vermək olar.
Ekstensional təriflər birbaşa (bütün obyektlər açıq şəkildə göstərildikdə) və ya dolayı ola bilər. Birbaşa ekstensional tərif bəzən sadalanan tərif adlanır.
Dəyişən ulduzların tərifləri
Dəyişən ulduzlar — ulduzun yalan olduğu bürcün adı olan latın hərfi ilə birlikdə (aşağıda göstərildiyi kimi) müəyyən bir etiketin Bayer təyin olunmuş formatında bir dəyişikliklə təyin olunur. Bürclər siyahısı və onların adlarının həssas formaları üçün bürclər siyahısına baxın.
Cari adlandırma sistemi:
Bayerin mövcud Yunanıstandakı məktubları olan ulduzlara yeni təyinatlar verilmir.
Əks halda, hərfi R ilə başlayın və Z.-dən keçin.
RZ ilə davam edin … RZ, SS istifadə edin … ZZ qədər SZ, TT … TZ və s.
QZ-ə çatana qədər AA, BB … BZ, CC … CZ və s. İstifadə edin, həm birinci, həm də ikinci mövqelərdə J-ni atın.
334 kombinasiya məktubundan sonra Latin yazılarını tərk edin və V335, V336 və s. İlə ulduzları adlandırmağa başlayın.
İkinci məktub alfabenin başlanğıcından heç bir zaman asla yaxınlaşmır, məsələn, heç bir ulduz BA, CA, CB, DA və s.