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

Hər hansı ixtisas, peşə və ya sənətdə peşəkar insanın bu sahəyə marağı olan təcrübəsiz insanlarla şəxsi təcrübələrini paylaşması mentorluq adlanır. Mentorluq fəaliyyəti ilə məşğul olan şəxslərə mentor deyilir. Mentorluq fəaliyyətinə aşağıdakılar daxildir: Elm, biznes, karyera və s. üçün perspektiv yollar ilə tanış etmək; Şəxsi narahat edən məsələlər ilə maraqlanmaq və onların məxfiliyini qorumaq; Məsələlərlə bağlı obyektiv rəy, irad və təkliflərini vermək Həm uğursuzluq, həm də müvəffəqiyyətləriylə bağlı təcrübələrini bölüşmək; Qərəzsiz dəstək olmağa çalışmaq; Davamlı motivasiya dəstəyi vermək; Davamlı inkişafı təmin etmək üçün əlaqə və şəbəkə ilə təmin etmək.

Montor (fr. Montord) — Fransada kommuna, Overn regionunda yerləşir. Departament — Alye. Sen-Pursen-syur-Siul kantonuna daxildir. Kommunanın dairəsi — Mulen. INSEE kodu — 03188. 2008-ci ildə əhalinin sayı 250 nəfər təşkil edirdi. İqtisadiyyatın əsasını şərabçılıq təşkil edir. 1992-ci ildən bəri hər il şərab festivalı keçirilir və bu müddət ərzində parad keçirilir. 2007-ci ildə əmək qabiliyyətli 135 nəfər arasında (15-64 yaş) 100 nəfər iqtisadi cəhətdən fəal, 35 nəfər hərəkətsiz (fəaliyyət göstərici 74.1%, 1999-cu ildə 70.5%) idi.

Bentos (yun. βένθος — dərinlik) — su ekosistemlərinin dib biohorizonlarında yerləşən orqanizmlərin cəmi. Bentos avtotrof orqanizmlərdən (yosunlar, qimən ali bitkilər), əsasən az hərəkətli heterotrof orqanizmlərdən (protoza, qurdlar, zəli, malyusk, xərçəngkimilər) ibarətdir.

Gentoo (jentu, gentu – oxunur) – GNU/Linux əməliyyat sistemlərin bir növü. Güclü Portage texnologiya ilə təmin olunub. Ən sürətli Linux distributivlərindən biridir. Adını Pygoscelis papua adlı pinqvinlərdən götürüb. Ginnesin rekordlar kitabına əsasən, bu növ pinqvinıər ən sürətli sayılır (36 km.s). Meta distributivlərə aiddir. Daniel Robinson tərəfindən 1999-cu ildə yaradılıb.

Hektor (yun. Ἕκτωρ) — (e.ə.270-ci il) yunan mifologiyasına görə qüdrətli sərkərdə, Troyanın qoruyucusu, Troya çarı Pryamın oğlu olmuşdur. Hektor adı ilk olaraq yunan mifologiyasının əsas mənbəyi sayılan Homerin "İliada" dastan poemasında xatırlanır. Poemaya əsasən Troya çarının böyük oğlu olub, Kiçik Asiyada qeyri adi qüvvəyə və ən qüdrətli orduya malik olmuş, onillik Troya müharibəsinin əsas qəhrəmanlarından biridir. O. bütün həyatını Troyanı yadelli düşmənlərdən qorumağa sərf etmişdir. Hektor Poemada tək cəsur cəngavər kimi deyil eyni zamanda qayğıkeş oğul, qardaş, ata və sevgidolu həyat yoldaşı kimi də təsvir edilmişdir. O, tanrıların qayğıları ilə əhatə olunmuş bir qəhrəmandır. Poemaya əsasən onun həyatı, qələbələri, məğlubiyyəti və ölümü tanrıların vermiş olduqları qərarlara bağlıdır. Zevsin troyalılara qələbəni hədiyyə etməsindən narahat olan Hera hadisələrin gedişinə mane olmaq qərarına gəlir. Zevsin könlünü aldıqdan sonra onu şirin yuxuya verərək, özü Poseydonun yanına gələrək ondan axeylilərə kömək etməyi tapşırır.

Mórqot Báuqlir (ing. Morgoth Bauglir; /ˈmɔrɡɔθ ˈbau̯ɡlir/, sindarin dilindən «Qaranlıq Düşmən» kimi tərcümə olunur; əvvəlcə Melkor kimi tanınırdı, kvenya dilindən «qüdrətdə yüksələnən») — C. R. R. Tolkinin əsərlərində Arda kainatının əsas antaqonisti olan ainu. Əvvəlcə ainuların ən güclüsü idi, zamanla o, şər və qaranlığın təcəssümü oldu. Başda qardaşı Manve olmaqla vaların qalan hissəsi Melkora həmişə müqavimət göstərib. Ainur Musiqisi yaranmazdan əvvəl, Melkor vala Vardanı həyat yoldaşı etmək istəyirdi, lakin o, onu qəbul etmir, bundan sonra Melkor Vardaya böyük nifrət bəslədi. Gecə Qapıları vasitəsilə Ardadan kənara qovulana qədər Eäda ən çox məhz Vardadan qorxurdu. Valara qarşı müharibədə həmdə bir çox maiar Melkorun tərəfinə keçir, hansılar ki onun əzəmətli vaxtlarında dəbdəbəsi ilə cəlb olunmuşdu və zülmətdə ona sadiq qalmışdılar; başqalarını isə yalan və xain hədiyyələrlə ona xidmət etməyə məcbur etmişdi. Bu ruhlar arasında Valaraukar da var idi, o ruhlar ki Orta Dünyada balroqlar – «dəhşət iblisləri» kimi adlanırdılar. Melkorun dönüklüyü ilə bağlı “Valakventada” deyilir ki «əzəmətdən təkəbbürə düşən, ondan sonra özündən başqa hər kəsə nifrət etməyə başlayan, dağıdıcı və amansız bir ruha çevrildi. O, hikməti hiylə ilə əvəz etdi, istifadə etdiyi hər şeyi təhrif edib öz iradəsinə tabe edərək nəticədə şərəfsiz yalançı oldu.

Menhir (bret. men — daş və hir — uzun) — şaquli ölçüləri üfüqi ölçüləri nəzərəçarpacaq dərəcədə aşan bir adam tərəfindən qoyulmuş kobud bir daş və ya daş bloku şəklində ən sadə formada meqalit. Menhirlər həm tək, həm də qrup şəklində qurulmuşdu: oval və düzbucaqlı "çitlər" (kromlexlər), yarı oval, xətlər, o cümlədən bir çox kilometr və xiyabanlar. Menhirin ölçüsü əhəmiyyətli dərəcədə dəyişir, 4-5 metr və ya daha çox bir hündürlüyə çatır (ən böyükünün hündürlüyü 20 metr və çəkisi 300 ton). Forması ümumiyyətlə qeyri-bərabərdir, tez-tez yuxarıdan yuxarı, bəzən düzbucaqlı şəklindədir. Ən sadə və ən qədim əşyalarda təsvirlər olmur, lakin zaman keçdikcə oyma naxışlar, bass-rölyeflər, habelə daş balta, şum, çoban çubuğu və boyunduruğu deyilən şərti olaraq (onlar müəyyənləşdirilmədiyi üçün) əşyaların təsvirləri görünməyə başlayır. Menhirlərin bəzi parçaları dəfn otaqları tikmək üçün istifadə olunur və köhnələrin üstünə yeni rəsmlər ilə örtülmüşdür. Menşirin yeni quruluşlar tikmək üçün qəsdən dağıldığı və ya doğaçlama materialı kimi istifadə edildiyi bilinmir. Menhirlər — əslində bu günümüzə qədər qalan ilk orijinal süni quruluşdur. XIX-cu əsrə qədər arxeoloqlar onların mənşəyi haqqında kifayət qədər məlumata malik deyildilər.

Menorah (ivr. ‏חנוכייה‏‎) — Qüds məbədində zeytun yağı ilə yandırılan yeddi qollu şamdandır. Yəhudilərin ən qədim simvollarından hesab olunur. Musa peyğəmbərin Sina dağında gördüyü yanan kolun simvoludur. Doqquz qollu şamdan isə hanukiya adlanır. Menorah gündə iki dəfə tanrının dünyaya işıq saçmasını arzulamaq üçün yandırılırdı, hanukiya isə Hanuka bayramında istifadə edilir.

Nanə (lat. Mentha) — dalamazkimilər fəsiləsinə aid bitki cinsi. Dünyada 25-30 qədər növü olan, sağlamlıq baxımından son dərəcə faydalı, xoş qoxulu bir bitkidir. Daha çox nəmli yerləri sevir. İştah açır. Sinirləri sakitləşdirir və bədənə rahatlıq verir. Stressə və baş ağrısına yaxşı gəlir. Spazm və ürək döyüntüsü riskini azaldır. Qızdırmanı salır. Həzm sistemi və mədə üçün çox faydalıdır.

Mentona (fr. Menton) — Provans-Alp-Kot-d'Azür regionunun, Fransanın cənub-şərqində yerləşən kommun, Dənizkənarı Alplar departamenti.

Axan ulduz və ya Meteor — Günəş sisteminin kiçik cisimlərindən biridir. Onlar kometlərin parçalanması nəticəsində yaranan, həmçinin Günəşə yaxınlaşarkən itələmə qüvvəsinin təsiri ilə kometləri tərk edən hissəciklərdir. Yanan daş normalda daş alovu söndürür amma meteor nə qədər isdi ki daş belə yanır. Planetlərin toz mühiti içərisində ən dinamik maddə növü meteor maddəsidir. Bunların ən kiçikləri (ᐸ0,5 mkm) işığın təzyiqi ilə Günəş sistemini tərk edirlər. Nisbətən böyük meteor maddəsi Robertson-Poyntinq effekti nəticəsində Günəş sistemində qalır. Bunların hər birinin kütləsi qramın onda biri qədər, hətta daha kiçik olur. Nadir halda bəzi meteor cisminin kütləsi qramlarla olur. Bu cisimlərin konsentrasiyası çox kiçikdir: yerətrafı fəzada 1 km3 həcmdə iki mikrometeor vardır. Yerə nisbətən sürətləri 10–15 km/san olan mikrometeorlar əksəriyyət təşkil edirlər.

Monitor (gəmi tipi) — zirehli suüstü döyüş gəmilərinin ilk tiplərindən biri Christian Science Monitor — 1908-ci ildə qurulan və eyniadlı dövri nəşrlər yayımlayan beynəlxalq xəbər təşkilatı. Monitor — rus dilində dərc olunan həftəlik ictimai-siyasi jurnal. Rəngli monitor — videoadapterin köməyilə rəngli mətn və qrafik görüntülərin verildiyi kompüter displeyi.

Nestor (?-?)— Konstantinopol şəhərinin arxiyepiskopu. 431-ci ildəki Birinci Efes Məclisində İsanın insan və tanrı təbiətlərini ayrı tutmuş, İsaya 30 yaşındaykən Kəlamın endiyi, Məryəmin daha önce sadəcə saf və günahsız bir insan olan İsanın anası olduğu, dolayısıyla da Məryəmin tanrı anası olaraq qəbul edilmesi gərək olduğunu qəbul etməmişdir. Daha sonra aparılan İkinci Efes Məclisində Nestorun aforoz edilmesi də, günümüzə qədər gəlib çatan Nəsturi (Asuri), Kəldani kimi diofizit kilisələrin qurulmasına yol açmışdır.

Europa-Center — Berlinin Çarlottenburq-Vilmersdorf bölgəsində yerləşən ticarət mərkəzidir. 1963-1965-ci illərdə tikilmiş, bu gün tarixən qorunan bir binadır. Kompleksdən əlavə üzərində Mersedes emblemi olan bir göydələn yerləşir. Kurfürstendam və Kaiser Vilhelm yaxınlığındakı bu bina mühafizə altına alınmışdır. Qərbi Berlinin simvolu kimi görünən bu kompleks ticarət dükanları və kafeləri ilə çox sayda turisti özünə cəlb edir. İçində yerləşən su saatı və su hovuzu bir çox insanın diqqət mərkəzindədir. == Kompleksdən əvvəl == Bu gün Europa-Center-in yerləşdiyi ərazidə əvvəllər 1916-cı ildən bəri yazıçıların, rəssamların və teatr aktyorlarının görüşdüyü "Romanische" adlı kafe var idi. İkinci Dünya Müharibəsi illərində bir bombardman zamanı 21 noyabr 1943-cü ildə bina dağıntıya çevrildi. O zamandan sonra ərazidə çox vacib binalar tikilmədi. == Bina haqqında məlumat == 1961-ci ildə Berlin divarı tikilməsindən və şəhərin parçalanmasından sonra Qərbi Berlinin görünüşü dəyişməyə başladı.

Genter döyüşü — Qanter döyüşü kimi də tanınan, 13-cü əsrin əvvəlində iki bir-birinə rəqib olan Yava hökmdarı arasında baş vermiş qanlı hərbi münaqişə. Döyüş nəticəsində bir hökmdar, Ken Arok qələbə qazanmış və rəqibinin ordusunu ölkədən qovmuşdur. Döyüşün nəticəsi olaraq, Arok Şərqi Yavada nəzarəti tam ələ almış və Racasa sülaləsinin əsasını qoymuşdur. == Tarixi == 8-ci əsrdən 12-ci əsrə qədər Yava adası müxtəlif ailələrə mənsub krallar və ziyalılar tərəfindən idarə olunurdu. Adanın şərq hissəsində əkinçilik mərkəzi olan feodal dövlətlər (Saylendra, Kediri, Tumapel və Macapahit krallıqları) bir-birilə şumluq torpaqlar və düyü yetişdirmək uğrunda mübarizə aparırdılar. 13-cü əsrin əvvəllərində regionda yeni siyasi qüvvənin yaradılması planı var idi. Namizəd kimi irəli sürülən şəxs isə Ken Arok idi. Kəndli başçıları onun siyasi gücünü artırmaq üçün əllərindən gələni əsirgəmirdilər; Arok şəxsi ambisiyalarına görə digərlərindən fərqlənirdi. Ona görə də, onun bu xüsusiyyətləri Yava folklorunda da öz əksini tapmışdır. Arok ərazisini Tumapel Krallığı ilə birləşdirmək qərarına gəldi.

Georq Kantor — alman riyaziyyatçısı, müasir riyaziyyatın yaradıcılarından biri, çoxluqlar nəzəriyyəsinin banisi, həqiqi ədədlər nəzəriyyəsinin əsaslandırılmasını vermişdir. == Həyatı == Georq Kantor birja makleri Georq Voldemar Kantor və Mariya Kantorun ailəsində dünyaya gəlmişdir. Onun atası Kopenhagendə anadan olmuş, gənc vaxtlarında Sankt-Peterburqa köçərək orada lütherlik missiyasiyasına qoşulmuşlar. Oğlununn sonrakı deyimlərinə görə onun atası separd ailəsinə mənsub olmuşdur. Anası Sankt-Peterburqda avstriya mənşəli musiqiçi ailəsində anadan olmuşdur. Kantor ailəsində uşaqlar sərt dini mühitdə tərbiyə almışlar. Ona görə də Georq Kantor ömrünün çox hissəsini dərin dini təsəvvürə malik bir insan olaraq qalmışdır. O 11 yaşında olarkən ailəsi atasının səhhətinin pisləşməsi ucbatından Visbadendə yerləşən kurort şəhərinə köçür. Bir az sonra onlar Frankfurt na Mayn şəhərinə köçürlər. Məktəbi bitirdikdən sonra 1860-cı ildə o Sürixdəki politexnik məktəbinə daxil olur.

Hektor Bellerin "Arsenal" klubunun və İspaniya milli futbol komandasının Müdafiəçisi .

Hektor Berlioz (fr. Louis-Hector Berlioz, Lui-Ektor Berlioz) (11 dekabr, 1803 – 8 mart, 1869) — fransız romantik bəstəkarı. "Fantastik simfoniya" və "Grand messe des morts" (Rekviyem) ona məşhurluq gətirən bəstələrindəndir. Müəllifi olduğu "Treatise on Instrumentation"la Berlioz müasir orkestrin formalaşmasına əhəmiyyətli təsir etmişdir. Bəzi əsərlərini bəstəkar nəhəng orkestr heyəti üçün nəzərdə tutmuş, bundan başqa dirijor olaraq 1000-dən çox musiqiçi heyəti olan konsertləri aparmışdır. 50-yə yaxın mahnının müəllifidir. == Həyatı == Fransanın cənub-şərqində yerləşən Kot-Sent-Andre (İzer) şəhərciyində həkim ailəsində anadan olmuşdur. 1821-ci ildə tibb təhsilini almaqda olan Berlioz valideynlərinin etirazına baxmayaraq tibbi dayandırıb özünü musiqiyə həsr etmişdir. 1825-ci ildə Paris şəhərində onun ilk iri tutumlu əsəri olan "Təntənəli messa" ilk dəfə publika qarşısında tamamilə müvəffəqiyyətsiz ifa edilmişdir. 1826-1830-cu illərdə Berlioz Paris konservatoriyasında Jan Fransua Lesuer və A.Reyxidən dərslər almışdır.

One Houston Center (azərb. Hyuston-mərkəz‎) - ABŞ-nin Hyuston şəhərində yerləşən göydələn kompleksdir. Bu kompleks Hyuston mərkəzində yerləşir, və özünə üç qala daxil edir. Onlar bir yerdə, demək olar ki, 320 000 kvadrat metr tuturlar.

Rektor (lat. rector — idarə edən, rəhbər) — ali məktəbin rəhbəri. Dirçəliş dövründə çoxsinifli məkəblərin baş müəllimləri və müdirləri rektor adlanırdı. Fransada tədris dairəsinin ("Akademiya") rəhbəri də rektor adlanır.

Dairə sektoru — dairənin qövsü ilə bu qövsün uc nöqtələrini dairənin mərkəzilə birləşdirən radiuslarla əhatə olunan hissəsinə deyilir. Sektorun sahəsi S = пr²a/360⁰-ə bərabərdir. Burada a — qövsün dərəcə ölçüsü , r — radiusdur.

Sensor — fiziki kəmiyyəti ölçən və onu hər hansı bir müşahidəçi və ya alət tərəfindən oxuna bilən siqnallara çevirən alət. Sensor ona toxunan zaman siqnalı qəbul edir və ona cavab verir. Sensor alətlə və ya müşahidə ilə fiziki miqdarda ölmələri və siqnalda çevirmələri oxuya bilən çeviricidir. Məsələn, civə şüşəli termometr kolibrovka olunmuş şüşə boruda mayenin genişlənməsi və sıxılmasında ölçülmüş temperaturu çevirir. Termocüt temperaturu voltmeter ilə oxuna bilən çıxış gərginliyinə çevirir. Dəqiqlik üçün çox sensorlar tanınan standartların əksinə karibrovka olunur. Sensorlar əsas toxunma ilə tutqun və ya aydınlaşmış lampaların və qaldırıcı düymələrin toxunma həssaslığı kimi gündəlik obyektlərdə istifadə olunur. Əksər insanların heç vaxt xəbərdar olmadığı sensorlar üçün həmçinin sonsuz sayda tətbiqlər var. Tətbiqlərə maşınlar, mexanizmlər, kosmos , tibb istehsalat və robot texnikası daxildir. Sensor adətən elektrik və ya optika siqnalının formasında funksional olaraq əlaqələndirilmiş çıxışı əmələ gətirməklə giriş miqdarına cavab verən qurğudur.

Pentod (q. yun. πέντε) — ekranlama toru olan vakuum elektron lampasıdır, içərisində dinatron effektini boğaraq, ekranlama toru ilə anod arasında üçüncü (qoruyucu və ya anti-dinatron) şəbəkə yerləşdirilir. Əksər pentodlarda üçüncü tor və katod şüşə içərisində birləşdirilir, buna görə də onların yalnız dörd siqnçıxışınainə malikdir. Tarixi ədəbiyyatda məhz bu dörd çıxışlı lampalar ciddi mənada pentodlar, üçüncü toru ayrıca çıxışı olan pentodlar isə "üç torlu lampalar" adlanırdı.

Fotoelektrik sensor əsasən infraqırmızı işıq şüasından istifadə edərək məsafəni, obyektin mövcud olub-olmamağını hiss edən qurğudur. Onlardan sənayenin müxtəlif sahələrində geniş istifadə olunur. Üç əsas növü var: qarşılıqlı, geriyə əks olunan və maneədən əks olunan. == Növləri == Qarşılıqlı fotoelektrik sensorlar iki hissədən ibarət olur: emitter, yəni şüanı göndərən qurğu və qəbuledici. Emitterdən göndərilən şüa qəbulediciyə çatdıqda sensorda heç bir dəyişiklik baş vermir. Lakin emitter və qəbuledici arasında maneə olduqda şüa çatmadıqda sensor bununla çıxış siqnalı verir. Geriyə əks olunan fotoelektrik sensorlarda emitter və qəbuledici hissə bir qurğuda yerləşir və həmin qurğunun qarşısında əksetdirici lövhə olur. Emitterdən göndərilən şüa həmin lövhədən əks olunaraq qəbulediciyə çatır. Şüa hər hansı maneə ilə rastlaşdıqda və əksolunmadıqda sensor çıxış siqnalı verir. Maneədən əks olunan fotoelektrik sensorlarında da emitter və qəbuledici bir qurğuda yerləşir.

Korlanmış sektor (Bad sector) – zədələndiyinə və ya hər hansı səbəbdən korlandığına görə diskin (informasiya daşıyıcısının) verilənləri saxlamaq üçün yararsız olan sektordur. Əməliyyat sisteminin vəzifələrindən biri diskdə olan korlanmış sektorların tapılması, nişanlanması və istifadədən çıxarılmasıdır. Diskin formatlanması utilitidə korlanmış sektorları axtarıb-tapa və nişanlaya bilər. == Ədəbiyyat == İsmayıl Calallı (Sadıqov), "İnformatika terminlərinin izahlı lüğəti", 2017, "Bakı" nəşriyyatı, 996 s.

Dəstor — Azərbaycan Respublikasının Astara rayonunun Asxanakəran kənd inzibati ərazi dairəsində kənd. Dəstor Astara rayonunun Asxanakəran inzibati ərazi vahidində kənd. Dağətəyi ərazidədir. Tədqiqatçıların ehtimalına görə, oykonim kəndin ilk sakinlərinin Zərdüşt dininə mənsubiyyəti ilə əlaqədardır və fars dilindəki dəstor (calma, əmmamə) sözündəndir. Əslində, toponim Dəstor coğrafi adının yerli tələffüz formasıdır. == Etimologiyası == Coğrafi ad talış dilində Dasthore sözündən olub "əl daşı dəyirmanı" mənasındadır.

Mənsur (ing. Mansur) — Azərbaycan kişi adı. Mənsur ağa Vəkilov — kapitan Mənsur Vəkilov — şair, tərcüməçi, ssenarist, jurnalist. Mənsur Mənsurov — Azərbaycan tarzəni, pedaqoq, musiqi xadimi, II Mənsur (Dərbənd əmiri) — Dərbənd əmiri. Mənsur Məmmədov — Göyçay Rayon Icra Hakimiyyətinin Başçısı Mənsur xan Mənsur xan (Moğolustan xanı) Mənsur xan (qullar ağası) Mənsur Ələkbərov — şair Əbu Mənsur Əli ibn Yəzid — Şirvanşahlar dövlətinin on ikinci hökmdarı, Şirvanşah Yəzid ibn Əhmədin oğlu. Rəcəbəli Mənsur — İranın baş naziri.

Məntiq düzgün düşünmə elmidir. Ona həm formal məntiq həm qeyri formal məntiq daxildir. Formal məntiq deduktiv baxış nöqtəsinə əsaslanmış nəticələrə arxalanaraq məntiqi nəticəyə qəlir. Formal məntiqdə mövzusundan və məzmunundan asılı olmayaraq, fikirdən arqumentlərin necə yaranıdığına nəzərdən baxılır. Qeyri-formal məntiq düşüncədəki səhvləri, tənqidi düşüncə və mübahisə nəzəriyyəsini araşdırır. Qeyri-formal məntiq gündəlik danışdıqımız dili yəni təbii dildə ifadə olunan arqumentlərə baxır və onları araşdırır. Məntiq elminin inkişafında Aristotel və Qottlob Fregenin rolu böyükdür. Məntiq əsas olaraq iki hissəyə bölünür. Ənənəvi məntiq üzərində qurulmuş Formal məntiq və formal məntiq üzərində qurulmuş Riyazi məntiq. Məntiq bütün elmlərin instrumenti kimi götürülür.

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.

Kombinasiyalı məntiq — Kombinasiyalı məntiqi dövrələrin dizaynı problemlərin ifadəsi ilə başlayıb, məntiqi dövrənin layihələndirilməsi ilə başa çatır. Kombinasiyalı məntiqi dövrələrin dizaynına aid məntiqi addımlar aşağıdakı kimi xülasə edilə bilər: Problem müəyyənləşdirilir. Giriş dəyişkənlərinin və tələb olunan çıxış dəyişkənlərinin sayı müəyyən edilir. Giriş və çıxış kimi istifadə olunan dəyişkənlər adlandırılır. Giriş və çıxış dəyişkənləri arasındakı əlaqəni müəyyən edən bir həqiqət cədvəli qurulur. Hər bir çıxış üçün müvafiq Boolean funksiyasını yazılır. Əldə edilən Boole funksiyaları sadələşdirilir. Məntiqi dövrə tərtib edilir. Dizayn və layihələndimə prosesinin məntiqi addımları içərisində ən çox diqqət edilməsi lazım olan addım sözlərlə çərçivəsini çəkdiyimiz əməliyyatların həqiqilik cədvəli halına gətirilməsidir. Çünki bu mərhələdə ediləcək bir səhv, daha sonrakı bütün addımlarda səhv əməliyyat edilməsi nəticəsini yaradır.

Kombinatorial məntiq — formal məntiqi sistemlərin və ya kalkulyasiyanın əsasları (yəni izah edilməli və təhlil edilməməsi lazım olmayan) ilə əlaqəli riyazi məntiqin bir istiqaməti. Diskret riyaziyyatda kombinatorial məntiq hesablama proseslərini izah etdiyi üçün lambda hesablanması ilə sıx əlaqəlidir. Yarandığı gündən bu yana kombinatorial məntiq və lambda hesablamaları qeyri-klassik məntiq kimi təsnif edilmişdir. Məsələ burasındadır ki, kombinatorial məntiq 1920-ci illərdə və lambda hesablamaları — 1940-cı illərdə kifayət qədər müəyyən edilmiş bir məqsədi olan metamatikanın bir qolu kimi — riyaziyyata əsas vermək üçün yaranmışdı. Bu o deməkdir ki, həqiqi xarici mühitdə baş verən prosesləri və hadisələri əks etdirən, tələb olunan "tətbiq olunan" riyazi nəzəriyyə — mövzu nəzəriyyəsi quraraq, "saf" metatoriyasını mövzu nəzəriyyəsindən imkanlarını və xüsusiyyətlərini müəyyənləşdirmək üçün bir qabıq kimi istifadə etmək olar. Tezliklə məlum oldu ki, bu sistemlərin hər ikisini proqramlaşdırma dilləri kimi qəbul etmək olar (bax kombinatorial proqramlaşdırma). İndiyə qədər bu dillərin hər ikisi yalnız kompüter elmləri sahəsində bütün tədqiqat kütləsi üçün əsas olmur, həm də proqramlaşdırma nəzəriyyəsində geniş istifadə olunur. Kompüterlərin hesablama gücünün artması nəzəri (məntiqi və riyazi) biliklərin əhəmiyyətli bir hissəsinin avtomatlaşdırılmasına və lambda hesablamaları ilə birlikdə kombinatorial məntiq obyektlər baxımından düşüncə üçün əsas kimi qəbul edilir. == Əsas anlayış == Kombinatorial məntiqdə tək yerlik bir funksiya və bir funksiyanın bir arqumentə (tətbiqə) tətbiq olunması əsas anlayışlardır. Funksiya ümumiyyətlə başa düşülür və arqumentlər və dəyərlər kimi bərabər səviyyədə olan obyektlərləişləyə bilər.