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

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.

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.

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.

PDF,(Portable Document Format; Daşına bilər Sənəd Formatı), "Adobe" şirkəti tərəfindən 1992-ci ildə yayımlanan platformalar arasında daşına bilən və yazdırıla bilən sənədlər yaratmaq məqsədiylə çıxarılmış ədədi bir fayl formasıdır. Bir çox platforma üçün pulsuz görüntüləyicilər olması səbəbindən PDF yazdırılabilir və təşkil edilməsi gözlənilməyən sənədlərin paylanması üçün istifadə olunur. == Xarici keçidlər == Adobe PDF 101: Quick overview of PDF Arxivləşdirilib 2010-10-07 at the Wayback Machine Adobe: PostScript vs. PDF – Official introductory comparison of PS, EPS vs. PDF. PDF Standards....transitioning the PDF specification from a de facto standard to a de jure standard Arxivləşdirilib 2011-04-24 at the Wayback Machine – Information about PDF/E and PDF/UA specification for accessible documents file format ISO 19005-1:2005 Document of the PDF/A-1 Standard at the International Organization for Standardization (chargeable) PDF Reference Latest PDF version specification (including free version of the ISO standard) Books: PDF 1.6 (ISBN 0-321-30474-8), PDF 1.4 (ISBN 0-201-75839-3), PDF 1.3 (ISBN 0-201-61588-6) Portable Document Format: An Introduction for Programmers – Quick one-page intro to PDF vs.

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 Ultra HD — eni təxminən 8000 piksel olan şəkil və ya displey çözümlülüyü. 8K UHD (7680 × 4320) Rec 2020 (UHDTV) standartında müəyyən edilmiş ən yüksək çözümlülükdür. "8K" termini ümumidir və üfüqi piksel sayı təxminən 8000 olan hər hansı çözümlülüyə aiddir. Bir neçə fərqli 8K çözümlülük müxtəlif təşkilatlar tərəfindən standartlaşdırılıb. 8K çözümlülük 4K-nın davamçısıdır. Televiziya istehsalçıları 2017-ci ilə qədər 4K-nı yeni standarta çevirməyə çalışdılar. CES 2019-da ilk 8K televizorları təqdim edildi. 8K-ya hazır cihazların 2023-cü ilə qədər ildə 11 milyon ədəd qlobal satışla UHD televizorlarının yalnız 3%-ni təşkil edəcəyi proqnozlaşdırılmışdı (Strategy Analytics-in 2018-ci il proqnozu). Bununla belə, televizor istehsalçıları optimist olaraq qalırlar, çünki 4K bazarı gözlənildiyindən daha sürətli böyüyüb, faktiki satışlar 2016-cı ildə proqnozları təxminən altı dəfə üstələyib. 2013-cü ildə bir ötürmə şəbəkəsinin HDTV çözümlülüyü internet sürəti ilə məhdudlaşdı və yüksək məlumat sürətini ötürmək üçün peyk yayımlarına əsaslanırdı.

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.

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.

Yenidən formatlama — Tətbiqi proqramlarda: sənədin tərtibatında dəyişiklik, yəni şrift kimi stilistik detalların əvəzlənməsi, elementlərin quraşdırılması, abzasların düzləndirilməsi, başlıqların seçdirilməsi və s. 2. Verilənlərin saxlanması sahəsində: diskin təkrar formatlanması (onun işə hazırlanması), bu zaman oradakı informasiyanın hamısı məhv olur. == Ədəbiyyat == İsmayıl Calallı (Sadıqov), “İnformatika terminlərinin izahlı lüğəti”, 2017, “Bakı” nəşriyyatı, 996 s.

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. == İstinadlar == == Ə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.

Android Package, fayl uzantısı adı ilə apk — mobil proqramların, mobil oyunların və aralıq proqramların paylanması və quraşdırılması üçün Android əməliyyat sistemi və bir sıra digər Android əsaslı əməliyyat sistemləri tərəfindən istifadə olunan fayl formatı. Bu formatdan istifadə edən fayl Java və ya Kotlin dilində yazılmış mənbə kodundan qurula bilər. APK faylları Android App Bundle (.aab) istifadə edilərək yaradıla və imzalana bilər. APK Microsoft Windows-da APPX, HarmonyOS-un HAP-da .app və ya Debian əsaslı əməliyyat sistemlərində .deb kimi digər proqram paketlərinin analoqudur. APK faylı yaratmaq üçün proqram əvvəlcə Android Studio və ya Visual Studio kimi alətdən istifadə etməklə tərtib edilir və sonra onun bütün hissələri bir konteyner faylına yığılır. APK faylında proqramın bütün kodu (məsələn, .dex faylları), resurslar, aktivlər, sertifikatlar və manifest faylı mövcud olur. Bir çox fayl formatlarında olduğu kimi, APK faylları da lazım olan hər hansı ada malik ola bilər, lakin belə tanınmaq üçün fayl adının fayl uzantısı ilə bitməsi tələb oluna bilər. Əksər Android tətbiqləri istifadəçilərə APK fayllarını yalnız Google Play kimi etibarlı mənbələr yerinə digər mənbələrdən quraşdırmağa imkan verən "Naməlum mənbələr" parametrini yandırdıqdan sonra manual quraşdırmaq imkanı verir. Bunun edilməsinin əsas səbəbləri tapılmayan proqramları quraşdırmaq və ya mövcud proqramın köhnə versiyasını quraşdırmaqdır. == Digər əməliyyat sistemlərində istifadəsi == BlackBerry Android Runtime vasitəsilə Android 4.1 Jelly Bean proqramlarını və yuxarısını 2014-cü ilin yanvar 10.2.1 mikroproqram yeniləməsi ilə dayandırılmış Blackberry 10-a qədər dəstəklədi.

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

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.

Formant (lat. formans (formantis) – doğuran, formalaşdıran) – nitq səslərinin tezliyinin səviyyəsi ilə əlaqəli olan və səsin tembrini əmələ gətirən akustik xarakteristikasıdır. Formantalar – səs tonu spektrinin hissəsidir, ortalama tezlik qiymətinə görə müəyyən edilmiş tezliklər oblastıdır. Səsin tanınması prosesi əsas etibarlı ilə formantların qavranılması ilə şərtlənir. Formant nitq siqnalının spektrini (enerjinin və ya amplitudun tezliklər üzrə paylanmasını) xarakterizə edən vacib parametrdir, formantı məhdud tezlik oblastında enerjinin konsentrasiyası kimi müəyyən etmək olar. Formant tezlik, en və amplitud ilə xarakterizə edilir. Formantın tezliyi olaraq maksimal amplitudun tezliyi götürülür. Başqa sözlə, formant – spektrin qrafikində amplitudun müəyyən kəskin yüksəlişi, onun tezliyi isə bu yüksəlişdə pikin tezliyidir. Şəkildə tezlikləri F0, F1, F2, F3 olan dörd formant göstərilib. F0 formantı nitq siqnalının əsas ton tezliyi də adlanır.

Forma (yun. μορφή, lat. forma — qəbul edilmiş normativ xarici ölçü, görünüş. Forma (fəlsəfə) — materiyaya aid olan, məzmun anlayışına əks olan fəlsəfi kateqoriya. Forma (predmet) — predmetin konturlarının cizgisi. Forma (paltar), uniforma (lat. uniformis — ümumilik) — stilinə, tikilişinə, rənfinə, parçasına görə eyni olan vahid müəssisə geyimi. == Həmçinin bax == Format Formulyar Forma – [lat. forma – görünüş, forma] 1)əşyanın xarici görünüşü, şəkli; 2)hər hansı bir şeyin onun məzmunu ilə müəyyənləşən görünüşü, nümunəsi, tipi, quruluşu, qurulma sistemi; 3)məcazi mənada: zahirən görünən, formallıq; 4)hər hansı bir şeyin nümunəsi, şablonu, qaydası; 5)əşyalara müəyyən formanın verilməsi üçün vasitə; 6)müəyyən edilmiş nümunədə paltar; 7)bədii əsərin növü, janrı, təsvir vasitələri və üsulları; 8)dilçilikdə qrammatik mənanın ifadə edilməsi; 9)zahiri görünüş; 10)quruluş, struktur; 11)ülgü, biçim, şablon, nümunə; 12)riyaziyyatda bütün hədləri eyni dərəcəli olan çoxhədli, formalar nəzəriyyəsi, cəbri həndəsə, ədədlər nəzəriyyəsi, diferensial həndəsə, riyaziyyatın başqa sahələrində və mexanikada işlədilir; 13)tip, quruluş, təşkilat sistemi; struktur; 14)rənginə, biçiminə və başqa əlamətlərinə görə müxtəlif kateqoriyalara mənsub şəxslər üçün vahid paltar tipi; rəsmi paltar, geyim. == Ədəbiyyat == R.Əliquliyev, S.Şükürlü, S.Kazımova.

Normal forma (normal form ) - relyasiyalı verilənlər bazasında: informasiyanın strukturlaşdırılması üsulunu müəyyənləşdirən, artıqlığın və uzlaşmamanın olmaması ilə xarakterizə olunan element; informasiyanın səmərəli işlənməsini, saxlanmasını və yenilənməsini təmin edir. Adətən, üç formada istifadə olunur: birinci normal forma (1NF), ikinci normal forma (2NF) və üçüncü normal forma (3NF). Birinci normal forma (1NF)(ən az strukturlaşdırılmış), hər bir sahəsi (sütunu) unikal informasiyadan ibarət olan yazılar qrupudur (məsələn, işçilərin siyahısı). İkinci və üçüncü normal formalar birinciləri ayrı-ayrı cədvəllərə bölür və ardıcıl olaraq sahələr arasında daha incə qarşılıqlı ələqələr müəyyənləşdirir. İkinci normal (2NF) formada ilkin açar sahəsi istisna olmaqla, başqa sahələrin altçoxluğu olan sahələr olmur. Üçüncü normal (3NF)formada açar olmayan sahələr haqqında informasiyaların yerləşdiyi sahələr olmur. Daha mükəmməl normallaşmada Boys-Kodd normal forması (BCNF), dördüncü normal forma (4NF) və birləşmiş proyeksiya – beşinci normal forma (PJ/NF və ya SNF) olur. Proqramlaşdırmada: normal forma, başqa dillərin sintaksisini təsvir etmək üçün istifadə olunan metadildir. Bəzən Bekus normal forması (Bekus-Naur forması) da adlanı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 — İ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.

Miloş Forman (çex. Miloš Forman; əsl adı: Yan Tomaş Forman, çex. Jan Tomáš Forman; 18 fevral 1932, Çaslav, Çexoslovakiya) — Çexiya və ABŞ kinorejissoru və ssenaristi. == Həyatı == Tomas Yan Forman 1932-ci il fevralın 18-də Çexoslovakiyanın Çaslav şəhərində anadan olmuşdur. İkinci dünya müharibəsi illərində Çexoslovakiyanin işğalı zamanı valideynlərini Osvensiumda itirmişdir. Praqa incəsənət akademiyasının kino fakultəsinin məzunudur. 50-ci illərin ortalarında həm ssenarist kimi işləmiş, həm də məşhur “Laterna Maqika”da ilk proqramların hazırlanmasında iştirak etmişdir. 1963-ci ildə “Müsabiqə” adlı sənədli filmi ilə kino sənətində debut etmişdir. Rejissor filmdə gənclərin caza maraq atmosferini yaratmağa və peşəkar jüli qarşısında öz bacarıqlarını nümayiş etdirən bu musiqi sevənlərin müsabiqədəki acınacaqlı səhnəsini təsvir etməyə çalışmışdır. 1964-ci ildə Forman “Qara Pyotr” adlı ilk tammetrajlı filmini çəkir ki, bu filmin başqa adı “Pyotr və Pabla” idi.

Persi Evqeniy Forman (21 iyun 1902 – 25 avqust 1988) — cinayət işləri üzrə amerikalı hüquq-müdafiəçisi (Xyuston, Texas ştatı) == Həyatı == Texas Hüquq məktəbini 1927-ci ildə bitirmişdir. Persi qeyri-mütəşəkkil olduğuna, pis geyindiyinə və baha qiymət oxuduğuna görə bədnam şöhrət qazanmışdır. Lakın o, taktika ustası idi. 1500 ölüm cəzası ilə nəticələnməli olan işlərindən cəmi 53 uduzmuş və onlardan cəmi biri yerinə yetirilmişdir. Formanın müştərilərindən biri Ceyms Erl Rey olmuşdur (Martin Luter Kinqin güllələnməsində təqsirli bilinmişdir) və Forman ona günhı boynuna götürməyi məsləhət vermişdir. Ola bilsin ki, Forman o vaxt onun həyatını xilas etmişdir. Lakın Rey onu sonradan işdən çıxartmışdır (vəkil kimi), və Formanı "Fırıldaqçı Persi" adlandırırdı.

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.

Forma, bir obyektin çevrəsi və səthi kimi xarici xüsusiyyətlərindən asılı olan ümumi bir tərifdir. Rəng, naxış və maddə kimi xüsusiyyətlər bir cismin formasında həlledici rol oynamır. Psixoloqlar düşünürlər ki, insanlar cisimləri mənalandırarkən onları zehinlərində geon adlanan formalara bölürlər. Konuslar və kürələr bu formaların nümunəsidir.

Həndəsi forma — Yer, miqyas, yönləndirmə və refleksiyanın həndəsi obyektin təsvirindən çıxarıldığı zaman qalan həndəsi məlumatdır. == Haqqında == Yəni forma ətrafında hərəkətin, onun genişlənməsinin, dönməsinin və ya güzgüdə əks olunmasının nəticəsi, ayrı bir forma deyil, orijinal forma ilə eynidir. Eyni formaya malik olan obyektlərin oxşar olduğu deyilir. Bir-birləri ilə eyni miqyasda olduqları təqdirdə, onlara bir-birinə uyğun olan deyilir. Bir çox ikiölçülü həndəsi formalı bir nöqtə və ya birbaşa və ya bağlanmış bir nöqtədə nöqtələri birləşdirən xəttlər, həmçinin nəticələnən daxili nöqtələrlə müəyyən edilə bilər. Belə formalar çoxbucaqlı adlanır və üçbucaqlar, kvadratlar və pentaqonlar daxildir. Digər formalar bir dairə və ya ellips kimi əyri ilə məhdudlaşdıra bilər. Bir çox üçölçülü həndəsi fiqurlar bir sıra şaquli, hündürlüyü birləşdirən xəttlər və bu xətlərin əhatə etdiyi iki ölçülü üzlər, eləcə də yaranan daxili nöqtələrlə müəyyən edilə bilər. Bu cür formlara polihedra deyilir və buraya kublar daxildir, həmçinin tetrahedra kimi piramidalar. Digər üç ölçülü şəkillər ellips və sfera kimi əyri səthlərlə məhdudlaşdıra bilər.

Üçüncü forma və ya alternativ forma — Ev və səfər formalarına alternativ olaraq idman komandasının geyindiyi forma. == Futbol == Üçüncü forma 1930-cu illərdən İngiltərə futbolunda istifadə olunur. 1989–90 mövsümünə qədər FA Kubokunda belə bir qayda var idi: "İki rəqib klubun rəngləri oxşar olduqda, alternativ razılaşmalar rəqib klublar tərəfindən qarşılıqlı razılaşdırılmadığı halda, hər iki klub öz formalarını dəyişməlidir".

Ar-sür-Forman (fr. Ars-sur-Formans) — Fransada kommuna, Rona-Alplar regionunda yerləşir. Departament — En. Reryo kantonuna daxildir. Kommunanın dairəsi — Burk-an-Bres. == Coğrafiyası == O, 35 km şimalda Lion və dəniz səviyyəsindən 226–281 metr yüksəklikdə yerləşir. == Əhalisi == 2010-cu ildə əhalinin sayı 1367 nəfər təşkil edirdi. == Tarixi == Ar kəndinin adı ilk dəfə 969-cu ilə aid sənədlərdə qeyd olunur. XI əsrdə zadəgan ailəsinə məxsus olan Ar, sonra bu torpaqları Lion yaxınlığındakı bir monastıra köçürdü. Təxminən 1409-cu ildə, dini müharibələr zamanı kənd tamamilə yandırıldı.

Ar-sür-Forman (fr. Ars-sur-Formans) — Fransada kommuna, Rona-Alplar regionunda yerləşir. Departament — En. Reryo kantonuna daxildir. Kommunanın dairəsi — Burk-an-Bres. == Coğrafiyası == O, 35 km şimalda Lion və dəniz səviyyəsindən 226–281 metr yüksəklikdə yerləşir. == Əhalisi == 2010-cu ildə əhalinin sayı 1367 nəfər təşkil edirdi. == Tarixi == Ar kəndinin adı ilk dəfə 969-cu ilə aid sənədlərdə qeyd olunur. XI əsrdə zadəgan ailəsinə məxsus olan Ar, sonra bu torpaqları Lion yaxınlığındakı bir monastıra köçürdü. Təxminən 1409-cu ildə, dini müharibələr zamanı kənd tamamilə yandırıldı.

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.

Komrat (qaq. Komrat, rum. Comrat, rus. Комра́т) — Moldova şəhəri, Qaqauziyanın paytaxtı. Yalpuq çayının sahilində yerləşir. Şəhərin əsası 1789-cu ildə qoyulmuşdur. Hazırkı icra başçısı Viktor Volkovdur. == Əhali == 1989: 25,800 1991: 27,500 1996: 27,400 2004: 23,429 2006: 22,369 2014: 26,000 == İqtisadiyyatı == Əsas iqtisadiyyatı üzümçülükdür, 10 şərab zavodu və bir yağ zavodu var. == Tanınmış Komratlılar == Aleksandr Stoyanoğlu — qaqauz siyasətçi İrina Vlax — Qaqauziya başqanı Pyotr Draqanov — rus filoloq == Qardaş şəhərlər == == İqlimi == Komrat rütubətli kontinental iqlimə sahibdir — quru və isti yay, qarlı və soyuq qış keçirir. Yay vaxtı ortalama temperatur 25 °C-dir.

Forfar (ing. Forfar, şot.kelt Baile Fharfair) — Böyük Britaniyada, Şotlandiya (Şotlandiya Boyük Britaniya dövlətinin vilayətidir) vilayətində şəhər.

Düstur və ya beynəlxalq aləmdə Formul (lat.

Forsaj (həmçinin Sürətli və Qəzəbli kimi tanınır) media françayzinqi kəşfiyyat filmləri silsiləsi üzərində qurulmuşdur., əsasən qanunsuz küçə yarışları, soyğunçular, casuslar və ailə ilə əlaqəlidir. Franşizaya həmçinin qısametrajlı filmlər, televiziya serialları, canlı şoular, video oyunlar və mövzu parkı attraksionları daxildir. Universal Pictures tərəfindən paylanır. ilk filmi 2001-ci ildə buraxıldı, bu film qeyri-qanuni küçə yarışlarına fokuslanan filmlərin orijinal tetralogiyasına başladı və Forsaj 4 (2009). Serial Forsaj 5: Rio soyğunu (2011) ilə heists və casusluq istiqamətlərinə keçdi və ən son ilə dörd davam filmi izlədi. Forsaj 9, 2021-ci ildə buraxılıb. Serialı yekunlaşdırmaq üçün onuncu və on birinci filmin çəkilməsi planlaşdırılır və əsas filmlər birlikdə The Fast Saga kimi tanınır. Universal serialı Sürətli və Qəzəbli: Hobs və Şou (2019) spin-off filmini əhatə etməklə genişləndirdi, onun törəmə şirkəti DreamWorks Animation bunu cizgi filmi ilə izlədi. Axar televiziya seriyası Sürətli və Qəzəbli Casus Yarışçılar. Bütün filmlər üçün soundtrack albomları, eləcə də filmlərdə eşidilən mövcud musiqiləri ehtiva edən kompilyasiya albomları buraxılmışdır.

Fosfat turşusu ( P O 4 − 3 {\displaystyle PO_{4}^{-3}} ) — qeyri-üzvi, kimyəvi və fosforlu turşudur. Fosfat turşusu və fosfat biokimya və ekologiya üçün cox mühimdir. Fosfat kənd təsərrüfatı və sənaye üçün çox əhəmiyyətli kimyəvi məhsuldur. Fosfat bərk şəraitli yüksək temperaturda firofosfatdan (Xörək duzu) da kondensasiya oluna bilər. Bütün hüceyrələri zülal olan fosfalar əlavə və aradan qaldırılması metabolik olan proseslərin tənzimləməsində əsas strategiyadır. Fosforlaşma və defosforlaşmanın enerji saxlanmasında və yaşayış sistemlərinin azad olunmasında əhəmiyyətli yolları var. Fosfat və ya ortofosfat ionu PO4 −3 üç protonun H+çıxarılması ilə fosfor turşusundan əmələ gəlir. Bir və ya iki protonun çıxarılması, sırasıyla dihidrogen fosfat ionu H2PO4− və hidrogen fosfat ionu HPO4−2 ionunu verir. Bu adlar ammonium dihidrogen fosfat və trisodium fosfat kimi anionların duzları üçün də istifadə olunur. Üzvi kimyada fosfat və ya ortofosfat bir orqanofosfattır, PO şəklində ortofosfor turşusunun mürəkkəb efiridir.

Fərman, hökümdarın möhürünü daşıyan yazılı əmir. Farsca buyurmaq, əmr etmək mənasına gələn fərman ( fars. فرمان‎ ) sözündən yaranmışdır. Elxanilər, Qızıl Orda və Kırım xanlığında yarlıq sözü, Qaraqoyunlu ilə Ağqoyunlularda sözümüz, Böyük Səlcuq, Anadolu Səlcuqlularında pərvanə, Məmlüklərdə mevkii sözü işlədilməkdə idi.

Komrat (qaq. Komrat, rum. Comrat, rus. Комра́т) — Moldova şəhəri, Qaqauziyanın paytaxtı. Yalpuq çayının sahilində yerləşir. Şəhərin əsası 1789-cu ildə qoyulmuşdur. Hazırkı icra başçısı Viktor Volkovdur. == Əhali == 1989: 25,800 1991: 27,500 1996: 27,400 2004: 23,429 2006: 22,369 2014: 26,000 == İqtisadiyyatı == Əsas iqtisadiyyatı üzümçülükdür, 10 şərab zavodu və bir yağ zavodu var. == Tanınmış Komratlılar == Aleksandr Stoyanoğlu — qaqauz siyasətçi İrina Vlax — Qaqauziya başqanı Pyotr Draqanov — rus filoloq == Qardaş şəhərlər == == İqlimi == Komrat rütubətli kontinental iqlimə sahibdir — quru və isti yay, qarlı və soyuq qış keçirir. Yay vaxtı ortalama temperatur 25 °C-dir.

Sorman ya da Surman (ərəb. صرمان‎) Liviyanın şimal-şərqində,Aralıq dənizi sahilində və Tripolitaniya regionunda şəhər. == Vətəndaş müharibəsi == 20 İyun 2011-ci ildə Birinci Liviya Vətəndaş Müharibəsi əsnasında, NATO Sormanda Muammər Qəddafinin silahdaşlarından biri Xalid K. El-Hamediyə aid bir ərazidə mülki evlərə hücum edərək, bir neçə mülki şəxsin, o cümlədən iki uşağın və onların analarının öldürüldüyünü bildirdi. NATO, Sormanda bir hərbi hədəfə hava hücumu etdiyini etiraf etdi, ancaq mülki şəxslərin ölümünə rədd etdi. NATO, Sorman bölgəsindəki "yüksək səviyyəli" komandanlıq və nəzarət "nodu" na qarşı dəqiq bir hava hücumu başladıldığını söyləyən bir bəyanat verdi. Avqustun 14-də Milli Qurtuluş Ordusu böyük bir sahil hücumu zamanı şəhəri ələ keçirdiyini söylədi. Qəsəbə uğrunda gedən döyüşdə 10 üsyançı öldürüldü və ən az 40 Qəddafi tərəfdarı tutuldu. 2016-cı ilin martında, ikinci vətəndaş müharibəsi zamanı, Sormanda İslam Dövləti silahlıları tərəfindən insan qalxanı kimi istifadə edilərkən, 2015-ci ilin iyununda qaçırılan iki İtalyanın öldürüldüyü bildirildi.

Normal (riyaziyyat)

Hörmət və ya sayğı — şəxsiyyətə hörmətlə yanaşmaq, tənqidi şəxsin özü deyil onun fikrinə yönəltmək, etirazı mədəni şəkildə etmək, heç kimin fikrini "lağa" qoymamaq, hamının danışmaq hüququ olduğunu dərk etmək Yeri gəldikdə güzəştə getməyi bacarmaq, "özünə rəva bilmədiyini, başqalarına rəva bilmə" atalar sözünü unutmamaq. Hər kəsə hörmət edən, sayğı göstərən və eyni zamanda da özünə hörmət qazanmağa çalışan insan bacarmalıdır. "Buyurun", "bağışlayın", "zəhmət olmasa", "üzr istəyirəm", "minnətdaram" və s. kimi kəlmələri dildə vərdişə çevirmək bacarığı; fikrini əsaslandırmaq, əsassız fikirdən qaçmaq bacarığı; "Bu mənim şəxsi fikrimdir", "Bu onun şəxsi fikridir", "Hər kəsin öz fikrini söyləmək haqqı var" və s. kimi düşüncələrini normal qəbul etməklə ona dəstək vermək bacarığı.