وصول أسرع من المتصفح!
6 علاقات: نظرية الحاسوبية، مبرهنات عدم الاكتمال لغودل، مجموعة مرقمة بشكل تراجعي، مسألة كثير حدود وكثير حدود غير قطعي، آلان تورنغ، برنامج أهلا بالعالم.
نظرية الحاسوبية
يسار نظرية الحاسوبية وتعرف أيضاً بالنظرية العودية وأيضا بنظرية الاستدعاء الذاتي وهي أحد فروع المعلوماتية النظرية تمتأسيسه في عام1930مtheoretical computer science والتي تدرس مسائل قابلة للحلحلة حاسوبيا computationally solvable باستخدامنماذج مختلفة للحوسبة.
الجديد!!: مسألة توقف ونظرية الحاسوبية · شاهد المزيد »
مبرهنات عدم الاكتمال لغودل
يسار مبرهنات عدمالاكتمال لغودل هما مبرهنتان في المنطق الرياضي برهنَ عليهما كورت غودل في عام1931.
الجديد!!: مسألة توقف ومبرهنات عدم الاكتمال لغودل · شاهد المزيد »
مجموعة مرقمة بشكل تراجعي
طبقًا لنظرية الحوسبة، والمعروفة عادةً بنظرية العدد أو التكرار، فإن مجموعة الأعداد الطبيعية S تكون مرقّمة بشكلٍ عوديّ (تراجعي)، وقابلة للعد أو الإحصاء حسابيًا، وتكون قابلة للحسمجزئيًا، ويمكن إثباتها بالبرهان أو يمكن لآلات تورنغ تمييزها والتعرُّف عليها بسهولة إذا.
الجديد!!: مسألة توقف ومجموعة مرقمة بشكل تراجعي · شاهد المزيد »
مسألة كثير حدود وكثير حدود غير قطعي
يسار إن العلاقة بين مسائل التعقيد كثيرة الحدود وكثير حدود غير قطعي هي مسألة غير محلولة في المعلوماتية النظرية.
الجديد!!: مسألة توقف ومسألة كثير حدود وكثير حدود غير قطعي · شاهد المزيد »
آلان تورنغ
آلان ماتيسون تورنغ (23 حزيران/يونيو 1912 – 7 حزيران/يونيو 1954) كان عالِمرياضياتٍ وحاسوبٍ وعالممنطقٍ فضلًا عن كونهِ محلِّلَ شفراتٍ وفيلسوف وعالِمأحياءٍ رياضي.
الجديد!!: مسألة توقف وآلان تورنغ · شاهد المزيد »
برنامج أهلا بالعالم
برنامج "أهلا بالعالم!" من براين كيرنيغان (1978). برنامج أهلا بالعالمهو برنامج حاسوبي يطبع جملة «أهلا بالعالم» على جهاز العرض، ويعتبر هذا النوع من البرامج تقديمًا جيدًا لبداية تعلّمأي لغة برمجة جديدة.
الجديد!!: مسألة توقف وبرنامج أهلا بالعالم · شاهد المزيد »
