Prezintaciya po informatike na temu M?ntiq elminin tarixi

Məntiqi əməllərMəntiq elminin tarixistyle.fontStylestyle.fontWeightstyle.textDecorationUnderline İnversiya (məntiqi inkar)Dizyunksiya (məntiqi toplama)Konyuksiya (məntiqi vurma)İmplikasiya (məntiqi nəticə)Ekvivalentlik (məntiqi müqayisə)Məntiqi əməllər {5C22544A-7EE6-4342-B048-85BDC9FD1C3A}Məntiqi inkar əməlinin doğruluq cədvəliA¬ ADoğruYalanYalanDoğruMəntiqi inkar – Inversiya (¬) {5C22544A-7EE6-4342-B048-85BDC9FD1C3A}Məntiqi toplama əməlinin doğruluq cədvəliABA V BDoğruDoğruDoğruDoğruYalanDoğruYalanDoğruDoğruYalanYalanYalanMəntiqi toplama – Dizyunksiya (V) {5C22544A-7EE6-4342-B048-85BDC9FD1C3A}Məntiqi vurma əməlinin doğruluq cədvəliABA Λ BDoğruDoğruDoğruDoğruYalanYalanYalanDoğruYalanYalanYalanYalanMəntiqi vurma – Konyuksiya (Λ) Əgər – A, Onda – BMəntiqi nəticə - Implikasiya (=>){5C22544A-7EE6-4342-B048-85BDC9FD1C3A}Məntiqi nəticə əməlinin doğruluq cədvəliABA => BDoğruDoğruDoğruDoğruYalanYalanYalanDoğruDoğruYalanYalanDoğru {5C22544A-7EE6-4342-B048-85BDC9FD1C3A}Ekvivalentlik əməlinin doğruluq cədvəliABA  BDoğruDoğruDoğruDoğruYalanYalanYalanDoğruYalanYalanYalanDoğruEkvivalentlik – iki sadə məntiqi ifadənin müqayisəsinin məntiqi nəticəsi. – ( <=>) Kompüterin əsas hissələrini sadalayın.Dərsdə kim yoxdur?Bakı Azərbaycanın paytaxtıdır.2+2=4Bakıdan Moskvaya qədər məsafə nəyə bərabərdir?Ağ ayılar Avstraliyada yaşayırlar.Qapını aç!Aşağıdakı cümlələrdən hansılar mülahizədir? Onların doğruluğunu müəyyənləşdirin. 11 ədədi təkdir və sadədir.27 ədədi təkdir və ikirəqəmlidir.Fil ətyeyən heyvan deyil.Ləman Emindən böyükdür, Orxan Ləmandan böyükdür.Əgər ədəd 2-yə bölünürsə, onda o cütdür.Əgər ədəd 9-a bölünürsə, onda o, 3-ə bölünür.Ədəd yalnız və yalnız o zaman 5-ə bölünür ki, onun sonu 5 və 0-la qurtarsın.Aşağıdakı mülahizələri məntiqi ifadə şəklində yazın. Bütün insanlar eyni dildə danışır.16, -9, 456 kəsr ədədlərdir.1842 ədədi 3-ə tam bölünmür.Gündüz qaranlıq olur.İnkardan istifadə edib, mülahizələri dəyişdirin. 1. İnversiya (¬)2. Konyuksiya (Λ)3. Dizyunksiya (V)4. İmplikasiya (=>)5. Ekvivalentlik ()Məntiqi əməllərin üstünlük dərəcəsi. Klassik məntiqHə-yox, köhnə - yeni, alt – üst, ağ – qara.Əbu Nəsr Əl-Fərabi 870-950Aristotele.ə. 384-322 Simvolik məntiq Bu məntiqə söykənən islam mədəniyyəti görünməmiş dərəcədə irəlilədi. Bu irəliləyişin nəticələri Qərbə keçdi və Qərb mədəniyyəti təkrarən bu məntiqə söykənərək daha da inkişaf etdi. Bu məntiqi 20-ci əsrin başlanğıcında Rassel sistemləşdirdi.İbn Sina 980-1037 Bertran Rassel1872-1970 Qeyri-səlis məntiqFuzzy logicİngilis dilində fuzzy logic- dilimizə “bulanıq“, “dumanlı”, “aydın olmayan” mənasını verir. Azərbaycandilli ədəbiyyatda işlədilən “qeyri səlis məntiq” rus dilindən “нечеткая логика” termininin tərcüməsidir. Lütvi Ələsgərzadə 1921
Qeyri səlis məntiqə əsaslanan idarəetmə modelləri Nizami rayon 129 № li tam orta məktəbin informatika müəllimi Zamanova Aynur.