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

Результаты поиска

OBASTAN VİKİ
Əntiqə Qonaq
Qonaqova Əntiqə Güləmməd qızı (21 yanvar 1959, Maqsudkənd, Xaçmaz rayonu) — Azərbaycanın ilk qadın hərbi jurnalisti, Azərbaycan Respublikasının əməkdar jurnalisti (2008). == Həyatı == Qonaqova Əntiqə Güləmməd qızı 21 yanvar 1959-cu il tarixində Xaçmaz rayonu Maqsudkənd kəndində anadan olmuşdur. 1974-cü ildə Maqsudkənd 8 illik məktəbini, 1976-cı ildə isə Ləcət kənd orta məktəbini yaxşı və əla qiymətlərlə bitirmişdir. 1983-cü ildə Bakı Dövlət Universitetinin jurnalistika fakültəsinin əyani bölməsini radio-televiziya jurnalistikası ixtisası üzrə, 2010-cu ildə isə həmin universitetin hüquq fakültəsinin qiyabi bölməsini fərqlənmə diplomu ilə bitirmişdir. Tələbəlik illərindən başlayaraq Televiziya və Radio Verilişləri Komitəsinin Gənclik verilişləri baş redaksiyasında "Nəğməli-sözlü gənclik", "Tələbə dünyası" və sair müəllif verilişlərilə dinləyici və tamaşaçıların qarşısına çıxmışdır. 15 ilə qədər Azərbaycan Televiziya və Radio Verilişləri Komitəsində müxbir kimi fəaliyyət göstərmişdir. 1984-cü ildə təyinatla jurnalistlik fəaliyyətinə başlamışdır. Avtomobil Nəqliyyatı Nazirliyinin "Magistral" qəzetində korrektor, müxbir (1984-1990), "Həyat" qəzetində baş müxbir (1990–1992), "Biznes" qəzetində şöbə müdiri (1992-1993), "Ana" müstəqil qadın qəzetində təsisçi və baş redaktor (1993-1996), "Azərbaycan" qəzetində müxbir (1999-2001), 2001-2017-ci illərdə isə Azərbaycan Respublikası Baş Prokurorluğunun Hüquqi təminat və informasiya idarəsinin Mətbuat xidmətində baş məsləhətçi vəzifəsində işləmişdir. Dövlət qulluğu müşaviridir. Hal-hazırda təqaüddədir.
Ətiqə İzmayılova
Ətiqə İzmayılova (1932-2006) — Azərbaycanın aparıcı etnoqroflarından biri Öz əmək fəaliyyətini Talış mədəniyyəti və sosial həyatının mütəxəssisi kimi başlayaraq, sonradan o Azərbaycan milli geyimləri ilə məşqul olmuşdur. Bakı şəhərində anadan olan Ətiqə xanım, ali təhsilini 1955-ci ildə Moskva Dövlət Universitetinin Tarix fakultəsində, elmlər namizədi dərəcəsini isə SSRİ EA-nı Mikluxa-Maklay adına Etnoqrafiya İnstitunda almışdır. Uzun illər müddətində Azərbaycan EA-nın Arxeologiya və Etnoqrafiya İnstitutunda və Azərbaycan Milli Tarix Muzeyində çalışıb. == Mənbə == Ətiqə İzmayılova.
Qala Əntiq Əşyalar Muzeyi
Qala Əntiq Əşyalar Muzeyi - Qala Dövlət Tarix Etnoqrafiya qoruğunun ərazisində Heydər Əliyev Fondu tərəfindən yaradılıb. 2010-cu ilin iyununda muzeyin tikintisinə başlanıb və tikinti 2011-ci ildə başa çatıb. Prezident İlham Əliyev və xanımı, Heydər Əliyev Fondunun prezidenti Mehriban Əliyeva 2011-ci il sentyabrın 7-də Muzeyin açılışında iştirak ediblər. Muzeydə 800 eksponat nümayiş etdirilir. Azərbaycan xalqının əsrlər boyu yaratdığı müxtəlif dekorativ-tətbiqi sənət inciləri üçmərtəbəli binanın birinci və ikinci mərtəbələrində, üçüncü mərtəbədə isə respublikamızın müxtəlif regionlarından yığılmış, Avstriya, ABŞ, Almaniya, İngiltərə, İran, Rusiya, Fransa, Belçika, Özbəkistan, Türkiyə, Polşa və digər ölkələrdə istehsal edilmiş, qədim zamanlardan xalqımızın məişətinə daxil olmuş əşyalar sərgilənir. İnzibati otaqlar, suvenirlər bölməsi və təmir-bərpa emalatxanası, konfrans zalı, binanın birinci mərtəbəsində fəaliyyət göstərir. Aşkar olunan qədim əşyalar məhz bu emalatxanada bərpa edilir. Muzeyin sahəsi 260 kv/m təşkil edir.
İnduksiya ( məntiqi nəticə)
İ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. == Ədəbiyyat == İsmayıl Calallı (Sadıqov), “İnformatika terminlərinin izahlı lüğəti”, 2017, “Bakı” nəşriyyatı, 996 s.
İnduksiya (məntiqi nəticə)
İ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. == Ədəbiyyat == İsmayıl Calallı (Sadıqov), “İnformatika terminlərinin izahlı lüğəti”, 2017, “Bakı” nəşriyyatı, 996 s.
Məntiq
Məntiq (yun. λογική) — "mülahizələr haqqında elm", "fikirlərdə və fəaliyyətdə əlaqələr haqqında elm" — məntiqi dillə intellekt dərketmənin qanunları, metodları və formaları haqqında elmdir. Məntiq haqqında biliklər təfəkkürlə alındığından, o düzgün təfəkkür haqqında elm kimi də götürülə bilər. Eyni zamanda məntiq təsdiq və ya təkzib metodları haqqında elm kimi də qəbul edilə bilər. Məntiq qazanılmış təcrübə və dərketmə vasitəsilə həqiqətin əldə edilməsi elmi də adlandırılı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. == Məntiqin məzmunu == Klassik məntiqi nəzəriyyə xüsusi dildə izah edilir, maddi nümunələrlə mülahizə irəli sürülür.
Nəticə
Nəticə — hərəkət və hadisələrin kəmiyyət və keyfiyyət cəhətcə axır variantı.
Əndişə
Əndişə(fars. انديشه‎) — İranın Tehran ostanının Şəhriyar şəhristanının Mərkəzi bəxşində yeni şəhər. 2006-cı il əhalinin siyahıya alınmasına əsasən, şəhərin əhalisi 75,596 nəfər və 19,945 ailədən ibarət idi.
Ənizə
Ənizə (ərəb. عنزة‎, ʻanizah, [ʕni.zah]) — Ərəbistan yarımadasında, Yuxarı Mesopotamiyada və Levantda ərəb qəbiləsi. == Yeri == Ənizə qəbiləsinin nümayəndələri Nəcd, Hicaz və Levant (Hüms, Həma, Hələb) ərazisində yaşayırlar. Coğrafi cəhətdən onları aşağıdakı qruplara bölmək olar: İraq ənizələri, Fərat və Cəzirə ənizələri, Həma ənizələri, Hüms ənizələri, Dəməşq ənizələri və Hicaz ənizələri. "Sübh əl-Əşa"da Qəlqəşəndiyə görə, ənizələr əvvəlcə Mədinə yaxınlığındakı Xeybərdə yaşayırdılar. İbn Xəlduna görə, ənizə qəbiləsi əvvəlcə Əyn-Təmrada (indiki Kərbəla və ətrafı) yaşamış, sonra isə Xeybərə köçmüşdür.
Arqument (məntiq)
Arqument ― yönəldilmə və nəticəçıxarmadan ibarət bir sıra təsdiq cümlələr (mühakimələr). Məişət dilində arqument (sübut) — məntiq mühakiməsi, hansı ki ya ayrıca, ya da digərləri ilə birlikdə müəyyən bir ifadənin (tezisin) həqiqiliyini sübut etmək məqsədi ilə istifadə olunur. Bir tezisin doğru hesab edilməsi üçün, düzgün məntiqi hökmlərin köməyi ilə tezisi sübut etmək üçün kifayət edən bütün arqumentlər özündə həqiqi məlumatları ehtiva etməlidir.
Bulanıq məntiq
Qeyri-səlis məntiq, həmçinin bax bulanıq məntiq və ya qeyri-səlis çoxluq nəzəriyyəsi — dəyişənlərin həqiqət dəyərinin 0 və 1 arasında istənilən həqiqi ədəd ola biləcəyi çoxqiymətli məntiq forması. Qismən həqiqət anlayışını idarə etmək üçün istifadə olunur. Burada həqiqət dəyəri tamamilə doğru və tamamilə yalan arasında dəyişə bilər. Bunun əksinə olaraq, Bul məntiqində dəyişənlərin həqiqət dəyərləri yalnız 0 və ya 1 tam ədədlər ola bilər. Qeyri-səlis məntiq termini 1965-ci ildə Azərbaycan riyaziyyatçısı Lütfi Zadənin qeyri-səlis çoxluqlar nəzəriyyəsi təklifi ilə təqdim edilmişdir. Qeyri-səlis məntiq 1920-ci illərdən, xüsusilə Lukaseviç və Tarski tərəfindən sonsuz qiymətli məntiq kimi öyrənilmişdir.Qeyri-səlis məntiq insanların qeyri-dəqiq və rəqəmi olmayan məlumatlara əsaslanaraq qərarlar qəbul etməsinin müşahidəsinə əsaslanır. Qeyri-səlis modellər və ya qeyri-səlis çoxluqlar qeyri-müəyyənliyi və qeyri-dəqiq məlumatı təmsil edən riyazi vasitələrdir. Bu modellər qeyri-müəyyən olan məlumatları tanımaq, təmsil etmək, manipulyasiya etmək, şərh etmək və istifadə etmək qabiliyyətinə malikdir.Qeyri-səlis məntiq idarəetmə nəzəriyyəsindən süni intellektə qədər bir çox sahəyə tətbiq edilmişdir. == Ümumi baxış == Klassik məntiq yalnız doğru və ya yalan olan nəticələr çıxarmağa icazə verir. Bununla belə, dəyişkən cavablı hökmlər də var.
Dialektik məntiq
Dialektik məntiq — konseptual və məntiqi üsul. Bir çox fərqli mənada qiymətləndirilən dialektik anlayışından əldə edilən bir məntiq formasıdır. Birincisi, bir anlayışdan digərinə ziddiyyətləri məhv edərək irəliləmək üsuluna verilən addır. Qarşıdurmalar içində irəliləyərək bu qarşıdurmaları aradan qaldıraraq nəticəyə çatmağı istəyən məntiqi düşünmə şəklidir. Əvvəlcə Heraclitus dialektik məntiqdən istifadə etmişdir. Diyalektik məntiq xüsusilə Hegeldə zirvəyə çatmışdır. Marksın əlində isə materialist bir məzmuna sahib olmuşdur. Bütün bu nəzəriyyələrdə dialektik məntiq ümumi mənada ziddiyyət və nisbilik anlayışları ilə işləyən məntiq şəklində baş verir. Formal məntiqin əsas konsepsiyaları və kateqoriyaları bir kənara qoyulmur, eyni fikir və kateqoriyalar isə ziddiyyət və nisbilik prinsipləri baxımından yenidən rasionaldır.
Formal məntiq
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ə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. Həqiqilik cədvəlindən əldə edilən çıxış funksiyasını sadələşdirmək üçün, sadələşdirmə üsullarından uyğun olan üsuldan istifadə edilə bilər.
Kombinatorial məntiq
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 Cəfərov
Məntiq Bahadur oğlu Cəfərov — Azərbaycan Texnologiya Universitetinin Tədris işləri üzrə prorektoru, fizika elmləri doktoru, professor. == Həyatı == 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. == Secilmiş elmi əsərləri == Теплополевое гашение экстионной фотопроводности Ga Se(Ge) //Физика и техника полупроводников.
Məntiq elementi
Məntiqi element — Bul funksiyasını yerinə yetirən fiziki qurğudur. O, bir və ya bir neçə məntiqi girişlərdə məntiqi əməliyyatı yerinə yetirir və sadə məntiqi çıxışları göstərir. Məntiq elementləri ilk növbədə elektron açarlar kimi fəaliyyət göstərən tranzistorlar və diodlar istifadə edərək yerinə yetirilir, həmçinin molekullar,optika, elektromaqnit relelər və hətta mexaniki elementlər istifadə edərək qurula bilər. yapışdırıcı məntiq — (ing. glue logic, ru. связующая логика) – kompüterin bir əsas hissəsini başqa bir hissə ilə birləşdirmək üçün zəruri olan nisbətən sadə məntiqi sxemlər. Məsələn, mikroprosessorların bir çoxu mərkəzi prosessor (CPU) ilə yaddaş (MEMORY) arasında yapışdırıcı məntiqin olmasını tələb edir. == Simvollar == == Ədəbiyyat == İsmayıl Calallı (Sadıqov), "İnformatika terminlərinin izahlı lüğəti", 2017, "Bakı" nəşriyyatı, 996 s.
Məntiq fəlsəfəsi
Məntiq fəlsəfəsi — məntiq fəlsəfəsinin məqsədi məntiq elminin əsas konsepsiyalarını aydınlaşdırmaq və onun prinsiplərini əsaslandırmaqdır.
Məntiqi analizator
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). == Ədəbiyyat == İsmayıl Calallı (Sadıqov), “İnformatika terminlərinin izahlı lüğəti”, 2017, “Bakı” nəşriyyatı, 996 s.
Məntiqi fayl
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. == Ədəbiyyat == İsmayıl Calallı (Sadıqov), “İnformatika terminlərinin izahlı lüğəti”, 2017, “Bakı” nəşriyyatı, 996 s.
Məntiqi kateqoriyalar
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 modelləşdirmə
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.
Məntiqi səfsətə
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əntiqi əməliyyat
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. == Formal məntiq == 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. == Riyazi məntiq == 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 } ). == Proqram dilində == == İstinadlar == == Xarici keçidlər == Məntiqi əməliyyat // Энциклопедический словарь Брокгауза и Ефрона: В 86 томах (82 т.
Qaraağac (məntəqə)
Qaraağac nahiyəsi — Qarabağ ərazisində yerləşən qədim məntəqə. Hazırkı Ağdam və Ağcabədi bölgələrinin ərazisində yerləşib. == Tarixi == F.R.Xunci Sultan Yaqubun hakimiyyəti dövründən danışarkən yazır ki, o qış dövrünü ya Təbrizdə, ya da Qarabağda Qaraağacda keçirirdi. Ağqoyunlu tarixçisinin sözlərinə görə, Qaraağac "Təll Sultanın ətəklərində yerləşirdi və zirvəsi düşərgənin ortasında ulduzlara yüksəlirdi. Təəccüblüdür ki, meşənin ortasında ətrafı düzənlik olan belə bir zirvə necə yüksəlmişdi" Ağqoyunlu tarixçisi F.R.Xuncinin məlumatlarından məlum olur ki, bu ərazi Sultanbud torpaqlarında yerləşmişdi. Çünki, Qaraağaca gələn hökmdarı "Sultanbud torpaqları yenicə çiçək açmış gül-çiçəkləri ilə salamlamışdı". Nəzərə almaq lazımdır ki, Ağqoyunlu tarixçisinin xatırlatdığı Sultanbud torpaqları Bərdə-Ağdam yolundan şərqdə yerləşirdi. Səfəvilər hakimiyyəti dönəmində Ağcabədi bölgəsi Qaraağac nahiyəsinə aid idi. 1593 cü ildə Osmanlı İmperiyasının Gəncə-Qarabağ əyaləti Xaçın sancağı inzibati–ərazi nahiyə 1593-cü ildə qələmə alınan Osmanlı vergi dəftərində Qaraağac nahiyəsinə bağlı kəndlərin siyahısı verilib. Həmin kəndlər bunlar idi: Ağca kənd Tuğullat Qutni Səralan Xatunabad Əlki Köratuz Sarımusa Kələbəddin Cüneydi Qarabağ-Yekəcik Bənövşəliabad Mübarəkabad Həsən Əgrə Nəhri Mübarəki Arazbun Miyanəci Hacıbəy Murad Öpməcə Usunçayı Ataşa Xuraman Qızqala Mustafa Mustafa Molla Məhəmməd Baban Abdal Xaçıqan 1725-ci ildə qələmə alınan Mirzə Səmianın "Təzkirət əl-müluk" əsərinə görə Qarabağ bəylərbəyiliyi dövlətə 286149 tümən 435 dinar vergi ödəyirdi.
Riyazi məntiq
Riyazi məntiq — formal məntiqin əsas qanunlarına istinad edərək, riyazi dil və riyazi metodların tətbiqi ilə məntiqi proseslərin, mühakimələrin qanunauyğunluqlarını araşdırır. Riyazi məntiqin əsasını qoyan ingilis riyaziyyatçısı Corc Bul olmuşdur. Riyazi məntiqin əsasını Deduktiv nəzəriyyə təşkil edir.
Antigen
Antigenlər (yunan dilindən “anti” - əks + “genes” – doğan) - orqanizm üçün yad cisim olub, özünə qarşı spesifik immun reaksiyası yaradan maddələrdir. Bu reaksiyanın nəticəsi kimi orqanizm tərəfindən anticimlər sintez olunur. Antigenlər və antitellər həm in vitro, həm də in vivo daxilində bir-birinə qarşılıqlı təsir etmək qabiliyyətinə malikdirlər. Canlı orqanizmlərin bütün makromolekulyar komponentləri antigen xüsusiyyətinə malikdir. Antigenlər müəyyən bir növün bütün fərdləri, yaxud bu növün müəyyən bir qrupunun bəzi fərdləri üçün ümumi ola bilər. İmmun reaksiyası yaratmaq qabiliyyəti və yaratdığı reaksiyaların forması (antitel yaratmaq, hüceyrə immuniteti, allergiya və s.) fərqli ola bilər. Antigenlər yalnız, onların öz təsiri altında yaranmış anticisimlərlə birləşə bilir. == Xassələri == Antigenlər yad cismlik dərəcəsindən, kimyəvi təbiətindən (zülal, yaxud polisaxarid), dozasından və orqanizmə hansı formada daxil olmasından və s.-dən asılıdır. Antigenlər antitelllərlə və hüceyrə ilə öz molekullarının bir-birinə toxunan müəyyən bir hissəsi vasitəsilə qarşılıqlı təsirə məruz qalırlar. Antigenlərin yad cisim təbiətinin təyini, onun “özününkü”, yaxud “özgəninki” olmasını müəyyənləşdirmək canlı orqanizmlərə məxsus universal xüsusiyyətlərdən biridir.
Antiqel
Antigel (fr.antigel — donmayan, donmadan qoruyan, soyuğa davamlılığı artıran aşqar) — dizel yanacaqlarına depressor aşqarlarının ümumi qəbul olunmuş adıdır. Antigel dizel yanacağının aşağı temperaturlu xassələrini yaxşılaşdırmaq üçün nəzərdə tutulmuşdur. 1965—1969 –cu illərdə dizel yanacağı üçün depressor aşqarlarına cəmi 10 patent alınmışdı, 1975—1984-cü illərdə isə bu göstərici 110-u ötdü. Patentlərin 90%-də depressor aşqarları kimi polimerlər göstərilir. == Tarix == Müxtəlif neft məhsullarına, əsasən, yağlara depressor aşqarlarının inkişafı 1931-ci ilə gedib çıxır, bu ildə yağlara sintetik aşqar - paraflou alınmışdı. Dizel yanacaqlarına depressor aşqarlarının yaradılması istiqamətində işlər XX əsrin 60-cı illərinin ortasından başlamışdı.Bu problemə belə gec fikir verilməsi onunla izah olunur ki, depressor aşqarları donma temperaturunu yetərincə azaltdığı halda onun bulanma temperaturuna təsir etmir. Məhz bu göstəırici uzun müddət yanacaqların qış mövsümündə yararlı olduğunu göstərən meyar idi. Sonralar məlum oldu ki, bu meyar bulanma temperaturu deyil, yanacağın axma temperaturu - onun axıcılığıdır. Yalnız bundan sonra depressor aşqarlarının sintezinə başlanıldı. == Təsnifat == Hal-hazırda dizel yanacaqlarına depressor aşqarlarını kimyəvi təbiətinə görə aşağıdakı kimi təsnif etmək olar: Etilenin polyar monomerlərlə (etilen-vinilasetat sopolimerləri və onların kompozisiyaları, etilen və vinilasetat əsasında üçlü sopolimerlər, etilenin digər polyar monomerlərlə sopolimerləri); Poliolefin tipli məhsullar (etilen-propilen, etilen-propilen-dien məhsulları və onların parçalanma məhsulları, α-olefinlərin sopolimerləri, modifikasiya olunmuş poliolefinlər); Polimetakrilat aşqarlar (polialkil(меt)akrilatlar, alkil(met)akrilatların sopolimerləri; Polimer olmayan kimyəvi birləşmələr (alkilnaftalinlər; çoxatomlu turşular və spirtlərin efirləri; tərkibində uzun alkil radikalları saxlayan amidlər).
Enrike
Enrike — ad.
Engie
GDF Suez — böyük fransız energetika və qaz şirkəti. Şirkətin qərargahı Parisdə yerləşir. 22 iyul 2008-ci il Gaz de France və Suez şirkətlərinin birləşməsi yolu ilə yaradılmışdır. Əsas şirkət sahibi — Fransanın hökumətidir (35,7 %), aksiyaların 57 % azad müraciətdədir. Direktorlar şurasının sədri və şirkətin baş müdiri - Gérard Mestrallet. Şirkət generasiya, ötürülmə və elektrik enerjisinin, çıxartmanın, nəql etmənin və təbii qazın çatdırılmasının çatdırılması sahəsində, həmçinin alternativ enerji mənbələri sahəsində fəaliyyəti həyata keçirir. Şirkətin personalının sayı — 234,7 min insan (2008-ci il). 2008-ci il ərzində şirkətin gəliri 83,1 milyard avro təşkil etdi, təmiz gəlir — 6,5 milyard avro. Həmçinin GDF Suez Parisdə hər il keçirilən Open GDF Suez nüfuzlu qadın tennis yarışının sponsorudur.
Covanni Centile
Covanni Centile (it. Giovanni Gentile; 29 may 1875[…], Kastelvetrano[d] – 15 aprel 1944[…], Florensiya) — italyan filosofu, siyasətçi. Roma Universitetinin professoru, Mussolini hökumətində Maarif naziri. Centile Hegelin təlimini yenidən nəzərdən keçirmiş və yeni hegelçiliyin subyektiv idealist çalarlarından biri olan "aktualizm" sistemini yaratmışdır. Centileyə görə, bütün mövcudat həmişə aktual, fəal olan, düşünən fikrin, hərəkətin nəticəsidir. Düşünən fikrin yaradıcılığı isə məkan və zaman şəraiti ilə məhdudlaşdırılmışdır. Onun doğurduğu materiya ölüdür, ətalətlidir, lakin fikirlə vəhdət halındadır. Solipsizmdən uzaqlaşmaq üçün Centile universal "mən" anlayışını işə salır. Reallıq fərdi şüur ideyaları ilə eyniyyət təşkil etməyib, kainatda təşəkkül tapma prosesində bütün əkslikləri aradan qaldıran fövqəlşəxsi transsendental başlanğıcın xalis təfəkkürüdür. Sosioloji-siyasi baxışlarında Centile liberalizmdən fatalizmədək təkamül etmişdir.
Creation Engine
Creation Engine (azərb. "Yaradılma" mühərrik‎) — "Bethesda Game Studios" tərəfindən hazırlanan oyun mühərriki. "Creation Engine" "The Elder Scrolls V: Skyrim" və "Fallout 4" kimi rol videooyunlarında istifadə edilmişdir. == İstehsal == "Creation Engine" "Bethesda Game Studios" tərəfindən hazırlanan təşkilatdaxili oyun mühərrikdir ("XnGine" "Bethesda"nın keçmiş təşkilatdaxili mühərrikidir). "The Elder Scrolls III: Morrowind", "The Elder Scrolls IV: Oblivion" və "Fallout 3" oyunlarını "Gamebryo" mühərriki ilə yaratdıqdan sonra, "Bethesda" "Gamebryo" qrafikalarının köhnəlmiş olduğuna və gələcək oyunları olan "The Elder Scrolls V: Skyrim" üçün yeni bir mühərrik üzərində işləməyə qərar vermişdir. Başqa bir şirkət tərəfindən ("Obsidian Entertainment") yaradıldığına görə, "Fallout: New Vegas" mühərrikindəki yeniləmələrin heç biri "Creation Engine"ə köçürülməmişdir. "Skyrim" yaradıldıqdan sonra, "Bethesda" mühərrikin qrafik mərkəzini inkişaf etməyə başladı. Yenilənmiş versiya "Fallout 4"-ü yaratmaqda istifadə edilmişdir. == İstifadə edən oyunlar == The Elder Scrolls V: Skyrim (2011) Fallout 4 (2015) == İstinadlar == == Xarici keçidlər == Robert Purçis. "TESV: Skyrim powered by Creation Engine" (ingilis).
Enrike Kolyar
Enrike Kolyar Monterrubio (isp. Enrique Collar Monterrubio; 2 noyabr 1934) ― sağ cinah vinger mövqeyində oynamış İspaniya futbolçusu. == Karyerası == Onun gənc yaşlarında çıxış etdiyi ilk klub doğma şəhərindən olan "İmperial" klubu idi. Daha sonra "Penya Norit"ə keçdikdən sonra o, nəhayət "Atletiko Madrid" klubuna qoşulur və bu klub onun peşəkar karyerasında ilk olur. 1952-ci ildə Kolyar qardaşları Enrike, Xuan de Dios, Pepe və Antonio Üçüncü divizyonda çıxış edən "Kadis" klubuna transfer olundular.Növbəti 1953/54 mövsümündə o, "Atletiko Madrid" ilə La Liqada debütünu etdi, ancaq cəmi 4 oyun keçirə bildi və 1954/55 mövsümündə yenidən icarəyə verildi, bu dəfə ikinci futbol divizionunda çıxış edən "Real Mursiya"ya. O, mövsüm bitməmiş təzədən Madrid klubuna geri qaytarıldı və 1969-cu ilə qədər burada qaldı və ümumlikdə 16 mövsüm keçirtdi.Madrid komandası ilə birlikdə 470 oyun keçirdi (onlardan 339-u liqada), "Atletiko" ilə ən çox oyun keçirən dördüncü və 105 qolla komandanın səkkizinci bombardiridir.1955 ilə 1962-ci illər arasında Kolyar Xoakin Peyro ilə yarımmüdafiə tandemi qurdu. "Atletiko" ilə o, UEFA Kuboklar Kuboku, La Liqa və Generalisimo Kubokunun qalibi oldu.Karyerasını "Valensiya" klubunda bitirdi. O, 1955―1963-cü illər arasında İspaniya milli futbol komandası forması ilə 16 oyuna 4 qol vura bilmişdir və 1962 FİFA Dünya Kubokunun iştirakçısı olmuşdur.
Enrike Mateos
Enrike Mateos Mansebo (isp. Enrique Mateos Mancebo; 15 iyul 1934, Madrid – 6 iyul 2001, Sevilya) — hücumçu mövqeyində oynamış İspaniya futbolçusu. O, La Liqada "Real Madrid", "Sevilya" və "Betis" kimi klubları təmsil edərək 123 oyuna 48 qol vura bilmişdir. == Klub karyerası == Madriddə anadan olan Enrike təhsilini "Real Madrid" klubunun məktəbində bitirdi. O, klubda keçirdiyi 8 il ərzində əsasən ehtiyat oyunçu qismində çıxış edirdi və bu müddət ərzində 13 əsas titul qazanmışdır. Onun ən uğurlu La Liqa mövsümü 1956–57 təsadüf etdi, həmin çempionluq mövsümündə o, 21 oyuna 14 qol vurmağı (karyerasının ən yaxşı nəticəsi) bacarmışdır. O, Çempionlar Kubokunda keçirdiyi 16 oyuna 9 qol vurmuş və dörd dəfə turnirin qalibi olmuşdur.Mateos "merinqlər"i 1961-ci ilin yayında tərk elədi və ümumlikdə 93 oyuna 50 qol vurmuşdur. Daha sonra o, ölkəsinin "Sevilya", "Rekreativo", "Real Betis" və "Ximnastika Torrelaveqa" klublarında çıxış etdi. "Sevilya"nın heyətində oynayarkən o, karyerası boyu sağalmayacağı zədə aldı. 37 yaşında karyerasını bitirənə qədər o, həmçinin Şimali Amerika Futbol Liqasının "Klivlend Stokers" klubunda və Cənubi Afrikanın "İst London Seltik" klubunda oynadı.
Enrike Pinti
Enrike Pinti (isp. Enrique Pinti ; 7 oktyabr 1939 – 27 mart 2022, Buenos Ayres) — Argentina aktyoru və komediyaçı.
Enrike Tyaqu
Enrike Tyaqu — Braziliya futboçusu. == Həyatı == 23 may 1985-ci ildə Fernandopolisdə anadan olub. == Karyera == Çıxış etdiyi klublar: Fernandopolis (Braziliya) San Kaetano (Braziliya) Santista (Braziliya) Roma Apukarana (Braziliya) 2008-ci ildən Qəbələdə çıxış edir.
Enrike İqlesias
Enrike Migel İqlesias Pleysler (isp. Enrique Miguel Iglesias Praysler) — ispan müğənnisi, bəstəkar və prodüser, 116 platin, 227 qızıl diskin və 26 beynəlxalq mükafatın sahibidir. Məşhur ispan müğənnisi Hulio İqlesiasın oğludur. == Həyatı == Enrike İqlesias 1975-ci il mayın 8-də Madriddə anadan olmuşdur. Anası İzabel və atası Hulio ayrıldıqdan sonra Enrike bir müddət anası ilə yaşamışdır. Babası quldurlar tərəfindən oğurlandıqdan sonra anası 10 yaşlı Enrikeni atasının yanına - Mayamiyə göndərmişdir. O, burada universitetdə təhsil almış, lakin onun musiqiyə olan həvəsi və qüruru onu atasının evini tərk etməyə məcbur etmişdir. Özünə mənzil tutaraq, axşamlar kiçik bir restoranda mahnı oxuyur və ailəsindən xəbərsiz ilk albomu üçün mahnılar yazır. Hətta ilk albomunu 20 yaşında çıxarmasına baxmayaraq, albomu üçün mahnıları hələ 16 yaşında ikən yazmağa başlamışdır. Atasının şöhrətinə arxalanmağı sevməyən Enrike çox qürurlu idi və o bu albomu onun köməyi olmadan çıxartmışdı.
Enrique İglesias
Enrike Migel İqlesias Pleysler (isp. Enrique Miguel Iglesias Praysler) — ispan müğənnisi, bəstəkar və prodüser, 116 platin, 227 qızıl diskin və 26 beynəlxalq mükafatın sahibidir. Məşhur ispan müğənnisi Hulio İqlesiasın oğludur. == Həyatı == Enrike İqlesias 1975-ci il mayın 8-də Madriddə anadan olmuşdur. Anası İzabel və atası Hulio ayrıldıqdan sonra Enrike bir müddət anası ilə yaşamışdır. Babası quldurlar tərəfindən oğurlandıqdan sonra anası 10 yaşlı Enrikeni atasının yanına - Mayamiyə göndərmişdir. O, burada universitetdə təhsil almış, lakin onun musiqiyə olan həvəsi və qüruru onu atasının evini tərk etməyə məcbur etmişdir. Özünə mənzil tutaraq, axşamlar kiçik bir restoranda mahnı oxuyur və ailəsindən xəbərsiz ilk albomu üçün mahnılar yazır. Hətta ilk albomunu 20 yaşında çıxarmasına baxmayaraq, albomu üçün mahnıları hələ 16 yaşında ikən yazmağa başlamışdır. Atasının şöhrətinə arxalanmağı sevməyən Enrike çox qürurlu idi və o bu albomu onun köməyi olmadan çıxartmışdı.
Fox Engine
Fox Engine — multiplatform bir oyun mühərrikidir. Kojima Productions tərəfindən qurulub. Hesab edilir ki, bu mühərrik videooyunların növbəti nəsili (ing. next generation) üçün nəzərdə tutulmuşdur. Mühərrikin inkişafı Metal Gear Solid 4: Guns of the Patriots tamamlanmasından sonra başlandı. Hədəf dünyada ən yaxşı mühərriki yaratmaq idi. Bu mühərrik Kojima Productions-a vaxtını əhəmiyyətli dərəcədə azaldıb, multiplatform oyunları hazırlamağa imkan verəcək. Həmçinin bu bir platforma üçün oyunların yaradılmasından imtina üçün addımdır. Mühərrik Fox adını Metal Gear oyun serialında olan uydurulmuş hərbi hissə şərəfinə alıb, həmçinin tülkü (ing. fox) Kojima Productions loqotipində təsvir edilmişdir.