Поиск по словарям.

Kağız formatı və ya A formatları — beynəlxalq İSO standartlarına müvafiq olaraq, ən böyük ölçüsü A0, ən kiçik ölçüsü isə A10 sayılır; yəni A4 (210x297 mm), A0 (841x1189 mm), A10 (26x37 mm). Müvafiq olaraq digər nəşr formatları çap vərəqinin qatlanması ilə alınır. Tərəflərin uzunluğu 1:2 nisbətdə götürülür. == Ədəbiyyat == Əliquliyev R.M., Şükürlü S.F., Kazımova S.İ., Elmi fəaliyyətdə istifadə olunan əsas terminlər // Bakı. İnformasiya Texnologiyaları nəşriyyatı. 2009. 201 s.

8K, bir rəqəmsal video formatıdır. İlk olarak yüksək görüntü imkanı rəqəmsal kameralarda istifadə edilmişdir. 8192 × 4320 pikselə qədər görüntü keyfiyyəti imkanı təmin edər. K hərfi x1000 mənasına gəlir və görüntü imkanındakı üfüqi piksel sayını ifadə edər. 8K, üfüqi olaraq 8000 piksel görüntü imkanı ekranı ifadə edər.

Döş formalı təpə – formaca qadının döşünü xatırladan təpə. Bu cür antropomorfik coğrafi quruluşlar dünyanın müxtəlif yerlərində rast gəlinir. Bir çox mədəniyyətdə döş formalı təpələr ana tanrıları ilə əlaqələndirilir və onlara ana tanrıları ilə bağlı adlar verilib. Məsələn, İrlandiyada yerləşən Anunun döşləri xristianlıq öncəsi İrlandiyanın əhəmiyyətli qadın ilahəsi olan Anunun adını daşıyır. == Ümumi baxış == İngiltərənin Mançester şəhərinin adının Mamutsium qəsrinin adından gəldiyi güman olunur və fərziyyəyə görə bu söz kelt dilində "döş formalı təpə" mənasına gəlir. Çünki qəsrin yerləşdiyi yer döş formasını xatırladırmış. Bu ad daha sonra dəyişərək Mançester halını almışdır.Döş formalı təpələrin çoxu yerli məhsuldarlıq və çoxalma ilahları ilə əlaqələndirilir. Hətta bəzi arxeoloji qazıntı yerləri döş formalı təpələrin yaxınlığında yerləşir: Siciliyanın Samson adasının döş formalı Şimal təpəsi və Cənub təpəsində məzarlıqlar kəşf edilmişdir. İspaniyanın Araqon bölgəsində yerləşən Burren və Burrera təpələrində Urnfild mədəniyyətinə aid arxeoloji qazıntı yerləri yerləşir.Döş formalı təpələr və ya dağlarla bağlı tarixdə müxtəlif əfsanələr və miflər qeydə alınmışdır. Məsələn, bir mifə görə Asiyanın naməlum bir regionunda Döş dağı adlı dağ yerləşir və buddist rahib Bodhidharma bu mağarada uzun illər meditasiya ilə məşğul olmuşdur.Koloniya dövrünün səyyahları və xəritəçiləri bu cür təpələrin adlarını tez-tez dəyişirdilər.

Protokol dedikdə elə qaydalar toplusu başa düşülür ki onlar məlumatlar paketinin və ya məlumatın formatını müəyyənləşdirir İP protokolu başlıq və mətn hissələrindən ibarətdir. Başlıq hissə 20 baytlıq hissəni özündə saxlayır. Həmçinin vacib olmayan uzunluğu da ehtiyat kimi saxlayır.Başlıq hissə soldan sağa doğru ötürülür yəni 1ci növbədə bu versiyada ilk baytlar ötürülür. Daha sonra isə ardıcıl olaraq nizamlanmış formada sonrakı baytlara ötürülür. Sahə versiyası protokolun əsas versiyasıdır. Bu versiya imkan verir ki protokolu istənilən yerdə istifadə etmək mümkün olsun . Başlığın uzunluğu dəyişən qiymət alır. Xidmətlər tipi sahəsi xidmətlər siniflərini göstərir və etibarlılığın eləcə də sürətin müxtəlif kombinasiyalarını istifadə etməyə imkan verir. Ümumi uzunluğun maksimal qiyməti 65535 bayta bərabərdir. İdentifikator məlumatları qəbul edən hosta imkan verir ki alınmış məlumatlar fraqmentinin hansı hissəyə aid olduğunu müəyyən edir.

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.

Hər bir TCP protokolu 20 baytlıq başlıq hissədən ibarətdir. Bu başlıqdan sonra əlavə sahə gəlir bu sahədə 65495 bayt verilənlər yerləşə bilərlər. Qəbul edən sahələr və ötürücü sahələr sonlu sayda birləşmələrdən ibarət olan lokal sahələrin identifikatorlarıdır. Bunlar hostun İP ünvanları ilə birlikdə 48 bitlik identifikatoru təşkil edirlər. Bu identifikator son nöqtənin vəziyyətini müəyyənləşdirir. Növbəti sahələr sıra ardıcıllığını və təstiq ardıcıllığını göstərən sahələrdir. Bu sahələrdən sonra TCP protokolunun başlığının uzunluğunu göstərən sahə gəlir . Daha sonra ist. olunmayan 6 bitlik sahə mövcuddur. Bu sahə ehtiyat üçün nəzərdı tutulmuşdur.

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.

Zəngin mətn formatı (ing. Rich Text Format RTF) — əksər mətn redaktorlarının dəstəklədiyi fayl formatı. Müxtəlif platformalarda (məsələn, Apple Macintosh və IBM-uyumlu kompüterlərdə) işlədiyindən formatlanmış mətn sənədlərini tətbiqi proqramlar arasında ötürmək üçün bu formatdan istifadə edilir. == Ədəbiyyat == İsmayıl Calallı (Sadıqov), "İnformatika terminlərinin izahlı lüğəti", 2017, "Bakı" nəşriyyatı, 996 s.

ZIP, məlumatların itkisiz sıxılmasını dəstəkləyən arxiv fayl formatıdır. ZIP faylı sıxılmış ola biləcək bir və ya bir neçə fayl və ya qovluqdan ibarət ola bilər. ZIP fayl formatı bir sıra sıxılma alqoritmlərinə icazə verir, baxmayaraq ki, DEFLATE ən çox yayılmışdır. Bu format ilk olaraq 1989-cu ildə yaradılmışdır və ilk dəfə Thom Henderson tərəfindən əvvəlki ARC sıxılma formatını əvəz edən PKWARE, Inc.-in PKZIP yardım proqramında tətbiq edilmişdir. ZIP formatı daha sonra PKZIP-dən başqa bir çox proqram yardımçıları tərəfindən sürətlə dəstəkləndi. Microsoft, versiyalarına daxili ZIP dəstəyini ("sıxılmış qovluqlar" adı altında) daxil etdi Windows 98 üçün "Plus! 98" addon vasitəsilə 1998-ci ildən Microsoft Windows. Windows ME-də 2000-ci ildən yerli dəstək əlavə edilib. Apple Mac OS X 10.3 (BOMarchiveHelper, indi Arxiv Utility vasitəsilə) və sonrakı versiyalarda daxili ZIP dəstəyini daxil etmişdir. Əksər pulsuz əməliyyat sistemləri Windows və Mac OS X-ə bənzər şəkildə ZIP dəstəyi ilə qurulmuşdur.

APK və ya tam adıyla Android Aplication Package (azərb. Android proqram arxivi‎) deməkdir. APK faylları Google Play və digər üçüncü tərəf web səhifələrindən tapıla bilinir. Bu fayllar BlackBerry 10.2.1 üstü bütün Android tabanlı cihazlarda çalışır. APK Fayllar Android Cihazlarda Paket Quraşdırıcı və ya Paket oxuyucu kimi tətbiqlər vasitəsilə açılır və cihaza həmin proqramı yükləyir (APK Faylında olan tətbiqi). Bu sistemdən istər Android proqramlı, istərsə də Anroid proqram əsaslı istifadəçilər istifadə edə bilərlər.

Raw — Rəqəmsal kameranın , rəqəmsal kino kamerasının , habelə hərəkətsiz görüntü və ya film skanerinin fotomatrisindən elektrik siqnalları haqqında xam məlumatları ehtiva edən rəqəmsal şəkil fayl formatıdır .Belə fayllar matrisin elektrik siqnalları haqqında birbaşa ADC -dən alınan məlumatları ehtiva edir, heç bir ümumi qəbul edilmiş spesifikasiyası (standart) yoxdur . Müxtəlif istehsalçıların matrisləri və ADC-lərinin texniki xüsusiyyətlərinə görə universal RAW standartı yoxdur və müxtəlif cihazlardan olan fayllar bir-birindən fərqlənir. == Xüsusiyyətləri == RAW faylları bəzən "rəqəmsal neqativlər" adlanır, çünki onlar analoq fotoqrafiya və kinoda neqativlərə oxşar rol oynayırlar. Həm fotoqrafik, həm də kino neqativləri son görüntü deyil, onu yaratmaq üçün bütün lazımi məlumatları ehtiva edir. Əksər tətbiqlərdə " inkişaf " adlanan RAW fayllarının çevrilməsi prosesi oxşar məna daşıyır , çünki foto materialların emalı ilə analoqu olaraq , gizli təsvirə daxil edilmiş məlumatları bu və ya digər şəkildə şərh etməyə imkan verir. Dönüşüm zamanı RAW faylının özü heç bir şəkildə dəyişmir, lakin göstərmə və çap üçün uyğun olan başqa bir fayl yaratmaq üçün mənbə kimi xidmət edir. Bununla belə, proses bu şəkildə əldə edilən fayllardan bərpa olunmayan məlumatın geri dönməz itkisi ilə nəticələnir. Bundan əlavə, RAW faylları monoxrom məlumat massivini xüsusi rəng məkanına çevirmək üçün konversiya zamanı debaerizasiyaya məruz qalır. Qrafik redaktorlarda baxmaq üçün uyğun olan son qrafik faylı "rəqəmsal neqativdən" "çap"dır, yaratma şərtləri, analoq foto çap prosesində olduğu kimi, konvertasiya zamanı dəyişdirilə bilər.. RAW faylının çevrilməsi həm TIFF və ya JPEG şəkillərini tez yaradan daxili kamera çeviricisi ilə , həm də xarici kompüterdə çəkilişdən sonra həyata keçirilə bilər .

Çormanlı (əvvəlki adı: Qarnakar) — Azərbaycan Respublikasının Kəlbəcər rayonunun Vəngli kənd inzibati ərazi dairəsində kənd. Azərbaycan Respublikası Milli Məclisinin 13 oktyabr 1992-ci il tarixli, 327 saylı Qərarı ilə ləğv edilmiş Ağdərə rayonunun Qarnakar kəndi Kəlbəcər rayonunun inzibati tərkibinə verilmişdir. Azərbaycan Respublikası Milli Məclisinin 29 dekabr 1992-ci il tarixli, 428 saylı Qərarı ilə Kəlbəcər rayonunun Qarnakar kəndi Çormanlı kəndi adlandırılmışdır. Kənd 1993-cü ildə Ermənistan Respublikası Silahlı Qüvvələri tərəfindən işğal edilib. == Toponimikası == XIX-XX əsrlərdə Dovşanlı və Vəng kəndlərindən gəlmiş ermənilər burada məskunlaşdıqdan sonra kəndi Qarnakar (erm. qarna - oyuq, sərhəd nişangahı və kardaş) adlandırmışdılar. 1992-ci ildən kəndin adı Çormanlı kimi rəsmiləşdirilmişdir. Etnotoponimdir. == Tarixi == Çormanlı kəndi əvvəllər Dağlıq Qarabağ Muxtar Vilayətində Ağdərə rayonu inzibati ərazisinə aid idi, lakin 1992-ci ildə Ağdərə rayonu ləğv edilərək ərazisi qonşu Ağdam, Tərtər və Kəlbəcər rayonları arasında bölüşdürüldü. Çormanlı kəndi də Kəlbəcər rayonuna birləşdirilən kəndlərdən biridir.

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.

Format (alm. format‎, fr. format, lat. forma) - Verilənlərin kompüterin yaddaşında, verilənlər bazasında, monitor ekranında və ya xarici daşıyıcıda yazılması və göstərilməsi qaydalarının məcmusudur. Verilənlər sahələrinin siyahısını, onların xarakteristikalarını, daxil edilən verilənlərin məzmununu və onların yerləşdirilməsini müəyyən edir.O, emal edilən, maqnit daşıyıcısına və ya optik daşıyıcıya yazılan, displeydə əks etdirilən və ya kağızda çap edilən informasiya obyektinin müəyyən strukturudur. Format yazıda (o cümlədən faylda, verilənlər bazasında və s.) informasiya obyektlərinin göstərilməsini simvolik şəkildə təsvir edən dil elementidir. İkilik informasiyanın kodlaşdırılması üçün istifadə olunur (məsələn, mətn faylı). Format – 1)poliqrafiyada hazır çap məhsulunun, yaxud çap kağızının ölçüləri; 2)fotoqrafiyada obyektivin təsvir sahəsi daxilinə çəkilmiş düzbucaqlı və ya kvadrat; 3)kitabın, səhifənin, kartoçkanın və s.-nin ölçüsü; 4)əndazə; 5)mətbəə məhsulunun kəsiləndən sonra fiziki ölçüləri; 6)kitabın, səhifənin, kağız vərəqin, kartoçkanın və s.-nin ölçüsü; əndazə. Məsələn, böyük format, kiçik format. Kiçik formatda fotoşəkil; 7)mətbuatda nabor səhifəsinin uzunluğu və hündürlüyü, sətrin uzunluğu.

Kağız formatı və ya A formatları — beynəlxalq İSO standartlarına müvafiq olaraq, ən böyük ölçüsü A0, ən kiçik ölçüsü isə A10 sayılır; yəni A4 (210x297 mm), A0 (841x1189 mm), A10 (26x37 mm). Müvafiq olaraq digər nəşr formatları çap vərəqinin qatlanması ilə alınır. Tərəflərin uzunluğu 1:2 nisbətdə götürülür. == Ədəbiyyat == Əliquliyev R.M., Şükürlü S.F., Kazımova S.İ., Elmi fəaliyyətdə istifadə olunan əsas terminlər // Bakı. İnformasiya Texnologiyaları nəşriyyatı. 2009. 201 s.

Sormaxlı (fars. سرمه لو‎) — İranın Şərqi Azərbaycan ostanının Məlikan şəhristanı ərazisinə daxil olan kənd. == Əhalisi == 2006-cı il məlumatına görə kənddə 595 nəfər yaşayır (137 ailə).

Məktəb forması - məktəbdə və ya digər təhsil müəssisəsində tələbələr tərəfindən geyilən uniforma. Məktəb geyimlərinin məqsədi şagirdlər arasında bərabərliyi təmin etməkdir və müxtəlif ölkələrdə ibtidai və orta məktəblərdə geniş yayılmışdır. Ümumiyyətlə kişi tələbə forması uzun şalvar, ağ köynək, qalstuk və gödəkçə, qadın tələbə forması isə ətəklərdən, uzun və ya diz üstü corablardan, qalstuk, köynək və sviterlərdən ibarətdir. İngiltərə, Türkiyə və ya Azərbaycan kimi ölkələrdə təhsil pulsuz olsa da, məktəbli formaları ödənişli ola bilərlər.

Suyun forması (ing. The Shape of Water — azərb. "Suyun şəkli", "Suyun səsi", yaxud "Suyun pıçıltısı"‎) fantastik janrda olan, Giliermo del Torronun lentə aldığı, Eliz və "balıq-adamın" sevgisindən bəhs edən ekran əsəri. "Suyun forması" filmi "Oskar" mükafatının 90-cı təqdimat mərasimində "Ən yaxşı film" nominasiyasında qalib gəlib. Filmin baş rollarını Maykl Stalbarq, Maykl Şennon və Oktavia Spenser canlandırıb. == Məzmun == Filmdəki hadisələr 1962-ci ildə, SSRİ və ABŞ arasındakı soyuq müharibə dövrünə təsadüf edir. Filmin baş qəhrəmnı Elayza Espozita Baltimorda gizli hərbi laboratoriyada xadimə işləyir. İlk baxışdan adi həyat sürən Elayza uşaqlıqda aldığı zədədən sonra laldır. Onun ünsiyyətdə olduğu iki adamdan biri iş yoldaşı qaradərili Zelda və qoca qonşusu Caylsdır. Bir gün gizli laboratoriyaya tədqiqat üçün qeyri adi obyekt gətirilir.

Atom — bir-birilə əlaqəli iki veb-texnologiyanın ümumi adı: veb-saytlarda resursların və onların nəşri üçün protokolun təsviri üçün format. == Sindikasiya formatı == Atom formatının sindikasiyası XML formatına əsaslanmışdır və veb-resurs dəstlərini təsvir etməyə imkan verir (məsələn, xəbər lentləri, bloqdakı məqalələr). Bu formatdan sonra RSS formatıda bu funksiyaları daha təkmil yerinə yetirir. Format RFC 4287-də təsvir edilmişdir və indi bir çox layihələrdə Google şirkəti tərəfindən fəal dəstəklənir.

BMP təsviri formatı (.bmp) – Windows sisteminin əsas formatı hesab olunur. BMP faylnı Microsoft Office paketinin istənilən proqramı başa düşür. Bu formatdan “İşçi masaya” şəkillərin qoyulmasında da istifadə edilir. BMP faylın ölçüsü çox böyük olur.

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ə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.

Qrafik fayl formatlari-Görüntünü ötürmək və ya fayl şəklində saxlamaq üçün müəyyən formatlar yaradılmışdır.BMP,PCX,PNG,TİFF,GİF və ən populyar JPEG. == BMP == BMP(ing."Bit MaP-bit xəritəsi")-Microsoft şirkətinin Windows əməliyyat sistemi üçün əsas formatdır.Çünki bu sistemin daxili formatına daha çox uyğun gəlir. Burada massivin indeksi -palitranın rənginin nömrəsi onun məzmunu isə-rəngi üç əsas komponentin parlaqlıq dərəcəsinə görə təsvir edən üç ədəddir.R/G/B(red/green blue) == PCX == PCX - ZSoft firması tərəfindən hazırlanan və Microsoft şirkətinin MS-DOS əməliyyatlar sistemindəki PC Paintbrush proqramı üçün istifadə edilən standartdır.Lakin PSX formatı Bmp qədər populyar ola bilmədi.Xüsusi qrafik redaktorlar-Corel Draw Ulead Photo express Adobe Photoshop bu formatı dəstəkləyir. == GIF == GIF(ing.Graphics İnterchange Format-qrafik mübadilə formatı) ilkin olaraq CompuServe şəbəkəsi üçün nəzərdə tutulmuşdu.GİF-də qrafik informasiya bir-birinin ardınca gələn bloklardan ibarətdir. Gif fayllarının çatışmayan cəhətləri rəng dərinliyinin çox olmamasıdıir.(cəmi 256 rəng) ve rastr massivinin verilənlərinin LZW qapalı alqoritminin sıxılmasını göstərmək olar.

Formalin — formaldehidin metanol ilə stabilləşmiş sulu məhluludur (metanal). == Əsas məlumatlar == Formalinin ən çox yayılmış 40% formaldehid, 8% metil spirti və 52% su ehtiva edən formasıdır. Formaldehidin mənbəyi, dezinfeksiyaedici və dezodorant maddələr, anatomik preparatların qorunması və dərinin aşılanması üçün mayelərdir. Qıcıqlandırıcı və zəhərlidir. Texniki formalin FM GOST 1625-2016 markalı "Texniki. Formalin. Texniki şərtlər" [1] – formaldehidin su-metanol məhlulu – rəngsiz şəffaf mayedir. Saxlama zamanı 40°C-dən çox olmayan bir temperaturda həll olunan bulanma və ya ağ çöküntü əmələ gəlməsinə məqbuldur. Belə məhlul 37 % formaldehid ehtiva edir və stabilləşdirici metanolun miqdarından asılı olaraq təxminən 1,1 q/sm³ sıxlığa malikdir. == Tətbiqi == Sintetik qatranlar, sintetik kauçuk, səthi-aktiv maddələr (SAM), çoxatomlu spirtlər, formallar və digər metilen törəmələrinin istehsalında istifadə olunur.

Qrafik fayl formatlari-Görüntünü ötürmək və ya fayl şəklində saxlamaq üçün müəyyən formatlar yaradılmışdır.BMP,PCX,PNG,TİFF,GİF və ən populyar JPEG. == BMP == BMP(ing."Bit MaP-bit xəritəsi")-Microsoft şirkətinin Windows əməliyyat sistemi üçün əsas formatdır.Çünki bu sistemin daxili formatına daha çox uyğun gəlir. Burada massivin indeksi -palitranın rənginin nömrəsi onun məzmunu isə-rəngi üç əsas komponentin parlaqlıq dərəcəsinə görə təsvir edən üç ədəddir.R/G/B(red/green blue) == PCX == PCX - ZSoft firması tərəfindən hazırlanan və Microsoft şirkətinin MS-DOS əməliyyatlar sistemindəki PC Paintbrush proqramı üçün istifadə edilən standartdır.Lakin PSX formatı Bmp qədər populyar ola bilmədi.Xüsusi qrafik redaktorlar-Corel Draw Ulead Photo express Adobe Photoshop bu formatı dəstəkləyir. == GIF == GIF(ing.Graphics İnterchange Format-qrafik mübadilə formatı) ilkin olaraq CompuServe şəbəkəsi üçün nəzərdə tutulmuşdu.GİF-də qrafik informasiya bir-birinin ardınca gələn bloklardan ibarətdir. Gif fayllarının çatışmayan cəhətləri rəng dərinliyinin çox olmamasıdıir.(cəmi 256 rəng) ve rastr massivinin verilənlərinin LZW qapalı alqoritminin sıxılmasını göstərmək olar.

Hörmətli fahişə və ya Səxavətli fahişə (fr. La Putain respectueuse) — Fransa yazıçısı və filosofu Jan Pol Sartr tərəfindən 1946-cı ildə fransız dilində yazılan teatr tamaşası. İki pərdəli əsərdə hadisələr 1930-cu illərdə Amerika Birləşmiş Ştatlarında baş verir. Əsərin əsas süjet xətti cənub əyalətlərinin birində yaşayan ailənin oğlanlarını zənci bir şəxsi qətlə yetirdiyi üçün həbs edilmələrindən qurtarmasından bəhs edir. Ailə bu istəyini küçə qadını Lizzi MekKeyi oğlanlarının əvəzinə günahsız zənci şəxsi günahlandırması üçün yalandan şahidlik etməsinə razı salaraq həyata keçirir.İlk dəfə 1946-cı ilin noyabrında nümayiş olunan tamaşa, Sartrın 1945-ci ildə ABŞ-yə etdiyi səyahətdəki müşahidələrindən sonra yazılmışdır. Yazıçı teatr tamaşasını 1931-ci ildə bu ölkədə baş verən doqquz zənci şəxsin iki küçə qadınına təcavüz etməklə günahlandırıldığı üçün həbs edildiyi Skottsboro məhkəməsindən və səyahət ərəfəsində burada tanış olduğu Riçard Raytın əsərlərindən ilhamlanaraq yazmışdır. Sartr əsərdə irqçiliyi və Amerika cəmiyyətindəki təbəqə sistemini küçə qadının, ona təcavüz etdiyi üçün günahlandırılan zənci şəxsin və cinayət törətmiş varlı şəxsin hekayəsindən bəhs edərək ironik bir şəkildə sərt tənqid etmişdi. Sartrın ekzistensializm janrında yazdığı və Lizzinin əhatəsində sərt kişilər, varlılar və linç şəxslərinin olmasına baxmayaraq seçimlərində nə qədər azad olduğundan bəhs edən əsər bir çox tənqidlərə məruz qalmışdır. Əhali yazıçının bir fransız olaraq Amerika Birləşmiş Ştatlarına qarşı çıxdığını bildirmişdi. Sartr gələn bu tənqidlərə belə bir cavab vermişdi: “Mən Amerika Birləşmiş Ştatlarına yox, irqi ayrı-seçkiliyə qarşıyam.” Digər tənqidlərdə Sartın ABŞ-də qaldığı qısa müddətdə əhalinin gündəlik vərdişləri barədə düzgün müşahidələr apara bilmədiyi bildirilmişdi.