تعتبر الرياضيات المنفصلة أساسًا لجميع علوم الحاسوب. تغطي هذه الكتب المواضيع الأساسية: المنطق، تقنيات الإثبات، نظرية المجموعات، التركيبات، نظرية الرسوم البيانية، ونظرية الأعداد.
كتب الرياضيات المنفصلة الأساسية
كتب الرياضيات المنفصلة الدراسية القياسية لمرحلة البكالوريوس.
| كتاب | مؤلف | سنة | مستوى | وصف |
|---|---|---|---|---|
| الرياضيات المنفصلة وتطبيقاتها الطبعة الثامنة، ماكغرو هيل | كينيث إتش. روزن | 2019 | مبتدئ-متوسط | أكثر كتب الرياضيات المنفصلة اعتمادًا. تغطية واضحة للمنطق، والبراهين، والمجموعات، والتركيبات، والرسوم البيانية، ونظرية الأعداد. |
| الرياضيات المنفصلة مع التطبيقات الطبعة الخامسة، سينغاج | سوزانا س. إيب | 2019 | مبتدئ-متوسط | استثنائي في تعليم التفكير الرياضي والبراهين. أفضل نص للطلاب الجدد في الرياضيات الرسمية. |
| الرياضيات المنفصلة: مقدمة مفتوحة الطبعة الثالثة، كتاب مفتوح | أوسكار ليفين | 2019 | مبتدئ | كتاب مفتوح مجاني يغطي المنهج القياسي للرياضيات المنفصلة. |
التركيبات
العد، التباديل، التوافيق، والهياكل التركيبية.
| كتاب | مؤلف | سنة | مستوى | وصف |
|---|---|---|---|---|
| جولة في التركيبات الطبعة الرابعة، وورلد ساينتيفيك | ميكلوش بونا | 2016 | متوسط-متقدم | مقدمة جذابة للتركيبات مع توازن ممتاز بين العمق والوصول. |
| التركيبات العدّية، المجلدات 1 و 2 مطبعة جامعة كامبريدج | ريتشارد ب. ستانلي | 2012، 1999 | متقدم | المرجع المتقدم النهائي في التركيبات العدّية. |
| التركيبات: المواضيع، التقنيات، الخوارزميات مطبعة جامعة كامبريدج | بيتر ج. كاميرون | 1994 | متقدم | استطلاع واسع لمواضيع التركيب مع نكهة خوارزمية. |
نظرية الرسوم البيانية
نظرية وتطبيقات الرسوم البيانية.
| كتاب | مؤلف | سنة | مستوى | وصف |
|---|---|---|---|---|
| مقدمة في نظرية الرسوم البيانية الطبعة الثانية، بيرسون | دوغلاس ب. ويست | 2001 | متوسط-متقدم | الكتاب الدراسي القياسي في نظرية الرسوم البيانية مع براهين دقيقة وتغطية شاملة. |
| نظرية الرسوم البيانية الطبعة الخامسة، سبرينغر | راينهارد ديستيل | 2017 | متقدم | نص نظرية الرسوم البيانية على مستوى الدراسات العليا يغطي النتائج الكلاسيكية والحديثة. متاح مجانًا عبر الإنترنت من خلال موقع المؤلف. |
| الرسوم البيانية والرسوم البيانية الموجهة الطبعة السادسة، CRC Press | غاري تشارتراند، ليندا ليسنياك، بينغ زانغ | 2015 | متوسط | كتاب نظرية الرسوم البيانية القابل للوصول مع أمثلة وتمارين واسعة. |
المنطق والإثبات
المنطق الرياضي، تقنيات الإثبات، وإثبات النظريات.
| كتاب | مؤلف | سنة | مستوى | وصف |
|---|---|---|---|---|
| كيف تثبت ذلك الطبعة الثالثة، مطبعة جامعة كامبريدج | دانيال ج. فيلمان | 2019 | مبتدئ-متوسط | أفضل مقدمة لكتابة البراهين الرياضية. أساسي لطلاب علوم الحاسوب الذين ينتقلون إلى الدورات النظرية. |
| المنطق الرياضي الطبعة الثانية، سبرينغر | هـ.-د. إيبينغهاوس، ج. فلوم، و. توماس | 1994 | متقدم | مقدمة دقيقة في المنطق الرياضي بما في ذلك الاكتمال ونظريات غودل. |
| مقدمة رياضية للمنطق الطبعة الثانية، أكاديميك برس | هيربرت ب. إندرتون | 2001 | متقدم | كتاب المنطق القياسي المستخدم في أقسام الرياضيات. |
نظرية الأعداد والتطبيقات
نظرية الأعداد الكلاسيكية والحديثة مع تطبيقات في علوم الحاسوب.
| كتاب | مؤلف | سنة | مستوى | وصف |
|---|---|---|---|---|
| الرياضيات الملموسة الطبعة الثانية، أديشن-ويلي | رونالد ل. غراهام، دونالد إ. كنوت، أورين باتاشنيك | 1994 | متقدم | مزيج فريد من كنوت للرياضيات المستمرة والمنفصلة. أساسي لتحليل الخوارزميات. |
| مقدمة في نظرية الأعداد الطبعة السادسة، أكسفورد | ج.هـ. هاردي، إ.م. رايت | 2008 | متقدم | كتاب كلاسيكي في نظرية الأعداد من اثنين من أعظم الرياضيين في القرن العشرين. |
| دورة في نظرية الأعداد والتشفير الطبعة الثانية، سبرينغر | نيل كوبليز | 1994 | متقدم | نظرية الأعداد المدفوعة بتطبيقات التشفير، مناسبة لطلاب علوم الحاسوب. |