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

Məntiqi analizator (en. logic analyzer) – aşağı səviyyəli proqramlaşdırma dilində yazılmış proqramın çox çətin sazlanmasını asanlaşdıran qurğu. Məntiqi analizatorun səciyyəvi xüsusiyyətləri: çalışma zamanı şinin siqnallarına nəzarət, yaddaşın verilmiş sahəsinə oxuma və yazma zamanı çalışmanın dayandırılması, çalışmanın istənilən dayanması zamanı bir neçə komandanın geriyə izlənməsi (TRACE BACK). İsmayıl Calallı (Sadıqov), “İnformatika terminlərinin izahlı lüğəti”, 2017, “Bakı” nəşriyyatı, 996 s.

Məntiqi fayl (en. logical file) – konseptual baxımdan: yaddaşda və ya saxlama qurğusunda fiziki gerçəkləşdirilməsindən asılı olmayan fayl. Məsələn, məntiqi fayl, yazıların kəsilməz sırasından ibarət ola bilər, baxmayaraq ki, fiziki olaraq o, disk boyunca və ya hətta bir neçə diskə paylanmış ayrı-ayrı kiçik fraqmentlərdə saxlanıla bilər. Eləcə də, məntiqi fayl verilənlər bazasından götürülmüş sütunların (sahələrin) və sətirlərin (yazıların) müəyyən altçoxluğundan ibarət ola bilər. Bu halda məntiqi fayl (baxılan verilənlər), yalnız müəyyən tətbiqi proqrama və ya istifadəçiyə gərəkli olan informasiyadır. İsmayıl Calallı (Sadıqov), “İnformatika terminlərinin izahlı lüğəti”, 2017, “Bakı” nəşriyyatı, 996 s.

Məntiqi kateqoriyalar — məntiqi kateqoriyalar, adlandırılması mümkün olan müxtəlif varlıqlar haqqında əsaslı olaraq təsdiq edilə bilən ən ümumi anlayışdır. Bu səbəblə bunları ancaq nümunələr və onların xüsusiyyətlərindən hər hansı biri ilə təsvir etmək mümkündür.

Məntiqi-Riyazi Model ilə Nəzəriyyənin Münasibəti Haqqında Məlum olduğu kimi, klassik riyaziyyat gerçək aləmin fəza formaları və kəmiyyət münasibətləri haqqında elmdir. Riyazi modellər isə obyektlər arasındakı müəyyən əlaqə və asılılıqları formal cəhətdən təsvir edir. Bu isə bir riyazi nəzəriyyəyə bəzən başqa bir nəzəriyyənin modeli kimi baxmağa əsas verir. Model özlüyündə yeni nəzəriyyə ilə köhnə nəzəriyyə arasında əlaqə forması olmaqla, bir nəzəriyyədən başqa nəzəriyyəyə keçid vasitəsi kimi çıxış edə bilir. Riyazi nəzəriyyələrin özü də riyazi model kimi başa düşülə bilər. Hər hansı bir riyazi nəzəriyyədən o zaman istifadə oluna bilər ki, bu nəzəriyyə müəyyən obyektlər sisteminin öyrənilməsində həmin sistemin riyazi modeli olsun. Əgər riyazi nəzəriyyə verilmiş sistem üçün riyazi model ola bilməzsə, onda o, həmin sistemi öyrənməkdə istifadə oluna bilməz. Məsələn, müasir riyazi nəzəriyyələr bir çox biyoloji hadisələrin modelləşdirilməsi üçün yararsızdır. Ona görə də biyoloji hadisələrin modelləşdirilməsi üçün yeni riyazi nəzəriyyələr yaradılmalıdır. İxtiyari prosesin riyazi modelləşdirmə metodu ilə öyrənilməsi üçün onun riyazi təsvirini vermək vacib və ilkin şərtdir.

Fəlsəfədə formal səfsətə, deduktiv səhv, məntiqi səfsətə və ya non sequitur ( Latınca "təqib etmir" mənasını verir ) məntiqi quruluşundakı bir qüsur ilə etibarsız göstərilən bir standartda səliqəli şəkildə ifadə edilə bilən düşüncə nümunəsidir. məntiq sistemi, məsələn təklifi məntiqi . Belə arqument etibarsız olan deduktiv arqument kimi təyin olunur. Mübahisənin özü həqiqi əsaslara sahib ola bilər, lakin yenə də yalan bir nəticəyə malikdir . Beləliklə, formal səfsətə deduksiyanın yanlış olduğu üçün məntiqi bir proses deyil. Bu, nəticənin həqiqətinə təsir göstərə bilməz, çünki rəsmi məntiqdə etibarlılıq və həqiqət ayrıdır.

Məntiqdə məntiqi əməliyyatlara hərəkət deyilir, bunun nəticəsində mövcud olanlardan istifadə edərək yeni anlayışlar yaranır. Dar mənada məntiqi əməliyyat anlayışı riyazi məntiq və proqramlaşdırmada istifadə olunur. Anlayışlarla məntiqi əməliyyatlar — nəticəsi anlayışların tərkibində və ya həcmində dəyişiklik, habelə yeni konsepsiyaların formalaşması ilə nəticələnən belə zehni hərəkətlər. İlk növbədə konsepsiyaların dəyişməsi ilə əlaqəli olan əməliyyatlar daxildir: inkar; məhdudiyyət; ümumiləşdirmə; İlk növbədə anlayışların əhatə dairəsinə aid olan əməliyyatlar daxildir: məntiqi üstəgəlmə; məntiqi vurma; məntiqi çıxma. Bu əməliyyatlar dəst nəzəriyyəsini istifadə edərək riyazi olaraq yazıla bilər. Riyazi məntiqə keçid mülahizələr anlayışı və mürəkkəb mülahizələr əldə etmək üçün onların üzərində əməliyyatlar qurulması ilə əlaqələndirilir. Məntiqi bir əməliyyat (məntiqi bir operator, məntiqi bir bağlayıcı, təklif bağlayıcı) daha sadə olanları birləşdirərək yeni ifadələr tərtib etməyə imkan verən ifadələr üzərində işdir. Əsas olanlar ümumiyyətlə birləşmə ( ∧ {\displaystyle \land } və ya &), dizyunksiya ( ∨ {\displaystyle \lor } ), implikasiya ( → {\displaystyle \to } ), inkar ( ¬ {\displaystyle \neg } ). Klassik məntiq mənasında, məntiq cəbri ilə məntiqi bağlayıcıları müəyyən etmək olar. Asinxron ardıcıl məntiq bir əmri əməliyyatı şəklində bir məntiqi-dinamik bir bağlayıcı təyin edir ( ∠ {\displaystyle \angle } ).

Bul cəbri — ədədi dövrələrin analiz və dizaynını təmin edən riyazi nəzəriyyədir. Rəqəmli kompüter dövrələrinin tətbiqində, ikili dəyişənlər üzərində təyin olunan ədədi əməliyyatları göstərir.Bul cəbri ikili say sisteminə əsaslanır. == Tarix == Diskret riyaziyyatın ən əhəmiyyətli bölmələrindən biri riyаzi məntiqdir. Bu еlmin əsаsını ХVII əsrdə аlmаn riyаziyyаtçısı və filоsоfu Q.Lеybnis qоymuşdur. О, bu gələcək еlmi əqli nəticələr hеsаbi və yа riyаzi məntiq аdlаndırmışdır. İrlаnd riyаziyyаtçısı və məntiqçisi Corc Bul ХIХ əsrdə bu еlmi məntiqin riyаzi аnаlizi аdlаndırmışdır. Bulun işlərinin dаvаmçılаrı və sistеmləşdiriciləri оlаn riyаziyyаtçısı Е.Şrеdеr və rus riyаziyyаtçısı P.S.Pоrеtski "riyаzi məntiqin" əsаs bаşlаnğıclаrı hаqqındа tədqiqаt аpаrmışlаr. ХIХ əsrin 70-ci illərində оlduqcа tеz-tеz "məntiq cəbri" tеrmini, bəzən də bu tеrminə C.Bulun sоyаdının əlаvə еdilməsi nəticəində аlınаn tеrmin rаst gəlinirdi "Bul məntiq cəbri" (Pirs, 1870), "Bulun məntiq cəbri" (Liаrd, 1877), "Məntiq cəbri" (Mаkfеrlеyn, 1880). 1880-cı ildə ingilis məntiqçisi "Simvоlik məntiq", 1891-ci ildə isə itаlyаn riyаziyyаtçısı Pеаnо "Riyаziyyаtın məntiqi" tеrminlərini istifаdə еtmişlər. == Tətbiqi == Məntiq cəbri funksiyаlаrı riyаziyyаtın bаşqа sаhələri ilə yаnаşı həm dəqiq və həm də humаnitаr еlm sаhələrində, tехnikаnın müхtəlif sаhələrində tətbiq оlunur.

"Kapitalizmin emosional məntiqi: mütərəqqi tərəf nəyi qaçırdı" (ing. The Emotional Logic of Capitalism: What Progressives Have Missed) — Sidney Universitetində siyasi iqtisad tədqiqatçısı Marteyn Koninqsin kitabı. Stanford University Press tərəfindən 2015-ci ildə nəşr edilmişdir. Kitab pul və kapitalizm haqqında akademik tənqidi (solda) düşüncələrin ölü nöqtələrini aradan qaldırmaq, iqtisadiyyata dair müəyyən fikirləri yenidən nəzərdən keçirmək üçün bir cəhddir. Müəllif, Karl Polaninin "Böyük transformasiya " əsərinə qayıdan "yıxma anlatısını" və ikili hərəkət konsepsiyasını tənqid edir, kapitalizmin sol tənqidinə ayrılmazdır. Bu konsepsiyalara görə bazar iqtisadiyyatı cəmiyyətlə əlaqəli olaraq xarici bir xarakter qazanır, sərbəst bazarın muxtariyyəti hökumətin iqtisadiyyata müdaxiləsi şəklində müxalifətə səbəb olur. Koninqsə görə, kapitalizm "insan topluluğunun fərqli xüsusiyyətləri" - əxlaq, inam, güc və duyğunu iqtisadi məntiqə daxil edən özünəməxsus bir emosional və ya təsirli məntiqə malikdir. Amerikanın mütərəqqi düşüncəsinin intellektual tarixini və XX əsrdə ABŞ-nin iqtisadi siyasət tarixini araşdırdıqdan sonra Koninqs kapitalizmi tənqid edənlərin iqtisadiyyatın emosional məzmununu, terapevtik, travmatik, qurtuluş və teoloji aspektlərini nəzərə almadıqlarına və bu səbəbdən neoliberalizmin yüksəlişini izah edə bilmədi. Məşhur konstruktivist yanaşmaların əksinə olaraq, müəllif, Çarlz Sanders Pirsin praqmatik semiotikası baxımından pulu müasir şəbəkə kapitalizmində performans gücünə sahib ikonik bir işarə olaraq təyin etdi. Koninqs, konsepsiyasını qurmaq üçün müxtəlif fəlsəfi, sosioloji, psixoloji və siyasi-iqtisadi mənbələrdən, o cümlədən Maks Veberin kapitalizm təhlilini, Cudit Batlerin "icraedici agentlik" modelini və Bruno Laturun aktyor şəbəkəsi nəzəriyyəsini istifadə etdi.

Məntiqi tranzistor-tranzistor (MTT)(ing. Transistor–transistor logic (TTL))— rezistorlar və bipolyar birləşmiş tranzistorlardan hazırlanmış rəqəmli sxemlər sinfidir. Bu məntiqi transistor-tranzistor adlanır, çünki hər iki məntiqi element funksiyası və gücləndirmə funksiyası tranzistorlar tərəfindən yerinə yetirilir. MTT geniş yayılmış inteqral sxem ailəsindən olduğu üçün məşhurdur və kompüterlər, sənaye, avadanlıq və cihazlar, məişət elektrik cihazları, sintezatorlar kimi bir çox sahələrdə istifadə olunur. MTT bəzən MTT-uyğun məntiq səviyyəsi' mənasında da işlədilir. 1963-cü ildən inteqral sxemlərin təqdimatından sonra MTT tranzistorları bir neçə yarımkeçirici şirkət, xüsusilə məşhur olan Texas İnstruments tərəfindən istehsal olunmağa başladı. MTT kompüter və digər rəqəmli elektronikanın əsasında durur.

Proqramlaşdırılabilən məntiqi kontroller (ing. programmable logic controller, PLC) - maşın və qurğulıarın idarə olunmasında tətbiq olunan düyümdür. Proseslərin idarə olunmasında istifadə olunan proqramlaşdırıla bilən avadanlıqdır. Bu düyümlər tətbiq sahəsindən asılı olaraq proqramlaşdırılıb tətbiq oluna bilirlər. Adətən elektronik şəkildə hazırlanmış bu düyümlər öz iş prinsipinə görə kompyuterlə oxşardır. Senzorlar və aktorlarla əlaqədə olan YPİ-sistemi proqram əsasında prosesin idarə olunması üçün siqnallar verir. Bu informasiya əsasında tənzimləyicilər maşınların bu və ya digər qurğuya qoşulmasını elə idarə edir ki, o tələb olunan funksiyanı yerinə yetirsin. İstənilən alqoritmi proqram şəklində PLC- yə yazmaq mümkündür. PLC-lər ən çox sənayedə texnoloji proseslərin idarə olunmasında istifadə olunurlar. Sahə cihazlarından gələn siqnallar giriş modulları vasitəsilə rəqəmsal şəkilə gətirildikdən sonra PLC- yə ötürülür.

İnduksiya (ing. induction) – xüsusidən ümumiyə, ayrı-ayrı müşahidələrdən ümumiləşdirməyə doğru məntiqi nəticə. İnduksiyada toplanmış təcrübə, yaxud eksperimentlərin nəticələrinə görə formalaşdırılmış mülahizələr çoxluğunun əsasında ümumi nəticə çıxarılır; bu zaman nəticənin özünün mütləq bilavasitə mülahizələrdəki informasiyalardan çıxacağı vacib deyil. Faktlardan ibarət olan verilənlər bazasının emalı zamanı ümumi qaydaların, meyllərin və korrelyasiyaların aşkarlanması məqsədilə induksiyadan istifadə olunur. İsmayıl Calallı (Sadıqov), “İnformatika terminlərinin izahlı lüğəti”, 2017, “Bakı” nəşriyyatı, 996 s.

İnduksiya (ing. induction) – xüsusidən ümumiyə, ayrı-ayrı müşahidələrdən ümumiləşdirməyə doğru məntiqi nəticə. İnduksiyada toplanmış təcrübə, yaxud eksperimentlərin nəticələrinə görə formalaşdırılmış mülahizələr çoxluğunun əsasında ümumi nəticə çıxarılır; bu zaman nəticənin özünün mütləq bilavasitə mülahizələrdəki informasiyalardan çıxacağı vacib deyil. Faktlardan ibarət olan verilənlər bazasının emalı zamanı ümumi qaydaların, meyllərin və korrelyasiyaların aşkarlanması məqsədilə induksiyadan istifadə olunur. İsmayıl Calallı (Sadıqov), “İnformatika terminlərinin izahlı lüğəti”, 2017, “Bakı” nəşriyyatı, 996 s.

== Məzmun == Rejissorun bu filmini modern rejissor işi adlandırmaq olar. Film Ruhi Xəstəliklər Xəstəxanasında çəkilmişdir. Müəlliflər burada müalicə olunan ruhi xəstələri dəli kimi deyil, əsl ağıllı insanlar kimi göstərməyə çalışmışlar. == Festivallar və mükafatlar == 1) 1992-ci ildə Aşqabadda I Beynəlxalq "Gümüş Aypara" kinofestivalı Filmə Baş Mükafat və Diplom verilmişdir. 2) 1993-cü ildə Bakıda Azərbaycan filmlərinin II festival-müsabiqəsi Ən yaxşı sənədli filmə görə rejissor Yavər Rzayevə Priz və Diplom verilmişdir. Ən yaxşı operator işinə görə Rafiq Quliyevə və İsrafil Ağazadəyə Priz və Diplom verilmişdir. == Filmin heyəti == === Film üzərində işləyənlər === Rejissor: Yavər Rzayev Ssenari müəllifi: Yavər Rzayev Operator: Rafiq Quliyev, İsrafil Ağazadə (İsrafil Ağayev kimi) Bəstəkar: Eldar Mansurov Səs operatoru: Marat İsgəndərov, Teymur Abdullayev Məsləhətçi: Ağabəy Sultanov Prodüser: Cavanşir Kamandar, Anatollu Qasımov == Mənbə == Azərbaycan Respublikası Mədəniyyət Nazirliyi. C.Cabbarlı adına "Azərbaycanfilm" kinostudiyası. Aydın Kazımzadə. Bizim "Azərbaycanfilm".

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.

Heyvan üslubu — Avrasiyanın Aşağı Dunaydan, Şimali Qara dəniz bölgəsindən və Xəzərönü çöllərindən Cənubi Ural, Sibir və Çinin şimal-qərb hissəsinə qədər geniş ərazilərində e.ə VII–IV əsrlərdə inkişaf etmiş tarixi bədii üslubdur. Fərqli ifadədə: "Qədim incəsənətdə geniş yayılmış üslubun şərti adıdır. Ayrı-ayrı heyvanların, onların bədən hissələrinin, habelə bir neçə heyvanın mürəkkəb kompozisiyalarının təsvir əsas fərqləndirici xüsusiyyətidir. Tunc dövründə bir sıra xalqlar arasında yaranmış, xüsusilə dəmir dövründə geniş yayılmışdır. Heyvan üslubu zaman və məkanda qeyri-adi geniş yayılmasına və müxtəlif etnik mədəniyyətlərin ənənələrinin mənimsənilməsinə görə müxtəlifdir. Bununla belə, onun ümumi, qabarıq görünən xüsusiyyətləri vardır ki, bu da qədim sənətin bu tarixi-mədəni hadisəsini ayrıca bədii üslub kimi ayırmağa əsas verir. Heyvan üslubunun tarixi-regional müxtəlifliyi "Skif-Sibir dünyası" üçün xarakterik olan "Skif-Sibir heyvan üslubu" adlanan üslubdur. O heyvanların xüsusi təsvir tərzi ilə seçilir. Avrasiya çöllərinin, o cümlədən Cənubi Sibir ərazisinin Son Tunc və Erkən Dəmir dövrlərinin mədəniyyətlərində geniş şəkildə təmsil olunur. Erkən Dəmir dövrü dövründə köçəri maldar xalqları arasında "bir çox ortaq xüsusiyyətlərə malik mədəniyyətlər yaranırdı.

Memarlıq üslubu — memarlıq xüsusiyyətlərin və əlamətlərinin məcmusudur. Memarlıq üslubunu, müəyyən dövrün və yerin xarakterik xüsusiyyətləri, funksional, konstruktiv və incəsənət tərəflərinin fərqliliyi formalaşdırır və onun ikişafı iqlim, dini və mədəni amillərdən asılıdır. Memarlığın inkişafı zamandan birbaşa asılı olmasına baxmayaraq, həmişə üslublar ardıcıllıqla dəyişmir. Müəyyən dövrlərdə, fərqli üslubların eyni zamanda mövcudluğu tarixdə müşahidə olunmuşdur (məsələn, barokko və klassisizm, modern və eklektika, funksionalizm, konstruktivizm və ar-deko).

"Hind üslubu", yaxud "səbki-hindi" — fars ədəbiyyatının təsnifatı. Üslubun meydana gəlməsinə dair müxtəlif fərziyyələr var. Əsas etibarilə qəbul edilən budur ki, bu üslub Səfəvilərdən qaçıb Babur imperiyasına sığınan farsdilli şairlər tərəfindən yaradılmışdır. Bu üslubda yazanlar şeirdə yeni məzmun və mənalar işlədirdilər; hind fəlsəfəsi və sanskrit mənbələrindən istifadə edirdilər; əvvəlki dövrlərdə yazıb-yaradan şairlər şeirlərini əsasən söz oyunları üzərində qururdularsa, hind səbki şairləri məna üzərində qururdular; özlərindən əvvəlki şairlərin istifadə etdikləri sözlərdən, tərkiblərdən yox, özlərinin ədəbiyyata gətirdikləri sözlərdən istifadə edirdilər; biz vaxtlar şeir üçün nöqsan hesab edilən xalq arasında geniş yayılmış ifadələri işlətməkdən çəkinmirdilər; xəyal gücündən geniş istifadə edilirdi; təbiətlə insan arasında bənzətmələr geniş yayılmışdı (məsələn, "Hər quşa öz yuvası, hər kişiyə öz vətəni" – tərcümədir); canlı və cansız varlıqlar şəxsləndirilir, danışdırıldı; əsasən dünyəvi məhəbbəti təsvir edirdilər; əsas janr qəzəl olmaqla bəzən qəzəlin sərt qayda-qanunları pozulurdu (bir səbki-hindi şairi çəkinmədən eyni qəzəlin qafiyə hissəsində bir sözü hətta 3 dəfə təkrar edə bilərdi). Bu səbkin ən böyük nümayəndəsi olaraq Saib Təbrizi qəbul olunur. Bir sıra mənbələrdə bu səbkə "səbki-İsfahani", "səbki-Azərbaycani", "səbki-türki" də deyilir.

Danışıq üslubu — qeyri-rəsmi ünsiyyət üçün, xüsusən də qeyri-rəsmi şəraitdə gündəlik məsələlərin müzakirəsi üçün istifadə olunan funksional nitq tərzi. Danışıq üslubu adətən söhbətdə və digər qeyri-rəsmi kontekstlərdə istifadə olunan idiomdur. Danışıq üslubu ünsiyətlərin və digər ifadə vasitələrinin geniş tətbiqi ilə xarakterizə olunur, ixtisaslaşdırılmamış terminologiyadan istifadə edir və leksikanı dəyişir. O, həmçinin natamam məntiqi və sintaktik sıralama ifadələrin istifadəsi ilə də fərqlənə bilər. Belə bir dilin konkret nümunəsi danışıq üslubu adlanır. Lüğətlərdə belə bir ifadə üçün ən çox istifadə olunan termin danışıq dilidir. == İzahatı == Danışıq üslubu və ya ümumi dil rəsmi nitqdən və ya rəsmi yazıdan fərqlidir. Bu, danışanların adətən rahat olduqları zaman istifadə etdikləri dil formasıdır. Bəzi danışıq üslubunda çoxlu jarqon və ya slenq var, bəzilərində isə ümumiyyətlə yoxdur. Jarqon və slenq çox vaxt danışıq üslubunda istifadə olunur, lakin bu xüsusi registr müəyyən qruplarla məhdudlaşır və danışıq üslubunun zəruri elementi deyil.

Türkmən dövrü incəsənəti və ya Türkmən incəsənəti — İran, İraq, Anadolu kimi ərazilərdə türkmənlərin hakimiyyəti və ya hamiliyi altında yaradılmış incəsənət. Səlcuqilər dövründən bəri sülalənin sultanları öz güclərini gücləndirmək üçün Yaxın və Orta Şərqin bəzi yerlərində hərbi məskənlər yaratmışdılar. Suriya, İraq və Şərqi Anadoluda böyük türkmən məskənləri yaradılmışdır. Malazgird döyüşündən sonra oğuzlar Anadolu və Azərbaycanda geniş şəkildə məskunlaşdılar. Artıq XI əsrdə türkmənlər Arranda sıx məskunlaşmışdılar. Məhz həmin dövrdə Bizans vasitəsilə "türkman" sözü Qərb dünyasının istifadəsinə daxil olmuşdur. Sonralar "oğuz" termini oğuz türklərinin özləri arasında ardıcıl olaraq "türkmən" termini ilə əvəz olunmuş, bununla da endonimə çevrilmişdir. Bu proses XIII əsrin əvvəllərində tamamlanmışdır. Bu termin Yaxın Şərqdə tarixi perspektivdə Mərkəzi Asiya türkmənlərinə (Türkmənistan türkmənlərinə) yox, Anadolu, Azərbaycan və ümumiyyətlə, Yaxın Şərqin oğuz köçərilərinə aid edilir. Türkmən kitab sənəti ənənəsi çox dar bir şəkildə öyrənilmiş, xəttatlıq, təzhib və cidlləməyə yox, daha çox miniatürlərə fikir verilmişdir.

Geometrik üslub — incəsənətin müxtəlif növlərinin inkişafının əsasən arxaik mərhələlərini xarakterizə edən tarixi üslub. Formalaşma nəzəriyyəsinin bir çox digər kateqoriyaları kimi bu da geniş, tarixi-mədəni aspektdə, dar, konkret tarixi mənada şərh olunur. Dar mənada, bu termin təxminən e.ə. 900–700-cü illərdə "Qaranlıq əsrlər"in sonunda qədim yunan vaza rəssamlığında xarakterik bir abstraksiya meylini ifadə etmək üçün istifadə olunur. Geometrik üslub tədricən protogeometrik üslubu əvəz etmişdir. Onun yayılmasının əsas mərkəzi Afina idi. Geometrik üslub tədricən Egey dənizi adalarında bir çox ticarət şəhərlərinin vaza rəssamları arasında yayımışdı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.

Məntiq Bahadur oğlu Cəfərov (25 yanvar 1954, Gəncə) — Azərbaycan Texnologiya Universitetinin Tədris işləri üzrə prorektoru, fizika elmləri doktoru, professor. Məntiq Bahadur oğlu Cəfərov 1979-cu ildən 2004-cü ilədək, 25 il müddətində Azərbaycan Texnologiya Universitetinin fizika kafedrasında laborant, baş laborant, laboratoriya müdiri, assistent, baş müəllim, hazırlıq kursunun rəhbəri və dosent vəzifələrində işləmişdir. 2004-cü ilin noyabr ayından Azərbaycan Dövlət Aqrar Universitetinin dosenti, 2012-2013-cü illərdə həmin universitetin fizika və riyaziyyat kafedrasının professoru olmuşdur. 22 iyul 2013-ci il tarixdən Azərbaycan Texnologiya Universitetinin tədris işləri üzrə prorektorudur. 1985-1989-cu illərdə Bakı Dövlət Universitetinin Yarımkeçiricilər fizikası kafedrasında məqsədli aspirant olmuşdur, 1989-cu ildə namizədlik, 2011-ci ildə doktorluk dissertasiyasını müdafiə etmişdir. Fizika üzrə elmlər doktoru, professordur. Azərbaycan Respublikası Prezidentinin 18 may 2010-cu il tarixli, sərəncamı ilə Azərbaycanda təhsilin inkişafındakı xidmətlərinə görə "Tərəqqi" medalı ilə təltif olunmuşdur. Məntiq Cəfərov xarici və yerli jurnallarda dərc edilmiş 97 elmi əsərin, 1 dərs vəsaitinin müəllifidir. 40-dan çox müxtəlif miqyaslı konfranslarda iştirak etmişdir. Теплополевое гашение экстионной фотопроводности Ga Se(Ge) //Физика и техника полупроводников.

Montiyi (fr. Montilly) — Fransada kommuna, Overn regionunda yerləşir. Departament — Alye. Qərbi Mulen kantonuna daxildir. Kommunanın dairəsi — Mulen. INSEE kodu — 03184. 2008-ci ildə əhalinin sayı 547 nəfər təşkil edirdi. 2007-ci ildə əmək qabiliyyətli 365 nəfər (15–64 yaş) arasında 278 nəfər iqtisadi fəal, 87 nəfər fəaliyyətsizdir (fəaliyyət göstərici 76,2%, 1999-cu ildə 71,3%). Fəaliyyət göstərən 278 nəfərdən 260 nəfər (131 kişi və 129 qadın), 18 nəfər işsiz (9 kişi və 9 qadın) idi. Aktiv olmayan 31 nəfər arasında şagird və ya tələbə, 35 nəfər təqaüdçü, 21 və ya tələbə, 61 nəfər təqaüdçü, 37 nəfər digər səbəblərə görə fəaliyyətsizdir.

Lullubi, Lulubi (akkad. 𒇻𒇻𒉈: Lu-lu-bi, akkad. 𒇻𒇻𒉈𒆠: Lu-lu-biki "Lullubi ölkəsi"), daha çox Lullu kimi tanınır, Tunc dövrünə aid tayfa ittifaqı, tarixi Azərbaycan ərazisində mövcud olmuş ilkin etno-siyasi birliklərdən biri; B.e.ə. XXIII əsrdə dövlətə çevrilmiş tayfa ittifaqı; Lullubi hökmdarı Anubanininin Sarıpuldakı (müasir Zohab yaxınlığında) qayaüstü kitabəsində qurduğu dövlətin şimal və cənub hüdudları kimi göstərilən “Yuxan və Aşağı dəniz” məfhumlarından “Yuxarı dəniz” İraqın müasir Süleymaniyyə mühafəzasından şərqdə yerləşən Zeriboz gölü ilə eyniləşdirilən ərazi; “Aşağı dənizi” isə Fars körfəzi ilə eyniləşdirilən ərazi. Freyn (1990) Lulubuna və ya Lulluban şəhərini İraqın Hələbcə şəhəri ilə eyniləşdirir. Lullubi Mesapatomiyadakı Hurri mənşəli Simmurum şahlığı ilə qonşu və bəzi vaxtlarda müttəfiq olub. == Tarixi == === Əfsanələrdə === “Luqalbanda və Anzud quşu” eposunun fraqmentlərinin birində Arattaya gedən yolun təsviri zamanı “Lullubilərin ölkəsi” xatırlanır. Lullubi tayfaları Diyala çayının yuxan axarı ilə Urmiya gölü arasındakı ərazidə məskunlaşmışlar. Bu ərazi e.ə. I minilliyin əvvəllərində “Zamua” adlanırdı.

Lullubi, Lulubi (akkad. 𒇻𒇻𒉈: Lu-lu-bi, akkad. 𒇻𒇻𒉈𒆠: Lu-lu-biki "Lullubi ölkəsi"), daha çox Lullu kimi tanınır, Tunc dövrünə aid tayfa ittifaqı, tarixi Azərbaycan ərazisində mövcud olmuş ilkin etno-siyasi birliklərdən biri; B.e.ə. XXIII əsrdə dövlətə çevrilmiş tayfa ittifaqı; Lullubi hökmdarı Anubanininin Sarıpuldakı (müasir Zohab yaxınlığında) qayaüstü kitabəsində qurduğu dövlətin şimal və cənub hüdudları kimi göstərilən “Yuxan və Aşağı dəniz” məfhumlarından “Yuxarı dəniz” İraqın müasir Süleymaniyyə mühafəzasından şərqdə yerləşən Zeriboz gölü ilə eyniləşdirilən ərazi; “Aşağı dənizi” isə Fars körfəzi ilə eyniləşdirilən ərazi. Freyn (1990) Lulubuna və ya Lulluban şəhərini İraqın Hələbcə şəhəri ilə eyniləşdirir. Lullubi Mesapatomiyadakı Hurri mənşəli Simmurum şahlığı ilə qonşu və bəzi vaxtlarda müttəfiq olub. == Tarixi == === Əfsanələrdə === “Luqalbanda və Anzud quşu” eposunun fraqmentlərinin birində Arattaya gedən yolun təsviri zamanı “Lullubilərin ölkəsi” xatırlanır. Lullubi tayfaları Diyala çayının yuxan axarı ilə Urmiya gölü arasındakı ərazidə məskunlaşmışlar. Bu ərazi e.ə. I minilliyin əvvəllərində “Zamua” adlanırdı.

Uşquli (gürc. უშგული) — Gürcüstan Respublikasının Sameqrelo-Yuxarı Svaneti diyarının Mestia rayonunda, İnquri dərəsinin başında yerləşən svan icması. Jibiani, Çvibiani, Çajaşi, Lamjurishi və Murkmeli kəndlərindən ibarətdir. Dəniz səviyyəsindən 2200 m yüksəklikdə yerləşən Uşquli kəndi Dağıstanın Doqquzpara rayonundakı Kuruş kəndindən sonra (dəniz səviyyəsindən 2560 m yüksəklikdə) Avropada ən yüksək daimi məskunlaşmış yaşayış məntəqəsi hesab edilir. Böyük Qafqazın ən yüksək zirvələrindən olan Şxaranın cənub yamacında, İnquri çayının yuxarı axarında yerləşir. Uşqulidə təxminən 70 ailə (200 nəfərə qədər) yaşayır, məktəb var. Ətrafı ilin 6 ayı qarla örtülü olur və rayon mərkəzi Mestiaya aparan yol tez-tez kəsilir. Kənddə ənənəvi svan qüllə-evləri qorunmuşdur. Jibiani kəndinin yanında təpədə XI əsrdə tikilmiş Məryəm kilsəsi (svanca Lamariya) yerləşir.