رياضيات متقطعة: الفرق بين النسختين

[نسخة منشورة][نسخة منشورة]
تم حذف المحتوى تمت إضافة المحتوى
ط بوت: تدقيق إملائي و/أو تنسيق
ط مسمى آخر
سطر 1:
[[ملف:6n-graf.svg|thumb|250px|إن [[رسم بياني|الرسوم البيانية]] مثل الرسمة الموجودة أعلاه هي أحد المواضيع التي تتم دراستها في الرياضيات المتقطعة، وذلك بسبب [[خواص الرسم البياني|خواصها الرياضياتية]]، وفوائدها في حل مسائل العالم الحقيقي، وأهميتها في تحسين [[خوارزمية|الخوارزميات]] الحاسوبية.]]
 
''' الرياضيات المتقطعة''' (ب[[إنجليزية|الإنجليزية]]:أو '''الرياضيات المنفصلة''' {{إنج|Discrete mathematics)}} أو تدعى أيضا '''الرياضيات المتناهية''' أو '''الرياضيات المحددة''' ({{إنج|finite mathematics)}}، هي دراسة [[بنية رياضية|البنى الرياضية]] التي تكون متقطعة أساسا، بمعنى أنها لا تستدعي وجود صفة [[اتصال|الاتصال]] ولا تتطلبه لكي تدرس هذا الموضوع.<ref>[http://jhupbooks.press.jhu.edu/ecom/MasterServlet/GetItemDetailsHandler?iN=9780801866890&qty=1&viewMode=1&loggedIN=false&JavaScript=y Graphs on Surfaces], [[Bojan Mohar]] and [[Carsten Thomassen]], Johns Hopkins University press, 2001 {{Webarchive|url=http://web.archive.org/web/20100611224850/http://jhupbooks.press.jhu.edu/ecom/MasterServlet/GetItemDetailsHandler?iN=9780801866890&qty=1&viewMode=1&loggedIN=false&JavaScript=y |date=11 يونيو 2010}}</ref><ref>{{مرجع كتاب| المؤلف = Samuel R. Buss| العنوان = Handbook of Proof Theory| المسار = https://books.google.com/?id=MfTMDeCq7ukC&pg=PA13| السنة = 1998| الناشر = Elsevier| isbn = 978-0-444-89840-1| الصفحة = 13 }}</ref><ref>{{cite journal | citeseerx = 10.1.1.111.1105 | العنوان = Cyclic proofs of program termination in separation logic | الأول1 = J. | الأخير1 = Brotherston | الأول2 = R. | الأخير2 = Bornat | الأول3 = C. | الأخير3 = Calcagno | journal = ACM SIGPLAN Notices | volume = 43 | issue = 1 |التاريخ=January 2008 | doi = 10.1145/1328897.1328453 }}</ref>
 
معظم الموضوعات التي تدرسها الرياضيات المتقطعة ترتبط [[مجموعة عدودة|بمجموعات عدودة]] (قابلة للعد) countable sets (و هو مفهوم مغاير تماما لمفهوم المجموعات المنتهية)، أحد أمثلته : مجموعة الأعداد الصحيحة integers.