الحاسوبية: الفرق بين النسختين
[نسخة منشورة] | [نسخة منشورة] |
تم حذف المحتوى تمت إضافة المحتوى
ط بوت:تدقيق إملائي V1 |
بوت:إضافة مصدر (1.1)، إزالة وسم مصدر |
||
سطر 1:
'''الحاسوبية''' هي القدرة على حل مشكلة ما بطريقة فعاله.<ref>{{مرجع ويب| مسار = https://www.jstor.org/topic/computability | عنوان = معلومات عن الحاسوبية على موقع jstor.org | ناشر = jstor.org}}</ref> وهي الموضوع الرئيسي لمجال [[نظرية]] الحاسوبية في المنطق الرياضي ونظرية الحساب في [[علوم الحاسوب]]. حاسوبية المشكلة ترتبط بشدة بوجود [[خوارزمية]] لحل المشكلة.▼
▲'''الحاسوبية''' هي القدرة على حل مشكلة ما بطريقة فعاله. وهي الموضوع الرئيسي لمجال [[نظرية]] الحاسوبية في المنطق الرياضي ونظرية الحساب في [[علوم الحاسوب]]. حاسوبية المشكلة ترتبط بشدة بوجود [[خوارزمية]] لحل المشكلة.
إن أوسع نماذج الحاسوبية دراسةً هم [[آلة تورنغ]] ودوال [[مايكرو (وحدة)|المايكرو]] المتكررة وحسابات اللامدا، وجميعهم لهم قوى حسابية معادله. توجد أيضاً أشكال أخرى من الحاسوبية تتم دراستها: مفاهيم الحاسوبية الأضعف من آلات تورنغ تتم دراستهم في نظرية التشغيل الذاتي، بينما مفاهيم الحاسوبية الأقوى من آلات تورنغ تتم دراستهم في مجال الحساب الأعلى.
السطر 114 ⟵ 113:
== المراجع ==
{{مراجع}}
* {{مرجع كتاب|المؤلف = [[Michael Sipser]] | سنة = 1997 | العنوان = Introduction to the Theory of Computation | الناشر = PWS Publishing | الرقم المعياري = 0-534-94728-X}} Part Two: Computability Theory, Chapters 3–6, pp. 123–222.▼
* {{مرجع كتاب|
▲* {{مرجع كتاب|
* {{مرجع كتاب|مؤلف = [[S. Barry Cooper]] | سنة = 2004 | عنوان = Computability Theory | ناشر = Chapman & Hall/CRC | إصدار = 1st | الرقم المعياري = 978-1584882374}}
{{معرفة محوسبة}}
|