الحاسوبية: الفرق بين النسختين

[نسخة منشورة][نسخة منشورة]
تم حذف المحتوى تمت إضافة المحتوى
JarBot (نقاش | مساهمات)
ط بوت:تدقيق إملائي V1
JarBot (نقاش | مساهمات)
بوت:إضافة مصدر (1.1)، إزالة وسم مصدر
سطر 1:
'''الحاسوبية''' هي القدرة على حل مشكلة ما بطريقة فعاله.<ref>{{مرجع ويب| مسار = https://www.jstor.org/topic/computability | عنوان = معلومات عن الحاسوبية على موقع jstor.org | ناشر = jstor.org}}</ref> وهي الموضوع الرئيسي لمجال [[نظرية]] الحاسوبية في المنطق الرياضي ونظرية الحساب في [[علوم الحاسوب]]. حاسوبية المشكلة ترتبط بشدة بوجود [[خوارزمية]] لحل المشكلة.
{{مصدر|تاريخ=فبراير 2016}}
'''الحاسوبية''' هي القدرة على حل مشكلة ما بطريقة فعاله. وهي الموضوع الرئيسي لمجال [[نظرية]] الحاسوبية في المنطق الرياضي ونظرية الحساب في [[علوم الحاسوب]]. حاسوبية المشكلة ترتبط بشدة بوجود [[خوارزمية]] لحل المشكلة.
إن أوسع نماذج الحاسوبية دراسةً هم [[آلة تورنغ]] ودوال [[مايكرو (وحدة)|المايكرو]] المتكررة وحسابات اللامدا، وجميعهم لهم قوى حسابية معادله. توجد أيضاً أشكال أخرى من الحاسوبية تتم دراستها: مفاهيم الحاسوبية الأضعف من آلات تورنغ تتم دراستهم في نظرية التشغيل الذاتي، بينما مفاهيم الحاسوبية الأقوى من آلات تورنغ تتم دراستهم في مجال الحساب الأعلى.
 
السطر 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.&nbsp;123–222.
 
* {{مرجع كتاب|المؤلف = [[Christos Papadimitriou]] | سنة = 1993 | العنوان = Computational Complexity | الناشر = Addison Wesley | الإصدار = 1st | الرقم المعياري = 0-201-53082-1}} Chapter 3: Computability, pp.&nbsp;57–70.
* {{مرجع كتاب|المؤلفمؤلف = [[S. BarryMichael CooperSipser]] | سنة = 20041997 | العنوانعنوان = ComputabilityIntroduction Theoryto |the الناشرTheory =of Chapman & Hall/CRCComputation | الإصدارناشر = 1stPWS Publishing | الرقم المعياري = 9780-1584882374534-94728-X}} Part Two: Computability Theory, Chapters 3–6, pp.&nbsp;123–222.
* {{مرجع كتاب|المؤلفمؤلف = [[MichaelChristos SipserPapadimitriou]] | سنة = 19971993 | العنوانعنوان = IntroductionComputational toComplexity the| Theoryناشر of= ComputationAddison Wesley | الناشرإصدار = PWS Publishing1st | الرقم المعياري = 0-534201-9472853082-X1}} PartChapter Two3: Computability Theory, Chapters 3–6, pp.&nbsp;123–22257–70.
* {{مرجع كتاب|مؤلف = [[S. Barry Cooper]] | سنة = 2004 | عنوان = Computability Theory | ناشر = Chapman & Hall/CRC | إصدار = 1st | الرقم المعياري = 978-1584882374}}
 
{{معرفة محوسبة}}