FORMAL

Formal sistem, Aksiomatika — Riyaziyyat elminin bu və ya digər sahəsinin aksiomları sistemidir. Məsələn, Elementar həndəsənin 25-ə yaxın aksiomu, Ədədlər meydanının 9 aksiomu, və s. var. Aksiomlar üzərinə üç tələb qoyulur: Aksiomlar sisteminin ziddiyyətsizliyi. Yəni bu sistemdən məntiqi mühakimə ilə bir-birini inkar edən iki təklif alınmasın. Aksiomlar sisteminin asılı olmaması. Yəni aksiomlar sisteminin heç bir aksiomu məntiqi mühakimələrlə sistemin digər aksiomlarından alınmasın. Başqa sözlə, aksiomlar sisteminin asılı olmaması tələbi bu sistemdəki aksiomların sayını minimuma endirir. Aksiomlar sisteminin tamlığı. Yəni ziddiyyətsiz aksiomlar sisteminin ixtiyari iki modeli (interpretasiyası) izomorfdur.

Formal metodlar — proqram təminatının analizi, dizaynı və təsdiqi üçün riyazi və formal yanaşmaların tətbiqini ifadə edir. Bu metodlar proqram sistemlərinin dəqiq tərifini və spesifikasiyasını təmin edir, beləliklə, proqramların doğruluğunu, etibarlılığını və keyfiyyətini artırmağa kömək edir. Formal metodlar, sistemlərin düzgün işlədiyini sübut etmək, xətaların aşkarlanmasını asanlaşdırmaq və proqramın müvafiq spesifikasiyaya uyğun olduğuna əmin olmaq üçün istifadə edilir. == Əsas xüsusiyyətləri == Riyazi təriflər — formal metodlar proqramların və sistemlərin riyazi modelini təqdim edir. Bu, proqramın davranışını dəqiq və obyektiv şəkildə ifadə etməyə imkan tanıyır. Təsdiq və sübut — formal metodlar sistemlərin düzgünlüyünü sübut etməyə imkan verir. Bu, proqramın spesifikasiyaya uyğun işlədiyini təmin etməyə kömək edir. Sistem modelləşdirməsi — formal metodlar proqram sistemlərinin və onların komponentlərinin modelləşdirilməsi üçün istifadə olunur. Bu, sistemin xüsusiyyətlərini və davranışını başa düşməyə kömək edir. Etibarlılıq və güvən — formal metodların tətbiqi sistemlərin etibarlılığını artırır.

1936-cı ildə alqoritmlərin yerinə yetirilməsi üçün nəzərdə tutulmuş kompüterin formal modeli, amerikalı alim Emil Post (Emil Leon Post), praktiki modeli isə ingilis riyaziyyatçısı Alan Türinq (Alan Turing) tərəfindən eyni zamanda yaradılmışdır. == Ədəbiyyat == Əliquliyev R. M., Salmanova P. M. İnformasiya cəmiyyəti: maraqlı xronoloji faktlar. Bakı: "İnformasiya Texnologiyaları" nəşriyyatı, 2013, 169 səh.

Formal – 1)rəsmi, qanuni formaya uyğun olan. Məsələn, formal sübut, formal təsir; 2)yalnız forma (zahir) üçün olan, işin həqiqi vəziyyəti ilə hesablaşmayan, rəsmiyyətçilik xatirinə olan. Formal məntiq – təfəkkürün elementar qanun və formaları haqqında elm. Formal məntiq – təfəkkür haqqında elm. == Ədəbiyyat == R.Əliquliyev, S.Şükürlü, S.Kazımova. Elmi fəaliyyətdə istifadə olunan əsas terminlər. Baki, İnformasiya Texnologiyaları, 2009, 201 s.

Formal dillər — insanın müxtəlif fəaliyyət sahələri üçün yaradılmış və öz əlifbası, qrammatik qaydaları, sintaksisi olan xüsusi dillərdir. Riyazi məntiq və riyazi proqramlaşdırma dillərini formal dillərə aid ən önəmli nümunələr olaraq qeyd etmək olar. Formal dillərin hamısı müəyyən şəxslər tərəfindən yaranıb. Formal dillər elm və texnikada geniş istifadə olunur.Elmi tətqiqatlarda və praktiki fəaliyyətdə formal dillər təbii dillərlə paralel istifadə olunur. Bunlardan biri digərini tam əvəz edə bilməz. Təbii dil daha güclü ifadə imkanlarına malik olsa da,formal dil biliyin daha dəqiq təqdimatı cəhətdən üstündür. == Tarixi == Riyaziyyatın bütün inkişaf tarixində müxtəlif obyektləri və anlayışları işarə etmək üçün həmişə simvolik işarələrdən istifadə olunmuşdur.Lakin işarələrdən başqa hər zaman təbii dillərdən də istifadə olunmuşdur.Elmin inkişafının müəyyən mərhələsində,əsasən ΧVΙΙ əsrdən başlayaraq,riyazi analizin ciddi məntiqi təhlilini və teoremlərin hökmlərini əsaslandırmaq üçün yeni bir yanaşmaya ehtiyac yarandı.Riyazi nəzəriyyələrin ciddi formalarla təqdimatı olmadan bir sıra məsələlərin həllinin mümkünsüzlüyü aydın oldu.Beləliklə,ΧΧ ərdən etibarən formal dillər yaranmağa başladı. == Formal dillər üzərində əməliyyatlar == === Dil, onun əlifbası və söz === Hər bir dil informasiyanı qarşı tərəfə çatdırmaq üçün istifadə olunur.Qarşı tərəf dedikdə insan,kompüter və s. nəzərdə tutulur.Dil informasiyanı birbaşa,yaxud dolayı yolla çatdırır.Dillər sintaksis və semantikadan ibarət olur.Sintaksis cümlənin quruluşunu müəyyənləşdirmək üçün istifadə olunur,semantika isə cümlənin mənasını müəyyənləşdirir.Semantika sözlərin və cümlələrin məzmununu düzgün qurmağa xidmət edir.Simvollar çoxluğuna əlifba deyilir,əlifba-simvolların nizamlanmış çoxluğudur.Əlifbaya ixtiyari simvollar:hərflər,ədədlər,heroqliflər,yol nişanları və s. daxil ola bilər.Simvolların müəyyən sintaksis qaydalar ilə düzülüşündən əmələ gələn konstruksiyaya söz deyilir.Sözdəki simvolların sayına sözün uzunluğu deyilir.Tutaq ki,A={a1,a2,…,an} hər hansı əlifbadır.Verilmiş əlifbada bütün sonlu sözlərdən(yəni uzunluğu sonlu olan)ibarət çoxluğa universum deyilir,bunu A* ilə işarə edək.Aydındır ki,bu çoxluğun gücü hesabidir.Verilmiş B={0,1} əlifbasının universumu B*={0,1,00,01,10,11,000,001,…} olar.Heç bir simvolu olmayan sözə "boş söz" deyilir və {e} ilə işarə olunur.Universumdan {e} sözünün kənarlaşması ilə alınan çoxluq A+=A*\{e}.

Formal məntiq — İnsan mühakimələrinin konkret məzmununu nəzərə almadan onların formasını — (strukturunu), quruluşunu öyrənir. Başqa sözlə, formal məntiq konkret məzmunu nəzərə almadan əqli nəticə və isbat qaydalarında, mühakimə, anlayışlar arasında əlaqənin və məntiqi nəticə çıxarılmasının qanunlarını öyrənir. Formal məntiqin əsasını Aristotel qoymuşdur. Formal məntiq – təfəkkür haqqında elm. == Ədəbiyyat == R. Əliquliyev, S. Şükürlü, S. Kazımova. Elmi fəaliyyətdə istifadə olunan əsas terminlər. Bakı, İnformasiya Texnologiyaları, 2009, 201 s.

Formal qrammatika — dedikdə elə qaydalar sistemi başa düşülür ki, onun vasitəsilə verilmiş formal dilin(yalnız bu dilin) düzgün sözləri qura bilir. Qrammatika vasitəsilə qurulan formal dilin sözlər çoxluğu sonlu, sonsuz, və ya boş çoxluq ola bilər. Qrammatika sözlər çoxluğunu ixtiyari qaydada qura, yaxud müəyyənləşdirə bilər. Beləliklə, qrammatika sözlərin daxili quruluşunun qanunlarını açıqlayır ki, bunlara sintaksis deyilir. Formal qrammatika— müəyyən sintaksis nəzəriyyə çərçivəsində qurulan qrammatik riyazi modeldir. == Formal qrammatikanın növləri == Alqoritmik nöqteyi-nəzərdən formal qrammatikaların aşağıdakı növləri var: Tanıyan qrammatikalar: Bu qrammatikalar bir növ elə qurğudur ki, bunun girişinə daxil olan söz verilmiş dilə aiddirsə, "hə", aid deyilsə- "yox" çap olunur. Sadalayan qrammatikalar: Bu qrammatikalar verilmiş dilin bütün sözlərini bir-bir çap etməklə(sadalamaqla) iş görür. Aydındır ki, dilin sözlərinin sayı sonsuz olarsa, qrammatika heç zaman dayanmayacaq. Ancaq qrammatikanı məcburi o zaman dayandırmaq olar ki, lazım olan söz çap olunmuşdur. Doğuran qrammatikalar: Bunlar elə "qurğu"dur ki, dilin lazımlı sözlərini qurur.

Ağ formalar (ing. White forms) - Amerikan rəssam, abstrakt ekspressionist və Mücərrəd Rəssamlıq Formasının nümayəndəsi Frans Klaynın məşhur əsərlərindən biri.

Bitkilərin həyati formaları - Bitkilərin tumurcuqlarının əlverişsiz şəraitdə (ilin soyuq və quru mövsümlərində) torpağın və qar örtüyünün səviyyəsinə uyğunlaşması və özünü qorumasıdır. Bu sistem ilk dəfə 1905-ci ildə, Danimarka botaniki K.Raunkiaer tərəfindən təklif edilmişdir. Raunkier bitkiliyin formalaşdığı, müxtəlif ekoloji şəraiti əks etdirən, bitkilərin həyati formalarının 5 əsas tipini təsnif etmişdir. Müəyyən bir həyati formaya aid olan növlərin faizini hesablayaraq, dünyanın müxtəlif bölgələrinin və ya planetin müxtəlif tipli bitkiliklərinin həyati formalarının spektri əldə olunur. == Fanerofitlər == Fanerofit bitkilərdə tumurcuqlar qışlayır və ya quraqlıq dövrünü "açıq şəraitdə", torpaqdan hündürdə keçirirlər. Onları tumurcuqları xüsusi pulcuqşəkilli qabıqla mühafizə olunur. Bu tip özündə ağaclar, kollar və lianları birləşdirən 15 alttipi birləşdirir. Alttiplər ölçüdən (meqa-, mezo-, mikro- və nanaofanerofit), tumurcuğun tipindən (qorunan və ya açıq) və yatpaqtökməsinə (həmişəyaşıl və ya yarpağını tökənlər) görə bölünür. == Xamefitlər == Xamefit bitkilərdə qönçələr və təpə tumurcuqları əlverişsiz şərati torpağın səthinə sərilən və ya torpağa yaxın yerləşən əlavə tumurcuqlardan inkişaf edir. soyuq ərazilərdə bitən xamefitlərdə qönçə və təpə tumurcuqlarını qar, isti bölgələrdə isə onları bitki qalıqları örtür.

Dövlət formaları — ərazi quruluşu, prinsipləri, dövlət orqanlarının formalaşması və qarşılıqlı fəaliyyət üsulları, habelə hakimiyyətin həyata keçirilməsi metodları, müəyyən bir dövlət siyasətinin həyata keçirilməsini təmin edən bir quruluş, dövlətin daxili quruluşunun müəyyən bir modelidir. Xarici xüsusiyyətlərin bu dəsti bir vəziyyəti digərindən fərqləndirməyə imkan verir. Dövlətçiliyin müxtəlif formaları, siyasi, iqtisadi, tarixi daxil olmaqla müxtəlif amillərin vəziyyətinə təsirindən qaynaqlanır. Aralarında əsas olanlar bunlardır: milli dövlətlərin inkişafının tarixi ənənələri; milli dövlətçiliyin formalaşmasının tarixi xüsusiyyətləri; dövlətdəki sosial qüvvələrin real tarazlığı; dövlət əhalisinin milli tərkibi; Xarici təcrübə; yaşayış standartları; keçmiş metropolların əvvəllər onlardan asılı olan ərazilərdə dövlət forması seçiminə təsir dərəcəsi; dünya birliyinin rolu Dövlətin forması bu və ya digər şəkildə dövlətin qarşısında duran vəzifələrdən və yerinə yetirdiyi funksiyaların xüsusiyyətindən asılıdır. == Dövlət formalarının elementləri == Dövlətin formalarının elementləri: İdarəetmə forması — dövlət hakimiyyətinin ən yüksək orqanlarının təşkilat sistemi, onların formalaşma qaydası, səriştəsi, bir-biri ilə və əhali ilə əlaqəsi (ən qədim element: Qədim Yunanıstanda alimlər tərəfindən seçilməyə başlandı); Dövlət quruluşunun forması — dövlətin ərazi təşkili sistemidir (XVII–XVIII əsrlərdən bəri fəal şəkildə öyrənilmişdir); Dövlət (siyasi) rejim — dövlət hakimiyyətini həyata keçirmə metodları (elm yalnız XX əsrin əvvəllərində diqqət çəkməyə başladı). == Dövlət formalarının tipologiyası == === Dövlətin monokratik forması === Dövlət hakimiyyətinin təşkili avtokratiya prinsipinə əsaslanır. Dövlət hakimiyyəti ya bir nəfərin (Oman Sultanlığındakı teokratik monarxın), ya da bir dövlət orqanının (BƏƏ federasiyasının yeddi hissəsinin Əmirlər Ali Şurası) ya da müəyyən bir növ dövlət orqanlarının əlində cəmləşir (Almaniyadakı nasist rejimi və İtaliyanın faşist rejimi, 1979-cu ilə qədər Uqandadakı İdi Amin rejimi). Belə bir dövlət gücü qapalı bir totalitar sistem ilə xarakterizə olunur, hakimiyyət maraqlı qrupların ona təzyiq göstərməsi üçün bağlıdır, xüsusən də bu cür cəhdlər ağır repressiyalarla qarşılaşa bilər. Dövlətdə ideoloji monizm, təkpartiyalı sistem mövcuddur və ya bir lider partiyanın əvəzolunmazlığı prinsipi qəbul edilmişdir. == Həmçinin bax == Siyasi rejim == İstinadlar == == Ədəbiyyat == Чиркин, В. Е. Государствоведение: Учебник / В. Е. Чиркин.

Dövlət idarəetmə formaları — yüksək dövlət hakimiyyəti orqanlarının təşkili sistemini, onların formalaşma qaydasını, fəaliyyət şərtlərini və səlahiyyətlərini, habelə bu orqanların bir-biri ilə və əhali ilə qarşılıqlı əlaqəsi qaydasını və əhalinin onların formalaşmasında iştirak dərəcəsini müəyyən edən dövlət formasının bir elementi. Dövlətin forması onun xarici əlamətlərinin məcmusu kimi bu dövlətdə hakimiyyətin təşkilinin necəliyini, hakimiyyətin necə, hansı orqan və metodlarla həyata keçirildiyini göstərir. Dövlətin forması onun ibarət olduğu üç elementlə xarakterizə olunur: idarəetmə forması, dövlət quruluşu forması və siyasi rejim, yaxud dövlət rejimi. İdarəetmə forması dedikdə, dövlətin dövlət başçısının hüquqi statusu və ya ali dövlət hakimiyyəti orqanları arasında hakimiyyət səlahiyyətlərinin bölgüsü ilə xarakterizə olunan təşkili forması başa düşülür. Bu baxımdan bütün dövlətlər monarxiya və respublikaya bölünür. == Monarxiya == Monarxiyada ali hakimiyyət tam şəkildə və ya qismən təkhakimiyyətli dövlət başçısının (kral, çar, şah və s.) əlində birləşir. Bu ali hakimiyyət adətən irsi olur. Monarxiya, bir qayda olaraq orta əsrlərin son dövrləri üçün xarakterik olan mütləq monarxiyaya (belə dövlətdə monolit hakimiyyət heç nə ilə məhdudlaşmır) və məhdud monarxiyaya (burada isə dövlət başçısı (monarx) ilə bərabər başqa bir ali orqan məsələn, parlament olur) bölünür. Məhdud monarxiyanın müasir forması parlamentli monarxiyadır. Burada monarxın rolu ancaq formal xarakter daşıyır, dövlətin idarə olunmasında aparıcı rol parlament tərəfindən formalaşan hökumətə məxsusdur.

Dövlət idarəetmə formaları — yüksək dövlət hakimiyyəti orqanlarının təşkili sistemini, onların formalaşma qaydasını, fəaliyyət şərtlərini və səlahiyyətlərini, habelə bu orqanların bir-biri ilə və əhali ilə qarşılıqlı əlaqəsi qaydasını və əhalinin onların formalaşmasında iştirak dərəcəsini müəyyən edən dövlət formasının bir elementi. Dövlətin forması onun xarici əlamətlərinin məcmusu kimi bu dövlətdə hakimiyyətin təşkilinin necəliyini, hakimiyyətin necə, hansı orqan və metodlarla həyata keçirildiyini göstərir. Dövlətin forması onun ibarət olduğu üç elementlə xarakterizə olunur: idarəetmə forması, dövlət quruluşu forması və siyasi rejim, yaxud dövlət rejimi. İdarəetmə forması dedikdə, dövlətin dövlət başçısının hüquqi statusu və ya ali dövlət hakimiyyəti orqanları arasında hakimiyyət səlahiyyətlərinin bölgüsü ilə xarakterizə olunan təşkili forması başa düşülür. Bu baxımdan bütün dövlətlər monarxiya və respublikaya bölünür. == Monarxiya == Monarxiyada ali hakimiyyət tam şəkildə və ya qismən təkhakimiyyətli dövlət başçısının (kral, çar, şah və s.) əlində birləşir. Bu ali hakimiyyət adətən irsi olur. Monarxiya, bir qayda olaraq orta əsrlərin son dövrləri üçün xarakterik olan mütləq monarxiyaya (belə dövlətdə monolit hakimiyyət heç nə ilə məhdudlaşmır) və məhdud monarxiyaya (burada isə dövlət başçısı (monarx) ilə bərabər başqa bir ali orqan məsələn, parlament olur) bölünür. Məhdud monarxiyanın müasir forması parlamentli monarxiyadır. Burada monarxın rolu ancaq formal xarakter daşıyır, dövlətin idarə olunmasında aparıcı rol parlament tərəfindən formalaşan hökumətə məxsusdur.

Dövlət quruluşunun forması — dövlətin və ya birliyi təşkil edən dövlətlərin ərazi təşkili metodu. Dövlətin daxili quruluşunu, onun tərkib hissələrinə (ərazilərinə) bölünməsini və onların bir-biri ilə münasibətləri prinsiplərini müəyyənləşdirir. Federal bir dövlətin ərazi quruluşunu xarakterizə etmək üçün "siyasi-ərazi quruluşu" termini daha çox istifadə olunur, çünki bu, dövlətin ərazi hissələri arasında müəyyən müstəqilliyin mövcudluğunu nəzərdə tutur. Eyni zamanda, unitar dövlətə münasibətdə vahid dövlətin dövlət orqanlarının ərazi quruluşunu xarakterizə edən "inzibati-ərazi quruluşu" termini daha çox istifadə olunur. Bu terminlərin hər ikisi "idarəetmə forması" termininin sinonimidir və ona eyni məna ilə tətbiq olunur. Dövlət öz quruluş formasına görə unitar və federativ ola bilər. Dövlətlərin birləşmə forması, onların arasında ittifaq konfederasiya hesab olunur. == Növləri == Dövlətin tərkib hissələri arasında suverenliyin mövcudluğundan və ya olmamasından asılı olaraq dövlət quruluşu aşağıdakılara bölünür: Sadə forma (unitar dövlət); Mürəkkəb forma (federasiya, konfederasiya) Dövlətlərarası birliklər, birliklər və dövlətlərin icmaları idarəetmə formalarına aid deyil, eyni zamanda, dövlət və hüquq nəzəriyyəsinə dair əksər kurslarda bu qurum çərçivəsində nəzərdən keçirilir və öyrənilir. == Unitar dövlət == Unitar dövlət (latın dilində "unitas" — "vahid", "tək" deməkdir) — sadə, bəsit, vahid dövlətdir ki, onun tərkibi bir qayda olaraq inzibati-ərazi vahidlərindən (vilayət, mahal, rayon, departament və s.) ibarətdir. Unitar dövlətə Azərbaycan, Yaponiya, Fransa, İtaliya, misal ola bilər.

Ox formalı qanad və ya Ox bucaqlı qanad yüksək sürətli təyyarələrdə istifadə olunan bir qanad növüdür və adını yuxarıdan baxıldıqda qanadlarının ucları geriyə çəkilmiş bir ox formasında olmasından almışdır. Geriyə çəkilən qanadlar geriyə çəkilmiş ox bucağını ifadə edərkən, irəliyə çəkilmiş ox formalı qanadları olan təyyarələr də tarixdə görülmüşdür. Ox formalı qanadların mövcudluğunun səbəbi səs sürətinə yaxın bir sürətdəki havanın aerofoildəki davranışıdır. == Faydaları və tarixi == Ox formalı qanadlar əsasən hərbi təyyarələrdə olmaqla, məsələn təyyarələr, iş təyyarələri və ticarət təyyarələri olmaqla uçuşunun bir hissəsini səs sürətinə yaxın sürətlərdə yerinə yetirən təyyarələrdə görülür. Ox bucağının təyin edilməsinin əsas səbəbi kritik mach sayını artırmaqdır. Kritik mach sayı səs sürətinə yaxın sürətlə hərəkət edən havanın qanad profilinin yuxarı səthində sürətləndikdə və səs sürətinə çatdıqda təyyarənin çatdığı sürətə deyilir. Kritik mach sayında hərəkət edən bir təyyarənin qanadında oblik (əyri) bir şok dalğası müşahidə edilir. Bu, sürüklənməni artıran səbəblərdən biri olaraq həm daha çox yanacaq istehlakına, həm uçuş zamanı səbəb olduğu sarsıntılara görə qanad gərginliyinə və ya idarəetmənin itirilməsinə səbəb ola bilər. Ox bucağının iş prinsipi, ən sadə mənada həndəsə ilə əlaqədardır. Bir ox bucağı olmayan qanadlarda axıntı tamamilə qanada dik gəlir və qanad üstündə sürətlənərək axıb gedir, lakin bir ox bucağı olan qanadlarda hücum kənarı ilə qarşılaşan hava kənara dik deyildir və burada nəzərə alınacaq axıntının sürəti də axıntının öz sürəti deyildir, kənara dik uzanan sürət komponentidir.

Qadınlara qarşı ayrı-seçkiliyin bütün formalarının ləğv edilməsi haqqında Konvensiya — BMT-nin Baş Assambleyasının 34 /180 saylı 18 dekabr 1979-cu il tarixli qətnaməsi ilə qəbul edilmiş qadın hüquqlarının müdafiəsi üzrə əsas beynəlxalq sənəd. Konvensiyanın özünəməxsusluğu ondan ibarətdir ki, digər beynəlxalq müqavilələrdə ümumi şəkildə insan üçün təmin olunan hüquqlar burada məhz qadın üçün nəzərdə tutulmuşdur. Digər müqavilələrdən fərqli olaraq Konvensiyanın əsasında digər beynəlxalq müqavilələrdə təmin edilən “bərabərlik” deyil, “ayrı-seçkiliyin ləğv olunması” durur. == Tarixi == Keçən əsrin 70-80-ci illərində qadın hüquqları uğrunda hərəkatın daha da genişlənməsi, BMT-nin təşəbbüsü ilə 1975-ci ildə Beynəlxalq qadın ilinin, daha sonra 1975-1985-ci illərdə Qadın onilliyinin keçirilməsi qadın hüquqlarının tənzimlənməsinə dair xüsusi beynəlxalq hüquqi aktın qəbul edilməsi zərurətini meydana çıxartdı və BMT-nin Baş Assambleyası 18 dekabr 1979-cu il tarixdə “Qadınlara münasibətdə ayrı-seçkiliyin bütün formalarının ləğv edilməsi haqqında” Konvensiyanı qəbul etdi. Konvensiya 3 sentyabr 1981-ci il tarixində qüvvəyə minmişdir. Bu gün Konvensiya Uşaq Hüquqları Konvensiyasından sonra dünyada ən çox ratifikasiya olunmuş beynəlxalq müqavilədir. Azərbaycan Respublikası 1995-ci il 10 iyul tarixində Konvensiyanı ratifikasiya etmişdir. == Maddələri == Konvensiya preambula, 30 maddə və 6 hissədən ibarətdir. Konvensiyanın preambulasında qadınlara münasibətdə ayrı-seçkiliyin ləğv edilməsi, qadınlar və kişilər arasında bərabərliyin təmin edilməsi BMT-nin əsas prinsiplərindən biri kimi qeyd olunur və qadınların vəziyyətinin yaxşılaşdırılması problemi müasir dövrün ən qlobal problemləri sırasına aid edilir. I hissə (Maddə 1-6) Konvensiyanın 1-ci maddəsi qadına qarşı ayrı-seçkiliyin tərifini müəyyən edir: “Bu Konvensiyaya görə, “qadınlara qarşı ayrı-seçkilik” qadınların ailə vəziyyətindən asılı olmayaraq kişi və qadınların hüquq bərabərliyi əsasında və siyasi, iqtisadi, sosial, mədəni, mülki və ya hər hansı digər sahədə insan hüquqlarının və əsas azadlıqlarının tanınmasının, istifadə edilməsinin və ya həyata keçirilməsinin əngəllənməsinə və ya heçə endirilməsinə səbəb olan və ya bu məqsədi daşıyan, cinsi əlamətə görə hər hansı fərqləndirmə, istisna, yaxud məhdudiyyət deməkdir.” Konvensiyanın 2-ci maddəsində qeyd olunur ki, iştirakçı dövlətlər qadınlara qarşı ayrı-seçkiliyin bütün formalarını qınayır və bütün mümkün yollarla bu ayrı-seçkiliyin aradan qaldırılması siyasətini “təxirə salınmadan” həyata keçirirlər.

Küləyin dağıdıcı və ya akkumulyativ fəaliyyəti nəticəsində əmələ gələn müxtəlif relyef formalarıdır. Bu formalar: eol sütunundan, barxandan, dyundan, qum təpəsindən, qum tirəsindən və s. dən ibarətdir. Relyefin eol formaları başlıca olaraq arid iqlim şəraitində , yəni səhrada əmələ gəlir.

Ulduz formalı qala ilk dəfə XV əsrdə İtaliyada görülən və xüsusilə orta əsrlərdə barıt və döyüş toplarının müharibə meydanlarına girməsindən sonra inşa edilməyə başlanan qala formalı bir istehkam növüdür. == Ümumi məlumat == Ulduz qalaların sələfi qalalardır. Hündür divarları ilə qorunan qaladakı müdafiəçilər atdıqları oxlarla düşmənin qalanın istehkamlarına yaxınlaşmasının qarşısını almağa çalışarkən, təcavüzkarlar da öz növbəsində qala qapısını sındıraraq və ya nərdivan kimi mühasirə alətləri ilə divarlara çıxaraq qalaya girməyə çalışırdılar. Coğrafi baxımdan da strateji yerlərdə tikilən belə qalaları tutmaq çox çətin idi. XV əsrdə topların müharibə meydanlarına girməsi ilə qala divarları dağılmağa başladı. Ehtiyat tədbirinə görə, istehkamçılar artilleriya atəşinə məruz qalan əraziləri redutlarla gücləndirməyə başladılar. Divarlara hücum edən düşmənin hər tərəfdən atəş altında qalması və görünüş probleminə görə gizlənə bilməməsi üçün ulduz şəklində bir qala dizaynı hazırlanmışdır. Hakim nöqtələr düşmənin əlinə keçdikdən sonra belə müdafiəni təşkil edə bilmək üçün, bir-birinin döyüş mənzilinə girə biləcək şəkildə yerləşdirilmiş toplara malik ulduz formalı qalalar hazırlanmışdır. Bu formada divarlara yaxınlaşmağa çalışan toplar müəyyən bir məsafədən keçirilmirdi. Ulduz formalı qalalar köhnə qalalardan daha aşağı və daha böyük bir ərazidə yerləşərək dərin müdafiəyə imkan verir.

İrqi Ayrı-seçkiliyin Bütün Formalarının Ləğvi haqqında Beynəlxalq Konvensiya (ICERD) — 21 dekabr 1965-ci ildə Baş Məclis tərəfindən qəbul edilmiş və 4 yanvar 1969-cu ildə qüvvəyə minən BMT konvensiyası. 2020-ci ilin dekabr ayından etibarən 182 ölkə Konvensiyanın iştirakçısıdır, daha 3 ölkə Konvensiyanı imzalamış, lakin təsdiqləməmişdir . Konvensiyaya uyğunluğa 18 mütəxəssisdən ibarət olan İrqi Ayrı-seçkiliyin ləğvi Komitəsi nəzarət edir. Konvensiyanın hər hansı bir üzv dövlət tərəfindən pozulmasına dair dövlətlərarası şikayətlərə və müvafiq bəyannamə vermiş 54 ölkəyə münasibətdə Konvensiyanın pozulmasına dair fərdi şikayətlərə baxıla bilər. 2014-cü il tarixinə komitə 30 şikayətin mahiyyəti üzrə qərarlar qəbul etdi və 15 işdə konvensiya pozuntuları aşkar etdi. Komitə daha 18 şikayəti mahiyyəti üzrə baxılmadan qəbuledilməz hesab etdi, 1 şikayətə baxılması başqa bir səbəbə görə xitam verildi və daha 6 işə baxılma mərhələsində idi . İlk üç dövlətlərarası şikayət - Qətər - Səudiyyə Ərəbistanı, Qətər - BƏƏ və Fələstin - İsrail - 2018-ci ilin baharında girdi. == Konvensiyanın strukturu == Preambula Hissə I (Maddə 1-7) - İştirakçı ölkələrin öhdəlikləri: M. 1 - irqi ayrıseçkiliyin tərifi. M. 2 - ümumi öhdəliklər. M. 3 - irqi ayrı-seçkilik və aparteidin xüsusi qınanması.

İşsizliyin aşağıdakı formaları var Friksion işsizlik o zaman yaranır ki, şəxs çalışa biləcəyi iş var, amma bu işi axtarıb tapmaq üçün çox uzun bir vaxt lazımdır. Struktur işsizlik. Bəzən şirkətlər yeni texnalogiya tətbiq edir və ya istehsal istiqamətini dəyişir. Bu zaman yeni texnalogiyadan istifadə edə bilməyən və ya yeni istehsal sahəsinə uyğun olmayan işçilərə ehtiyac qalmır. Bu zaman yarana işsizliyə Struktur işsizlik deyilir. Dövrü (tsikl) işsizlik. Bu işsizlik forması sənayenin tənəzzülü, istehsalda işçi qüvvəsinə olan tələbin aşağı düşməsi nəticəsində yaranır.

Formalizm (←lat. forma) sözünün mənası: Formalizm — (burjua formalizmi adlanır) SSRİ-də, əsasən 1930–1950-ci illərdə istifadə olunan ideoloji sözdür. Sənətdə bütöv cərəyanlara qarşı ideoloji mübarizəyə və onun ayrı-ayrı nümayəndələrinin təqibinə əsaslanır. Partiya rəhbərliyinə kifayət qədər sədaqət ifadə etməyən xarici müəlliflər və sovet rəssamları, yazıçıları və musiqiçiləri adətən formalizmdə ittiham olunurdular. Formalizm (sənət) — Qərb incəsənət nəzəriyyəsində sonralar sovet klişesinin əsasına çevrilmiş bir konsepsiya üçün bir termindir. Rus formalizmi sovet ədəbiyyatşünaslığında cərəyandır. Formalizm (riyaziyyat) — riyaziyyat fəlsəfəsində fundamentalist cərəyanlardan biridir. "Formalizm" — formal sistem və hətta sadəcə qeydlər sistemidir (həmçinin nəzəri fizikada, informatikada və s.). Formalizm (etika) — əxlaqi problemlərin məzmununun təhlilindən etik sistemin formal məqamlarının üstünlük təşkil etdiyi prinsipdir. Formalizm — hüququn, hüquq mədəniyyətinin deformasiyasının formasıdır.

Azərbaycan dilinin formalarının siyahısı — tarixi dövrlərinə, digər dillərlə yaranan əlaqəsinə, danışıldığı bölgələrə, dili danışan tayfalara görə Azərbaycan dilinin müxtəlif formalarının siyahısı. == Dövrlərinə görə dilin inkişaf mərhələləri == Qədim azərbaycanca. Türkoloq və etnoqraf N. A. Baskakov Azərbaycan dilini tarixi mərhələlərə görə böləndə XIV–XVI əsrləri ədəbiyyatda fars dilinin istifadə edildiyi və ərəb və fars sözləri ilə zəngin olan qədim Azərbaycan dilinin inkişaf etdiyi dövr hesab edir. Məmməd Arif isə qədim Azərbaycan dilinin inkişafa başlaması dövrünü XIII–XVI əsrlər hesab edir. Azərbaycan türkcəsindəki əsərlər xüsusilə Elxani hökmdarı Əbu Səid Bahadur xanın dövründə (1316–1335) inkişaf etmişdir. Orta azərbaycanca. XV–XVIII əsrlərdə inkişaf etmişdir. Bu dil ilk dəfə XV əsrdə Azərbaycanda, Şərqi Anadoluda və İranda ortaya çıxıb. Dil Qaraqoyunlular (1374–1468) və Ağqoyunlular (1378–1503) kimi türk sülalələri dövründə, xüsusən də hakim sülaləsi İran Azərbaycanından olan Səfəvilər İmperiyası (1501–1736) dövründə daha çox inkişaf etmişdir. Onların dövründə orta Azərbaycan dili fars dili ilə yanaşı, sarayda və hərbi sahədə istifadə olunurdu və İranın şimalından cənubuna qədər linqva franka idi.

Dövlət idarəetmə formaları — yüksək dövlət hakimiyyəti orqanlarının təşkili sistemini, onların formalaşma qaydasını, fəaliyyət şərtlərini və səlahiyyətlərini, habelə bu orqanların bir-biri ilə və əhali ilə qarşılıqlı əlaqəsi qaydasını və əhalinin onların formalaşmasında iştirak dərəcəsini müəyyən edən dövlət formasının bir elementi. Dövlətin forması onun xarici əlamətlərinin məcmusu kimi bu dövlətdə hakimiyyətin təşkilinin necəliyini, hakimiyyətin necə, hansı orqan və metodlarla həyata keçirildiyini göstərir. Dövlətin forması onun ibarət olduğu üç elementlə xarakterizə olunur: idarəetmə forması, dövlət quruluşu forması və siyasi rejim, yaxud dövlət rejimi. İdarəetmə forması dedikdə, dövlətin dövlət başçısının hüquqi statusu və ya ali dövlət hakimiyyəti orqanları arasında hakimiyyət səlahiyyətlərinin bölgüsü ilə xarakterizə olunan təşkili forması başa düşülür. Bu baxımdan bütün dövlətlər monarxiya və respublikaya bölünür. == Monarxiya == Monarxiyada ali hakimiyyət tam şəkildə və ya qismən təkhakimiyyətli dövlət başçısının (kral, çar, şah və s.) əlində birləşir. Bu ali hakimiyyət adətən irsi olur. Monarxiya, bir qayda olaraq orta əsrlərin son dövrləri üçün xarakterik olan mütləq monarxiyaya (belə dövlətdə monolit hakimiyyət heç nə ilə məhdudlaşmır) və məhdud monarxiyaya (burada isə dövlət başçısı (monarx) ilə bərabər başqa bir ali orqan məsələn, parlament olur) bölünür. Məhdud monarxiyanın müasir forması parlamentli monarxiyadır. Burada monarxın rolu ancaq formal xarakter daşıyır, dövlətin idarə olunmasında aparıcı rol parlament tərəfindən formalaşan hökumətə məxsusdur.

Flüvial relyef formaları (lat. fluvius-çay) — axar suyun (su-eroziya və su-akkumulativ) yaratdlğı morfoskluptur mezorelyef forması. Qütb buz zonlarında axan buzlaqlar formasında, qalan quruda çay qolları və çaylar şəklində formalaşır. Axar su hər yerdə iş görür və onun yaratdığı relyef formaları universaldır. Hətta tropik səhralarda da meydana gəlir. Flüvial geomorfoloji komplekslər bütün quru sahəsinin yarısından çoxunu (59 %) tutur. == Ümumi məlumat == Vasili Dokuçayev hələ 1878-ci ildə göstərmişdir ki, eroziya formaları təkamül sırları təşkil edir. Səthi yuyulma xətti yuyulmaya keçdikdə eroziya parçalanmasının başlanğıc formalarını eroziya şırnağı və şırım yaradır. Eroziyanın qarşısı vaxtında alınmayanda eroziya şırnağı genişlənərək yarğanlara, yarğanlar da müəyyən vaxtdan sonra qobuya və ya quru dərələrə çevrilir. Su axını sabit olduqda çay dərələri inkişaf edir.

İşsizliyin aşağıdakı formaları var Friksion işsizlik o zaman yaranır ki, şəxs çalışa biləcəyi iş var, amma bu işi axtarıb tapmaq üçün çox uzun bir vaxt lazımdır. Struktur işsizlik. Bəzən şirkətlər yeni texnalogiya tətbiq edir və ya istehsal istiqamətini dəyişir. Bu zaman yeni texnalogiyadan istifadə edə bilməyən və ya yeni istehsal sahəsinə uyğun olmayan işçilərə ehtiyac qalmır. Bu zaman yarana işsizliyə Struktur işsizlik deyilir. Dövrü (tsikl) işsizlik. Bu işsizlik forması sənayenin tənəzzülü, istehsalda işçi qüvvəsinə olan tələbin aşağı düşməsi nəticəsində yaranır.