نتائج البحث

{{عن|التضمين في المنطق||تضمين (توضيح)}} ...فرضيتها. إن [[تحليل فلسفي|التحليل الفلسفي]] للتوالي المنطقية يتضمن السؤال: ما هو مقدار صواب استنتاج تال من فرضيته؟ وماذا يعني أن يكون الاستنباط تالياً لل ...

'''التكافؤ المنطقي''' في علم [[منطق رياضي|المنطق]] الرياضياتي هو تكافؤ عبارتين أو افتراضين عندما يتشاركان في المحتوى أو المع [[تصنيف:ما وراء المنطق]] ...

في المنطق، بناء الجملة هو أي شيء له علاقة باللغات الرسمية أو الأنظمة الرسمية دون النظ غالبًا ما يتم ربط بناء الجملة بالقواعد (أو القواعد النحوية) التي تحكم تكوين النصوص في ...

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

...ماني [[غوتفريد لايبنتس]]. وهو أحد مبدأيه العظيمين في الميتافيزيقيا (علم ما وراء الطبيعة), أما المبدأ الآخر فهو [[مبدأ العلة الكافية|مبدأ السبب الكافي]]. كل ...أمور تافهة أو تناقض. على سبيل المثال (المفصل أدناه) دالة التقييم التي تظهر ما إن كان كائن يساوي x (غالباً تعتبر فرضية جيدة). ونتيجة لذلك، هناك عدة نصوص م ...

...tledge|سنة=2008|مكان=New York|صفحات=8–9|isbn=978-0415283304}}</ref> غالبًا ما تتم الإشارة إلى ذلك في [[أنسلم من كانتربري|أنسيلم كانتربري]] : في عبارته "ل للمبدأ تعابير متعددة، ولعل أفضل تلخيص لها جميعا هو ما يلي: ...

...|حالة المسار=live}}</ref> وهي الموضوع الرئيسي لمجال [[نظرية]] الحاسوبية في المنطق الرياضي ونظرية الحساب في [[علم الحاسوب|علوم الحاسوب]]. حاسوبية المشكلة ترتب ...مثال، قد تكون ج وك هما كل مجموعة الحروف الثنائية المتناهية، وقد تأخذ د حرف ما وتعيد الحرف الذي تم الحصول عليه عن طريق عكس أرقام المدخلات (فتكون د (0101)= ...

...[[إعلام|وسائل الإعلام]] يجب أن تخضع للتنقيح والمراقبة العامة. وقد تطور هذا المنطق إلى المفهوم الأمني المشهور «لا تثق في الشبكة.» ...تخدام منطق بان في الغالب صيغة تنويت البروتوكول الأمني لبروتوكول ما وأحيانا ما تقدم في صورة ورقية. ...

...مية منظمة، حتى أن [[فلوريان كاجوري|كاجوري]] قال: «إن العقل ليدهش عندما يرى ما عمله العرب في الجبر..» ...علماء الإغريق وعلم الحساب في [[الهند]]، فأعطاها طابعه الخاص من الالتزام [[المنطق|بالمنطق]]. ...

...ي تمنح [[مبرمج|المبرمجين]] وحدات ماكرو لتطوير البرامج بالترتيب الذي يتطلبه المنطق وتدفق أفكارهم. <ref>"I had the feeling that top-down and bottom-up were opp ...در للمبرمج الذي يتبع أمر ترجمة إلزامي الذي يلزمه أن يفك شفرة عملية التفكير وراء البرنامج من الشفرة وتعليقاتها المرتبطة بها. يُزعم أيضًا أن اللغة الوصفية لل ...

...ختلفة من البيانات ولكنه يختفي أو ينعكس عندما يتم دمج هذه المجموعات. غالبًا ما تُصادف هذه النتيجة في إحصاءات العلوم الاجتماعية والعلوم الطبية <ref> الأهمية العملية لمفارقة سيمبسون في حالات صنع القرار حيث تطرح المعضلة التالية: ما هي البيانات التي يجب أن نستشيرها عندما نتصرف، مجمع أو مقسم؟ في مثال حصوات ا ...

...[الشبكات]] و[[الأنظمة المضمنة|الأنظمة المدمجة]] في الأسس والتصاميم الكامنة وراء [[الأنظمة المعقدة]]. كما تصف [[هندسة الحاسوب]] بناء مكونات الحاسوب والمعدات ينصب تركيز علوم الحاسوب على تحديد ما يمكن وما لا يمكن أتمتته.<ref name=MITAutomated/><ref name=DenningAutomated/ ...

أهم سمة تميز أعماله الفلسفية هي البحث عن معيار صادق للعقلانية العلمية. ما بين عامي [[1949]] ـ [[1969]] عمل أستاذاً للمنطق والمناهج العلمية ب[[جامعة ل ...لشرطة النار على ثمانية من رفاقه الحزب الذين كانوا بلا سلاح، تحول بعيدًا عن ما رآه كفلسفة [[كارل ماركس]] في [[مادية تاريخية|المادية التاريخية]]، وتخلى عن ...

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

...اضيات بحتة|الرياضيات البحتة]] دون وضع أي تطبيق على أرض الواقع، ولكن غالبًا ما يتم اكتشاف التطبيقات العملية لما بدأ في الأول كرياضيات بحتة.<ref>Peterson, ..._frame=0 |تاريخ أرشيف=March 7, 2013 |df=mdy-all |حالة المسار=live}}</ref> «ما يمكن للمرء أن يعرف»، وبالتالي «الدراسة» و«ال[[علم]]». أصبحت كلمة «الرياضيات ...

...استخدام مفاهيم لا نهائية من الجمع، الحدود والتقارب. الصفة «جبري» عادة تعني ما يتعلق بالجبر، كما في [[بنية جبرية|الهيكل الجبري]]. ولأسباب تاريخية، قد تعني إن أهم ما يُعرف به علم الجبر هو تشابه عملياته [[حسابيات|الحسابية]] بالعمليات الحسابية ...

...ويلات لورينتز]] الذي ترك [[معادلات ماكسويل]] ثابتة، لكنه لم يكن مهتمًا على ما يبدو ب[[تجربة ميكلسون ومورلي]] على انجراف [[الأرض]] من خلال [[أثير ناقل للض ...ن|ريمان]] وآخرين، أن [[مكان (فيزياء)|الفضاء]] نفسه قد يكون منحنيًا. غالبًا ما تكون المسائل النظرية التي تحتاج إلى تحقيق حسابي هي الشغل الشاغل [[فيزياء مح ...

تكمن وراء كل الاقتصاد المالي مفاهيم [[قيمة حالية|القيمة الحالية]] [[قيمة متوقعة|والتو ...البحث عن المخاطر|يبحثون عن المخاطرة]] بدلاً من [[تجنب المخاطر]]ة، ولكن نفس المنطق سينطبق). ...

...فسها في جميع الجهات. وقد يختلف الشكل الحقيقي للكون عن الشكل الكروي. إلا أن ما نستطيع رؤيته من ضوء أو إشارات أخرى إنما هي آتية إلينا من مصادر بعيدة من جمي ...سبقت ظهور [[إشعاع الخلفية الكونية الميكروي|الخلفية الميكرونية الكونية]] أو ما هو أبعد من ذلك مثل [[موجة ثقالية|الأمواج الثقالية]] ويمكن أحيانا التفريق بي ...

...د معظم الباحثين أن «[[نظرية عتبة الكم|الحوسبة الكمية التي تتحمل الأخطاء]] [ما زالت] حلما بعيد المنال».<ref name="preskill2018">{{استشهاد بدورية محكمة ...uantum-computer-sycamore.html | تاريخ أرشيف = 11 نوفمبر 2021 }}</ref> ولكن ما إذا كان هذا الادعاء كان أم لا لا يزال صالحًا هو موضوع بحث نشط.<ref>{{استشها ...