formal-işarə sözü azərbaycan dilində

formal-işarə

Yazılış

  • formal-işarə • 100.0000%

* Sözün müxtəlif mətnlərdə yazılışı.

Mündəricat

OBASTAN VİKİ
İşarə
İşarə — Dildə müəyyən mənanın ifadəçisi, göstəricisi, semiotikanın əsas məfhumu. Dilçilikdə işarə olunanla işarə edən arasında kauzal əlaqəni bildirən siqnal və ya əlamət. Məsələn, dərinin sarı rəng olması müəyyən xəstəliyin simptomu ola bilər. Ancaq "sarı" rənglər spektrində konkret bir rəngin adıdır. F. de Sössür dili işarələr sistemi kimi götürür və onun aşağıdakı əlamətlərini müəyyən edir: a) ikitərəflilik. İşarə bir tərəfdən səsi və ya qrafik reallaşan (işarələyən), o biri tərəfdən isə ideyanı, cismin konsepsiyasını bildirir (işarələnən). Məlumdur ki, Ç.Pirs (1839-1914) işarənin güclü tərəfindən çıxış edirdi; işarənin substansiyası, işarələnən və danışan; b) ixtiyarilik. İşarələyənlə işarələnən arasındakı əlaqə şərti olsà da, ixtiyaridir, çünki onlar arasında əlaqənin heç bir motivi yoxdur; c) xəttilik. Mənaca dərk edilən hər bir işarə müəyyən zaman daxilində baş verir.İşarə nəzəriyyəsində üç, bəzən isə dörd aspekt fərqləndirilir: sintaktik aspekt işarələr arasındakı əlaqəni öyrənir (sintaksis), semantik aspekt işarə ilə onun ifadə etdiyi məna arasındakı əlaqəni (semantika), praqmatik aspekt işarə ilə onun spesifik tətbiqi məqam arasındakı əlaqəni (praqmatika) və nəhayət, siqmatik aspekt (işarə ilə xarici aləm arasındakı əlaqəni öyrənir) (siqmatika).
Formal
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.
Xəncər (işarə)
Tipoqrafik xəncər – † simvolu. "Mətbəə xaçı", "obelisk", "ölü işarə" də adlandırırlar. Bəzən haşiyəni (səhifənin aşağısında xətt altında yazılan mətni, qeydi, izahatı) göstərmək üçün istifadə olunur. Azərbaycan mətbəəçiliyində, praktik olaraq, işlədilmir, "qoşa xaç"dan isə, ümumiyyətlə, istifadə olunmur. Bəzi nəşrlərdə onunla ölüm tarixini göstərirlər, doğum tarixi isə ulduz (*) işarəsi ilə qeyd olunur. Avropa mətbəəçiliyində "xəncər"dən əsasən ikinci haşiyə işarəsi (* ulduzdan sonra), "qoşa xaç"dan isə üçüncü haşiyə işarəsi (* ulduz və † xəncərdən sonra) kimi istifadə olunur. Linqvistikada və bəzən etnoqrafiyada ölmüş dilləri və yox olmuş xalqları göstərmək üçün bu işarədən istifadə olunur. Mötərizədə xəncər (†) isə, demək olar ki, ölmüş dilləri və ya yox olmuş xalqları göstərir. == Ədəbiyyat == İsmayıl Calallı (Sadıqov), "İnformatika terminlərinin izahlı lüğəti", 2017, "Bakı" nəşriyyatı, 996 s.
Formal dillər
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
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
Formal qrammatika — dedikdə elə qaydalar sistemi başa düşülür ki, onun vasitəsi ilə verilmiş formal dilin(yalnız bu dilin) düzgün sözləri qura bilir. Qrammatika vasitəsi ilə 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.
Dəniz işarə bayraqları
Beynəlxalq dəniz işarə bayraqları — 1857-ci ildən tətbiq olunmağa başlanılmışdır. Bu işarələr donamada gəmilərarası məlumat ötürməyə xidmət edirdi. 1887-ci ilə qədər "Ticarət gəmiləri üçün işarə kodlarının sistemi". İlkin işarə qövsü 18 bayraqcıqdan ibarət olmuşdur. 1 yanvar 1901-ci ildən bütün dəniz ölkələri bu işarə tağını qəbul etmişdirlər. 1931-ci ildə 8 ölkənin nümayəndəsi olan beynəlxalq komissiya işarələr tağını təkmilləşdirmişdirlər.
Kompüterin formal modeli
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.

Oxşar sözlər

#formal-işarə nədir? #formal-işarə sözünün mənası #formal-işarə nə deməkdir? #formal-işarə sözünün izahı #formal-işarə sözünün yazılışı #formal-işarə necə yazılır? #formal-işarə sözünün düzgün yazılışı #formal-işarə leksik mənası #formal-işarə sözünün sinonimi #formal-işarə sözünün yaxın mənalı sözlər #formal-işarə sözünün əks mənası #formal-işarə sözünün etimologiyası #formal-işarə sözünün orfoqrafiyası #formal-işarə rusca #formal-işarə inglisça #formal-işarə fransızca #formal-işarə sözünün istifadəsi #sözlük