genleşmiş mantık dizgesi
Bir mantıksal dizgeye yeni mantıksal değişmezler katmakla elde edilen (ilkini de kapsayan) mantık dizgesi. || Örn. Temel mantık eklemler mantığının,kipler mantığı da temel mantığın genleşmesidir.
genleşmiş mantık dizgesi ile benzer kelimeler
doğal türetimli mantık dizgesiİng. system of logic with natural deductionMantıksal ilksavları, dolayısıyla öncülsüz çıkarım kuralları olmayan mantık dizgesi. || Krş.. ilksavlı mantık dizgesi. |
ilksavlı mantık dizgesiİng. axiomatic system of logicMantıksal ilksavı, dolayısıyla öncülsüz çıkarım kuralı olan mantık dizgesi. |
mantık dizgesiİng. system of logicGeçerli mantıksal dizgelerin ortak yapısını belirleyen mantıksal değişmezler, düzgün deyim dizimsel türleri, bir de çıkarım kurallarından oluşan dizge. Krş.. mantıksal dizge. |
genleşmiş biçimsel dizgeİng. extension of a formal systemBir biçimsel dizgenin abecesine yeni imler, ilksavlar kümesine de yeni önermeler katmakla elde edilen (ilkini, kapsayan) biçimsel dizge. |
genleşmiş dilİng. extension of a languageBir biçimsel dilin abecesine yeni imler katmakla oluşturulup, ilk dilin düzgün deyimlerinin tümünü kapsayan yeni biçimsel dil. || ( ) |
genleşmiş kuramİng. extension of a theory( ) |
akıl var, izan (veya mantık veya yakın) var1) herhangi bir şey bilgiye ve mantığa dayalı olarak yapılmalıdır anlamında kullanılan bir söz; 2) her şey ortada anlamında kullanılan bir söz. |
aritmetik-mantık birimiİng. arithmetic logic unit, ALUBilgisayarın toplama, çıkarma, çarpma, bölme, karşılaştırma gibi temel aritmetik ve mantık işlemlerini yapmak üzere kullandığı elektronik çevrimler topluluğu. |
"genleşmiş mantık dizgesi" karakter analizi
- genleşmiş mantık dizgesi, 24 karakter ile yazılır.
- g harfi ile başlar, i harfi ile biter.
Karakter dağılımı
- 'g', 'e', 'n', 'l', 'e', 'ş', 'm', 'i', 'ş', ' ', 'm', 'a', 'n', 't', 'ı', 'k', ' ', 'd', 'i', 'z', 'g', 'e', 's', 'i', şeklindedir.
- genleşmiş mantık dizgesi kelimesinin tersten yazılışı ' isegzid kıtnam şimşelneg' diziliminde gösterilir.