bileştiriciler mantığı
bileştiriciler mantığı İng. combinatory logic
Değişkenleri bütünüyle eleyip yerlerine belli bir takım işlevler koyan bir mantık dizgesi.
bileştiriciler mantığı ile benzer kelimeler
betim mantığıİng. logic of descriptionTemel mantığa betimleyicileri katmakla elde edilen genleşmiş 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. |
çoklu yüklemler mantığıİng. polyadic predicate logicEn az bir çoklu yüklem türünü kapsayan yüklemler mantığı bölümü. |
doğrusal eklemler mantığıİng. truth functional logicYalnız doğrusal eklemler kapsayan eklemler mantığı. |
doğrusal olmayan eklemler mantığıİng. non truth-functional sentential logicDoğrusal olmayan eklemleri de kapsayan eklemler mantığı. |
düzgüler mantığıİng. logic of normsÖdev mantığı, |
"bileştiriciler mantığı" karakter analizi
- bileştiriciler mantığı, 22 karakter ile yazılır.
- b harfi ile başlar, ı harfi ile biter.
Karakter dağılımı
- 'b', 'i', 'l', 'e', 'ş', 't', 'i', 'r', 'i', 'c', 'i', 'l', 'e', 'r', ' ', 'm', 'a', 'n', 't', 'ı', 'ğ', 'ı', şeklindedir.
- bileştiriciler mantığı kelimesinin tersten yazılışı ' ığıtnam reliciritşelib' diziliminde gösterilir.