yöneticiler mantığı
Temel mantığa bir ya da birden çok sayıda yönetici (doğrusal olmayan eklem) katmakla oluşturulan genleşmiş mantık dizgesi. Krş.. yalınç yöneticiler mantığı, karmaşık yöneticiler mantığı.
yöneticiler mantığı ile benzer kelimeler
karmaşık yöneticiler mantığıİng. complex modal logicBirden çok sayıda ilkel yöneticisi olan yöneticiler mantığı dizgesi. || Örn. Bilgisel ile sanısal yöneticileri ya da kipsel ile ödevsel yöneticileri olan mantık dizgeleri. |
yalınç yöneticiler mantığıİng. simple operator logic, simple modal logicBir tek ilkel yöneticisi olan yöneticiler mantığı dizgesi. || Örn. yalnız ödevsel yöneticileri olan yöneticiler mantığı dizgesi. Krş.. karmaşık yöneticiler mantığı. |
yöneticiler mantığı çözümleyici kümesiİng. model set for operator logicYöneticilere ilişkin almaşıklık bağıntılarının gerektirdiği koşulları yerine getiren temel mantıklı çözümleyici küme. || Krş.. kipsel almaşıklık bağıntısı, bilgisel almaşıklık bağıntısı, sanısal almaşıklık bağıntısı, ödevse... |
betim mantığıİng. logic of descriptionTemel mantığa betimleyicileri katmakla elde edilen genleşmiş mantık dizgesi, |
bileştiriciler mantığıİng. combinatory logicDeğişkenleri bütünüyle eleyip yerlerine belli bir takım işlevler koyan bir mantık dizgesi. |
birinci basamak mantığıİng. first order logicBireysel değişkenden başka değişkeni olmayan mantık dizgesi. || Krş. yüksek basamak mantığı. |
birli yüklemler mantığıİng. monadic predicate logicMantıksal olmayan değişmez türleri, yalnız ad ve birli yüklemleri kapsayan yüklemler mantığı bölümü. |
buyruklar mantığıİng. logic of commandsİçinde en az bir buyruk geçen çıkarımların geçerliliğini konu edinen önermesel olmayan mantık dizgesi. |
"yöneticiler mantığı" karakter analizi
- yöneticiler mantığı, 19 karakter ile yazılır.
- y harfi ile başlar, ı harfi ile biter.
Karakter dağılımı
- 'y', 'ö', 'n', 'e', 't', 'i', 'c', 'i', 'l', 'e', 'r', ' ', 'm', 'a', 'n', 't', 'ı', 'ğ', 'ı', şeklindedir.
- yöneticiler mantığı kelimesinin tersten yazılışı ' ığıtnam relicitenöy' diziliminde gösterilir.