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

Yermak Timofeyeviç (1532/1534/1542 – 6 avqust 1585, Sibir xanlığı) —Kazak atamanı. Ural tacirləri və sənayeçiləri Stroqanovların vəsaiti hesabına onun başçılığı ilə kazakların Sibir xanlığına işğalçı yürüşlər təşkil edilmişdir. 1581-ci ildə Yermak Sibir xanlığının işğalına başladı. 1582-ci ilin payızında kazaklar hücumla Sibir xanlığının əsas istehkamı — paytaxtı Kaşlıkı tutdular və qarət etdilər. Sibir xanı Küçüm xan müqaviməti davam etdirdi. 1585-ci ildə başda Kuçum olmaqla tatarların kazaklara gözlənilməz gecə hücumu zamanı Yermak öldürüldü. Атаман Ермак Йармак (Ермак) Кольцо Сибири. Ермак, освоение Сибири Сказ о казаке-разбойнике Arxivləşdirilib 2007-10-27 at the Wayback Machine Ермак — человек — ледокол Кто же ты, Ермак Аленин? Arxivləşdirilib 2010-01-06 at the Wayback Machine Казаки. Походы Ермака (фигурки) Arxivləşdirilib 2011-12-27 at the Wayback Machine Савельев Е. П. Кто был Ермак и его сподвижники.

Yermak Timofeyeviç (1532/1534/1542 – 6 avqust 1585, Sibir xanlığı) —Kazak atamanı. Ural tacirləri və sənayeçiləri Stroqanovların vəsaiti hesabına onun başçılığı ilə kazakların Sibir xanlığına işğalçı yürüşlər təşkil edilmişdir. 1581-ci ildə Yermak Sibir xanlığının işğalına başladı. 1582-ci ilin payızında kazaklar hücumla Sibir xanlığının əsas istehkamı — paytaxtı Kaşlıkı tutdular və qarət etdilər. Sibir xanı Küçüm xan müqaviməti davam etdirdi. 1585-ci ildə başda Kuçum olmaqla tatarların kazaklara gözlənilməz gecə hücumu zamanı Yermak öldürüldü. Атаман Ермак Йармак (Ермак) Кольцо Сибири. Ермак, освоение Сибири Сказ о казаке-разбойнике Arxivləşdirilib 2007-10-27 at the Wayback Machine Ермак — человек — ледокол Кто же ты, Ермак Аленин? Arxivləşdirilib 2010-01-06 at the Wayback Machine Казаки. Походы Ермака (фигурки) Arxivləşdirilib 2011-12-27 at the Wayback Machine Савельев Е. П. Кто был Ермак и его сподвижники.

Allan Maklaud Kormak (ing. Allan McLeod Cormack; 23 fevral 1924[…], Yohannesburq, Transvaal[d], Cənubi Afrika İttifaqı – 7 may 1998[…]) — Cənubi Afrikalı və amerikalı fizik, " kompüter tomoqrafiyasının inkişafına görə" 1979-cu ildə fiziologiya və ya tibb üzrə Nobel Mükafatı laureatı (Godfrey Hounsfield ilə birlikdə). ABŞ Milli Elmlər Akademiyasının üzvü (1983).

Yorma müharibəsi (ərəb. حرب الاستنزاف‎ Romanizasiya: Hərb əl-İstinzaf; ivr. ‏מלחמת ההתשה‏‎ Romanizasiya: Milhemet haHataşah), 1967-1970-ci illər arasında Sinay yarımadasında İsrail ilə Misir və müttəfiqləri arasında meydana gələn hərbi toqquşmalardır. 1967-ci ildə baş vermiş Altı günlük müharibədən sonra, Ərəb-İsrail qarşıdurmasının mərkəzində olan problemləri həll etmək üçün ciddi bir diplomatik səy göstərilmədi. 1967-ci ilin sentyabrında ərəb dövlətləri İsrail ilə sülh, tanınma və ya danışıqları qadağan edən “üç xeyr” siyasətini həyata keçirməyə başladılar. Misir Prezidenti Camal Əbdül Nasir, yalnız bir hərbi müdaxilənin İsraili və ya beynəlxalq birliyi İsraili Sinaydan çıxarmağa məcbur edəcəyinə inanırdı və iki ölkə arasındakı toqquşmalar qısa bir müddət ərzində Süveyş kanalı boyunca yenidən başladı. Toqquşmalar əvvəlcə qarşılıqlı artilleriya atəşləri və Sinaya kiçik miqyaslı hücumlar ilə məhdudlaşırdı. Ancaq 1969-cu ildə Misir Ordusu daha genişmiqyaslı əməliyyatlara hazırlaşmağa başladı. 8 mart 1969-cu ildə Nasir, Süveyş kanalı boyunca geniş çaplı bombardmanlar, genişmiqyaslı hava döyüşləri və komando hücumlarını özündə cəmləşdirən zəiflətmə müharibəsi elan etdi. Qarşıdurmalar 1970-ci ilin avqustuna qədər davam etdi və atəşkəslə başa çatdı.

Kormak-Leheyn təsnifat sistemi birbaşa larinqoskopiya zamanı görünən strukturlar əsasında, endotraxeal intubasiyanın icrasının mümkünlük dərəcəsini müəyyən etmək üçün tərtib edilmiş təsnifatdır. Təsnifat 1984 cü ildə R.S. Kormak və C. Leheyn tərəfindən tərtib edilmişdir. Gənc həkim anesteziyoloqların ixtisas hazırlıqlarında, çətin intubasiyaların icra vərdiş və texnikalarına yiyələnmələri üçün müxtəlif mümkün senarili modul vasitəsi kimi tətbiq edilməkdədir.

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

Normal (riyaziyyat)

Norman — ad. Norman Bor — İrlandiya botaniki. Norman İtzkovitz — Prinston Universiteti Yaxın Şərq Araşdırmaları Hissəsi müəllim olan bir Osmanlı tarixçisi. Norman Endjell — Böyük İlluziya kitabının müəllifi və ingilis iqtisadçı. Norman Foster — ingilis memar. Norman Ridus — Amerikalı aktyor.

Sorman ya da Surman (ərəb. صرمان‎) Liviyanın şimal-şərqində,Aralıq dənizi sahilində və Tripolitaniya regionunda şəhər. 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.

Sırmak (qaz. Сырмақ) — Qazaxıstanda naxışlı keçəli xalça. Sırmak mozaika adlanan texnikadan istifadə etməklə müxtəlif rəngli keçənin ayrı-ayrı hissələrindən hazırlanır. Naxış səthi ilə eyni fonda kəsilir; bu kompozisiya başqa bir keçənin üzərinə qoyulur və yorğanlanır, sonra naxışın konturu boyunca rəngli kordonla tikilir. Sırmak qazax xalq məskəni olan yurdların əsas bəzək əşyalarından biridir.

Vornak, Vurnak, (1935–ci ildən) Akner (erm. Ակներ) — Ermənistan Respublikasının Loru mərzində kənd. Rusiya imperiyası zamanına aid rəsmi sənədlərdə kəndin adı həm Vornak, həm də Vurnak kimi qeyd edilir; Ermənistan SSR təşkil edildikdən 1935–ci ilədək rəsmən Vornak adlansa da, Ermənistan SSR Ali Soveti Rəyasət Heyətinin 3 yanvar 1935–ci il tarixli fərmanı ilə kəndin adı Akner olaraq dəyişdirildi. 7 noyabr 1995–ci il tarixində Ermənistan Respublikası Milli Məclisinin qəbul etdiyi və 4 dekabr 1995–ci ildə Ermənistan Respublikasının prezidenti Levon Ter-Petrosyanın təsdiq etdiyi "Ermənistan Respublikasının inzibati-ərazi bölgüsü haqqında Qanunu" na əsasən Allahverdi şəhəri ilə birlikdə "Alaverdi bələdiyyəsi"ni (erm. Ալավերդու քաղաքային համայնքի) təşkil edir. 12 – 21 oktyabr 2011–ci il siyahıyaalınmasına əsasən kəndin (de–yuri) daimi əhalisi 512 nəfərdir.

Yorğan bir növ yataq örtüyüdür ki, ənənəvi olaraq üç qat fiberdən ibarətdir: bir toxunmuş parça üstdə, bir qat pambıq ya yun və toxunmuş parça arxada ki, yorğan tikmək texniki istifadə edərək birləşdirilir. Bir birədən ötür yorğanı yandırmazlar. Bir subay oğlan, bir mitil yorğan. Cecimin axır yorğanı. Hələ yoğunu yorğan altındadır. Xan yorğanı mitil olmaz. Yorğanı göydə ayağı uzun. Yorğanına görə qıçını uzad.

Çorman (Kəlbəcər) — Azərbaycan Respublikasının Kəlbəcər rayonunun Əsrik kənd inzibati ərazi dairəsində kənd. Çorman (Laçın) — Azərbaycan Respublikasının Laçın rayonunun Şamkənd kənd inzibati ərazi dairəsində kənd. Köhnə Çorman — Azərbaycan Respublikasının Laçın rayonunun Piçənis kənd inzibati ərazi dairəsində kənd. Çormanlı — Azərbaycan Respublikasının Kəlbəcər rayonunun Vəngli kənd inzibati ərazi dairəsində kənd.

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.

Norma (lat. norma — hərfi tərcümə "bucaqlıq", mənaca "qayda") — fəaliyyət sahəsinin sərhədlərini göstərən tənzimləyici qayda. Norma anlayışı həmişə şərtidir, məqsəddən asılı olaraq norma həddi müxtəlif ola bilər. Norma hərəkət, inam və hissdir. Hər bir fəaliyyətin və qaydanın norması olmalıdır.

Tomak (ing. Tomacco) — pomidorun qələmlik tütünə vurulması yolu ilə əldə edilmiş bitki. 2003-cü ildə amerikan fermeri Rob Braur tərəfindən yetişdirilmişdir. Tomakı hibrid adlandırmaq düzgün deyildir, çünki o calaq yolu ilə əldə edilməmişdir. 1959-cu ildə "Scientific American"' jurnalında belə bitkinin yetişdirilməsi prosesi təsvir edilmişdi və iddia edilirdi ki, tərkibində nikotin olan pomidor tipli bitki əldə etmək mümkündür. Hələ yetişdirilməzdən öncə bitki "Simpsonlar" multserialında ("E-İ-E-İ- (Annoyed Grunt)" seriyası) xatırlanmışdı. Bu seriyadan ilhamlanan Rob Baur jurnaldakı məqalənin köməyilə bu bitkini yetişdirə bilmişdi. Yoxlamalar göstərdi ki, bitkinin yarpaqlarında doğrudan da nikotin var. 2004-cü ildə "tomacco" sözü Amerikan dialekt cəmiyyəti tərəfindən neologizm kimi tanınmışdır.

Yarma – dənli, qarabaşaq və paxlalı bitkilərin emalı nəticəsində kənar qarışıqlardan, orqanizm tərəfindən mənimsənilməyən və ya pis mənimsənilən hissələrdən, çiçək qişasından, meyvə qılafından, aleyron təbəqəsindən və rüşeymdən azad edilmiş bütöv, xırdalanmış, əzilmiş dəndən ibarət yeyinti məhsuludur. Yarma yüksək qidalılıq dəyərinə malik olan, orqanizmdə yaxşı mənimsənilən kalorili məhsuldur. Yarma uşaqların və bir çox xəstələrin qidası üçün əvəzedilməz yeyinti məhsulu hesab edilir. Yarmaların tərkibində asan mənimsənilən karbohidratlar, bitki zülalları, müxtəlif vitaminlər və mineral maddələr (kalium, kalsium, dəmir, fosfor, maqnezium) vardır. Yarmalardan kulinariyada, uşaq və pəhriz qida məhsulları, həmçinin yeyinti konsentratları və müxtəlif konservlərin hazırlanmasında geniş istifadə olunur. Yarmalar növlərə (məsələn, buğda, arpa, qarabaşaq və s.), tiplərə (məsələn, düyü) və bəziləri əmtəə sortlarına (məsələn, düyü, darı) və iriliyindən asılı olaraq nömrələrə (arpa, perlova, poltava yarmaları) ayrılır. Müxtəlif yarma növləri biri digərindən xarici əlamətlərinə (formasına, ölçüsünə, rənginə), toxumalarının quruluşuna, nişasta dənələrinin formasına və ölçüsünə, biokimyəvi xassələrinə, tərkibində olan zülalların, karbohidratların (xüsusilə nişastanın), yağların, mineral maddələrin, vitaminlərin miqdarına görə fərqlənirlər. Əhmədov Ə. I. Ərzaq malları əmtəəşünaslığı. Ali məktəblər üçün dərslik. Yenidən işlənmiş və tamamlanmış ikinci nəşr.

Yomra (türk. Yomra) — Trabzon ilinin ilçəsi. Yaşayış məntəqəsi 19 iyun 1957-ci ildə 7033 saylı qanunla ilçə statusu alıb. 4 aprel 1959-cu ildə Trabzon ilinin tərkibinə daxil edilib.

Yonma — səthlərin, profillərin və kanovların emalı üçün tətbiq olunan mexaniki emal üsuludur. Proses iskənə adlanan alətin köməyi ilə aparılır. Burada alət iskənələmə dəzgahında sərt bərkidilir. Baş və köməkçi hərkətləri isə üzərində pəstah bərkidilmiş stol yerinə yetirir. Frezləmə üsulunun inkişaf etdirilib istehsalatda tətbiqindən sonra iskənələməni sıxışdımağa başlamışdır. Bu prosesin üstün cəhəti onun ucuz başa gəlməsi, kəsmədə tenperaturun aşağı olması və səthin keyfiyyətinin yüksək olmasıdır. Mənfi cəhəti isə emalın uzun çəkməsi və dəzgahın böyük qabariti və boş gedişlərin sayıdır. Yonma əməliyyatı yonma dəzgahlarında aparılır. Bu dəzgahlar Yönəldicilərdən, Dəzgahın gövdəsindən, Mühərrik və sürətlər qutusundan, Stol, Ayaqlarınan ibarətdr.

Forbak (fr. Forbach) — Fransanın Lotaringiya regionun rayonlarından (fr. Arrondissement) biri. Departamenti — Mozel. Suprefektura — Forbak. Rayon əhalisi 2006-cı ildə 171 779 nəfər təşkil edirdi. Əhalinin sıxlığı — 306 nəf / km². Rayon sahəsi — 561 km².

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.