نتائج البحث

* [[طريقة شكلية|أساليب رسمية]] * [[علوم شكلية]] ...

{{شريط بوابات|رياضيات|علوم|منطق}} [[تصنيف:علوم شكلية]] ...

[[تصنيف:علوم شكلية]] ...

...ثر من مرة للوصول إلى جملة مطلوبة. لا ينبغي الخلط بينه وبين [[نظام الإنتاج (علوم الكمبيوتر)]]. [[تصنيف:لغات شكلية]] ...

...تأثيرات ذات مقياس التدفقات. تستخدم شكلية باتالين-فيلكوفيسكي، وهي امتداد من شكلية بي آر إس تي. {{شريط بوابات|الفيزياء|الكيمياء|علوم|كيمياء فيزيائية|ميكانيكا الكم}} ...

تسمى اللغة الخالية من السياق في علوم [[حاسوب|الحاسب الآلي]] بأنها صيغة تشومسكي العادية (Chomsky normal form)، إذ [[تصنيف:لغات شكلية]] ...

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

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

في [[علم الحاسوب|علوم الكمبيوتر]] ، ''[[نحو (حوسبة)|مصطلح بناء]]''الجملة يشير إلى القواعد التي تح [[تصنيف:لغات شكلية]] ...

...ت و[[إحصاء|الإحصاء]]، و[[علم الحاسوب|علوم الحاسب]] و[[فيزياء|الفيزياء]] و[[علوم عصبية|النيوروبيولوجيا]] و[[هندسة الكهرباء|الهندسة الكهربائية]]. تطبيقاتها ك [[تصنيف:علوم شكلية]] ...

{{شريط بوابات|رياضيات|علم الحاسوب|علوم}} [[تصنيف:طرق شكلية]] ...

| صنف فرعي من = [[علوم شكلية]] <div class="thumbcaption">تتعامل علوم الحاسوب مع النظريات الأساسية للمعلومات والحساب، والتقنيات العملية لتنفيذها ...

|صنف فرعي من=[[علوم صورية|علوم شكلية]]، [[علوم دقيقة]] ...ضية [[علوم طبيعية|العلوم الطبيعية]] وال[[هندسة]] وال[[طب]] وال[[تمويل]] و[[علوم اجتماعية|العلوم الاجتماعية]]. أدت [[رياضيات تطبيقية|الرياضيات التطبيقية]] إ ...

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

{{وإو|شكلية الجسم الواحد المؤثر|Effective one-body formalism|en|تقريب الجسم الواحد المؤ {{شريط بوابات|الفضاء|الفيزياء|المجموعة الشمسية|رحلات فضائية|علم الفلك|علوم|نجوم}} ...