اعتقال الإرهابي الدولي المعروف باسم كارلوس وقع في السودان في ١٤ أغسطس ١٩٩٤. يُعرف كارلوس بأنه عنصر ارتبط بأعمال إرهابية دولية واشتُهر بلقب كارلوس في سجلات... نظرية فالتينجز تنص على أن المنحنى الجبري غير المنفرد C من الجنس g>١ المعرفة على حقل الأعداد المنطقية Q يملك فقط عدداً محدوداً من النقاط المنطقية؛ وهي نتيجة في الهندسة الجبرية العددية تربط بنية المنحنيات ذات الجنس الأكبر من ١ بمحدودية الحلول المنطقية وتُثبت عبر تقارن ارتفاعات فالتينجز وارتفاعات سيجل المعيارية واستعمال تقنيات تقليل جيدة […] موريتس شليك فيلسوف ألماني نمساوي من مؤسسي حلقة فيينا والوضعية المنطقية. اهتم بفلسفة العلم والمعرفة والمعنى، وسعى إلى ربط الفلسفة بالتحليل المنطقي والعلوم التجريبية. تأثر بأينشتاين وفيتجنشتاين، وقاد جماعة فكرية حاولت تطهير الفلسفة من الميتافيزيقا غير القابلة للتحقق. انتهت حياته مقتولاً في جامعة فيينا. ويمثل شليك شخصية مركزية في الفلسفة التحليلية الحديثة، حيث صار سؤال […] برولوج لغة برمجة منطقية صممت لجعل البرمجة قائمة على الحقائق والقواعد والاستفسارات بدلاً من سلسلة أوامر تقليدية. نشأت في سياق البحث في معالجة اللغات الطبيعية... في الجبر البولياني والإلكترونيات الرقمية تُعرف عملية ناند، المنطقية التي تُمثّل نفي نتيجة عملية «و»، أيضاً باسم دالة شيفر أو قضيب شيفر، وتُسمّى أحياناً بوابة شيفر؛...