نتائج البحث

...de=true&query=nid=4052053-5 | تاريخ أرشيف = 14 مايو 2021 }}</ref> يقابله [[منطق تسلسلي|المنطق التسلسلي]] والذي تعتمد مخرجاته على المدخلات السابقة بالإضافة ...مليات الحسابية الرياضية باستخدام المنطق التجميعي. الدوائر الأخرى المستخدمة في أجهزة الكمبيوتر، مثل [[جوامع منطقية|half adders]]، [[جوامع منطقية|full adde ...

...لشكلية، يمكن أن ننظر إلى اللغة الشكلية على أنها مماثلة لمجموعة [[كلمة (علم الحاسوب النظري)|كلمات]] أو مجموعة جمل. * [[علم النحو]] ...

في [[نظرية الحوسبة]]، '''دالة أكرمان'''، والتي سميت من بعد الرياضي الألماني [[ {{شريط بوابات|رياضيات|علم الحاسوب|منطق}} ...

...على الدوائر التي لا تؤثر على وظيفة المنطق ثابتة. وهناك عدة أسباب لوجود '''منطق التكرار'''. النظر في المعادلة التالية: ...

'''الفصل المنطقي المنفي''' - هي علاقة ثنائية في [[جبر بول|الجبر المنطقي]] على متغيرين، قدمت بواسطة [[تشارلز ساندرز برس|تشار {{شريط بوابات|إلكترونيات|رياضيات|فلسفة|منطق}} ...

تستخدم '''قوانين [[أغسطس دي مورغان|دي مورجان]]''' في قواعد المنطق في وصف نتيجة عكس عمليتي الضرب المنطقي(و) and و الجمع المنطقي(أو) or {{منطق}} ...

...ن''') [[عملية أحادية]]، إما على [[مجموعة (رياضيات)|مجموعة]] من [[كلمة (علم الحاسوب النظري)|الكلمات]] أو على مجموعة من الرموز أو الحروف. يتم كتابة تطبيق النجمة ...أو الأحرف إذا ''V'' * هي مجموعة لكل السلاسل خلال رموز المجموعة ''V''، بما في ذلك الكلمة الفارغة. ...

...]. تسمى المسألة 3 سات 3 SAT اختصارا ل 3 satisfiability. و تبحث هذه المسألة في ما إذا كانت [[جملة منطقية]] من نوع Conjunctive normal form تتكون من 3 متغير مسألة 3SAT هي مسألة مشتقة من المسألة العامة SAT، حيث في كل قوس يوجد ثلاث متغيرات بالضبط. وهي أيضا من [[المسائل NP]] الكاملة. ...

في المنطق، بناء الجملة هو أي شيء له علاقة باللغات الرسمية أو الأنظمة الرسمية د يهتم بناء الجملة بالقواعد المستخدمة في بناء أو تحويل رموز وكلمات اللغة، على عكس دلالات اللغة التي تهتم بمعناها. ...

...jpg|تصغير|شكل بصري للاستدعاء الذاتي يعرف ب''[[تأثير دروست]]''. تحمل المرأة في الصورة جسم الذي يحتوي على صورة أصغر لها وهي حاملة نفس الجسم، والذي بدوره يح ...حيث أنه يشير إلى طريقة لتعريف [[دالة|دوال]] بحيث أن الدالة المعرفة تُستعمل في تعريف نفسها. ...

في نظرية التعقيد القسم '''PH''' هو قسم كل اللغات في هرم متعدد الحدود (Polynomial hierarchy)، وهذا القسم يشمل جزء لا بأس به من ا ::: في حين أنَّ:<math>\mbox{NP}^C</math> هي مجموعة اللغات التي يمكن تقريرها بواسطة ...

...وقد نتج عن هذا التوجه ما يعرف بالأنظمة الخبيرة أو الذكاء الاصطناعي ويعتبر علم المنطق الضبابي أحد النظريات التي يمكن من خلالها بناء مثل هذه الأنظمة. ...و منظومة منطقية تقوم على تعميم للمنطق التقليدي ثنائي القيم، وذلك للاستدلال في ظروف غير مؤكدة. وبالمعنى الضيق فهو نظريات وتقنيات تستخدم المجموعات الضبابية ...

...الكتل» باعتباره مجموعة من القواعد حول تكديس الكتل مع بعضها البعض. في نظام منطق الرتبة الأولى، يلزم وجود مسلمات إضافية من أجل توفير الاستنتاجات اللازمة حول ...ثل كيفية تقديم الادعاءات الافتراضية العقلانية وما يعتبره البشر الحس السليم في البيئة الافتراضية.<ref>{{استشهاد بدورية محكمة|عنوان=Some philosophical prob ...

...{{إنج|Boolean domain}} هو مجال في [[المنطق]] و[[رياضيات|الرياضيات]] و[[علم الحاسوب|علوم الكمبيوتر النظرية]] يتكون من عنصرين بالضبط تتضمن تفسيراتهما الصح أو ال [[بنية جبرية|البنية الجبرية]] تبني في المجال المنطقي على {{وإو|عنصري القيمة المنطقية الجبريين|Two-element Boolean ...

'''العودية''' أو '''الاستدعاء الذاتي''' في [[علم الحاسوب]] هو طريقة التي فيها الحل لمسألة ما يعتمد على حلول مسائل أصغر من نفس النوع. ...يق هذا النهج على أنواع عديدة من المسائل، وهو واحد من الأفكار المركزية بعلم الحاسوب. ...

...ا مجال واسع في [[علم الحاسوب]] وذلك لسهولة دمجها في [[خوارزمية|خوارزميات]] الحاسوب ولما تحققه من تبسيط للمعادلات المنطقية المركبة وبذلك تقليل التكلفة. ...وفق عدد خانات العدد (1) (minterms) فيها تصاعدياً (الخطوتين الأولى والثانية في المثال). ...

[[ملف:Wikipedia in binary.gif|تصغير|كلمة „Wikipedia“ بترميز الحاسوب [[أسكي]]]] '''الرمز ثنائي''' (بالإنجليزية: Binary code) هو رمز يكتب المعلومات في مسلسلة رقمية تتكون من رمزين (مثل 0 / 1 أو صحيح/غير صحيح). ...

[[ملف:Quantum_gate_teleportation.png|تصغير|500x500بك| المثال الوارد في <ref name="Gottesman-Chaung">{{استشهاد بدورية محكمة ...لنقل الآني للبوابة الكمومية (Quantum gate teleportation)''' هو أحد أشكال [[الحاسوب الكمي أحادي الاتجاه|الكمبيوتر الكمومي أحادي الاتجاه]] حيث يتم تطبيق البوابا ...

.... وبهذا، تكون العلاقات في الجبر البولي مُشابِهة للعلاقات العددية المستخدمة في الجبر المعتاد. ...(''The Mathematical Analysis of Logic'') عام 1847، وشرحها أكثر ووضع أُسسها في كتابِه استقراء قوانين التفكير (''An Investigation of the Laws of Thought'') ...

...العلاقة بين [[طاقة|الطاقة]] <math>E</math> و[[كتلة|الكتلة]] <math>m</math> في نظريته عن [[النسبية الخاصة|النسبية]]. ...اضية مبسطة تعرّف الحجم بالنسبة لمتغيرات أخرى مثل شعاع الكرة <math>r</math>.في هذا المثال، صيغة المعادلة هي: <math> V =\frac{4}{3} \pi r^3. </math>. ...