stanford-oval/wikipedia huggingface dataset:
الدوري السعودي الممتاز للسيدات 2023–24
الفرق

تنافست ثمانية فرق في الدوري الممتاز للسيدات لموسم 2023-2024م. وقد تم التأكد من فوز نادي الرياض بلقب دوري الدرجة الأولى في 9 فبراير 2023م، الأمر الذي يضمن ظهوره الأول في الدوري الإنجليزي الممتاز للموسم التالي. وحل فريق الرياض محل فريق ساما الذي هبط في الموسم الماضي. كما صعد نادي القادسية (المتحد سابقاً) إلى الدوري الممتاز بعد استحواذ الشباب على نادي اليمامة الذي احتل المركز الرابع في الموسم الماضي.
| فريق | موقع | الملعب | سعة | موسم 2022-23 |
| --- | --- | --- | --- | --- |
| الاهلي | جدة | ملعب مدينة الملك عبدالله الرياضية | 62,345 | السادس |
| الهلال | الرياض | ملعب كليات عناية الطبية | 15000 | الثاني |
| الاتحاد | جدة | ملعب نادي الاتحاد | 15000 | الخامس |
| النصر | الرياض | حديقة مرسول | 25000 | الأول |
| القادسية | الخبر | استاد الأمير سعود بن جلوي | 15000 |  |
| الرياض | الرياض | ملعب الأمير تركي بن عبد العزيز | 15000 | بطل الدرجة الأولى |
| الشباب | الرياض | استاد الأمير فيصل بن فهد | 22,188 | الثالث |
| نادي شعلة الشرقية | الدمام | استاد الأمير محمد بن فهد | 26000 | السابع |
الدوري السعودي الممتاز للسيدات 2023–24 (المملكة العربية السعودية)
الفرق > الإداريون والشركات والرعاة

| الفريق | المدرب | الكابتن | الشركة المصنعة  للأطقم | الرعاة |
| --- | --- | --- | --- | --- |
| الأهلي | منار فريج ! منار فريج | ابتسام الجرايدي | أديداس | سيارات أم جي, بوجا سوبر فودز, درة للعقارات, المستشفى السعودي الألماني |
| الهلال | Stojanović, Darko ! داركو ستانوجفيتش | Dabda, Claudia ! كلوديا دابدا | بوما | متجر بلو, جاهز, التعاونية, فلاورد, شاورمر |
| الاتحاد | Lindsey, Kelly ! كيللي ليندسي | Jebreen, Shahnaz ! شهيناز جبرين | نايكي | داركو, سال, إمكان, تاميني, يلو, عود العمودي |
| النصر | Al-Alwani, Abdulaziz ! عبد العزيز العلوني | Aouni, Samia ! سامية عوني | نايكي | KAFD, AROYA Cruises, نويج |
| القادسية | Andrade, Luìs ! لويز أندرادي | Machado, Rayanne ! ريان متشادو | إيريا | سويتش, مسافي, إدارة المرافق المتحدة |
| الرياض | Vieira, Claudio ! كلوديو فييرا | Huwaydi, Dina ! دينا هويدي | زيوس | يلو, دايركت, السيف, شوما للأستثمار, الدخيل للعود, الوطنية للتمويل |
| الشباب | Morales, Miguel ! ميغيل مواليس | Mobarak, Al Bandari ! البندري مبارك | أوفسايد | المزيني, نصف مليون, ميكيال, أزوم, ندر العقارية, موف |
| شعلة الشرق | Cabildo, David ! ديفيد كابيلدو | Al-Khater, Sara ! سارة الخاطر | أوفسايد | بربيتيال |
الفرق > التغييرات الإدارية

| فريق | المدير المنتهية ولايته | طريقة المغادرة | تاريخ الشغور | الموضع في الجدول | المدير القادم | تاريخ التعيين |
| --- | --- | --- | --- | --- | --- | --- |
| الشباب |  حسين مرزوق | مطرود | 31 يناير 2024  | السادس |  ميغيل موراليس | 31 يناير 2024  |
| الرياض |  آنا جونيانت | مطرود | 17–21 مارس 2024 | الثامن |  كلاوديو فييرا | 17–21 مارس 2024 |
اللاعبون الأجانب

| النادي | اللاعب 1 | اللاعب 2 | اللاعب 3 | اللاعب 4 | اللاعب 5 | اللاعب 6 | اللاعب 7 | اللاعب 8 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| الأهلي |  عبلة بن سنوسي |  نعومي كاباكابا |  سيسيليا هاجان |  أليس كوسي |  آية المجالي |  رواند كساب |  ابتسام الجريدي |  |
| الهلال |  أنستازيا لينيك |  كلوديا دابدا |  إيمان حسن |  إليزيبث أدو |  سينثيا كولان |  مافيس أووسو |  شوخان صالحي |  لينث سيدينو |
| النصر |  لينا بوساحة |  ايزابيلا ستاهلين |  أميناتا ديالو |  ميساء جبارة |  كلارا لوفانجا |  سامية عوني |  غادة عبادي |  |
| القادسية |  ريان ماتشادو |  أجارا نتشوت |  إليزابيث كارابالي |  جيسيكا آبي |  فيرونيكا بيريز |  ليندسي هاريس |  زانيتا واين |  |
| الرياض |  رافا ترافالاو |  أمنية محمود |  مريام ديغييز |  كارلا جوميز |  أروى ليون |  سليمة جبراني |  |  |
| الشباب |  لانا فراس |  مي سويلم |  كورينا لويكس |  تشينازا أغوه |  ريتا تشيكويلو |  شيماء عباسي |  ايلا كابتشي |  أوريانا ألتوفي |
| الاتحاد |  ليجان روب |  شهناز جبرين |  ملك شناك |  ليلى اسكندر |  سلمى أماني |  أشلي بلمبتر |  نور مصطفى |  |
| شعلة الشرقية |  سيفينج جعفرزادة |  زيمينا ميدروس |  صوفيا أوتشوا |  توتشوكو أولويهي |  ماريا خان |  إينيكا كاسونجا |  إيريكا كاتنغهام |  |
جدول الدوري

| م | الفريق | لعب | ف | ت | خ | أ> له | أ> ع | أ> ف | نقاط | التأهل أو الهبوط |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | النصر (C) | 14 | 12 | 1 | 1 | 43 | 12 | +31 | 37 | التأهل إلى دوري أبطال آسيا للسيدات 2024-2025 وبطولة غرب آسيا للأندية النسائية 2024 |
| 2 | الأهلي | 14 | 8 | 3 | 3 | 42 | 17 | +25 | 27 | التأهل لبطولة اتحاد غرب آسيا للأندية للسيدات 2024 |
| 3 | الشباب | 14 | 7 | 4 | 3 | 35 | 17 | +18 | 25 |  |
| 4 | القادسية | 14 | 6 | 5 | 3 | 13 | 9 | +4 | 23 |  |
| 5 | الهلال | 14 | 6 | 3 | 5 | 34 | 23 | +11 | 21 |  |
| 6 | الاتحاد | 14 | 6 | 2 | 6 | 37 | 22 | +15 | 20 |  |
| 7 | شعلة الشرقية | 14 | 1 | 1 | 12 | 12 | 45 | −33 | 4 |  |
| 8 | الرياض (R) | 14 | 0 | 1 | 13 | 8 | 79 | −71 | 1 | الهبوط إلى دوري الدرجة الأولى السعودي للسيدات 2024–25 |
حُدثت المباريات التي لعبت في 22 March 2024. مصدر: SAFF
قواعد التصنيف: 1) Points; 2) Goal difference; 3) Number of goals scored.

Qualification and relegation column definitions
 البطل;  هبط.
نتائج

| المضيف \ الضيف | NAS | HIL | ASB | ITH | AHL | EFL | RIY | QDS |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| النصر | — | 4–2 | 2–2 | 1–0 | 3–0 | 3–0 | 6–0 | 1–0 |
| الهلال | 3–4 | — | 2–0 | 3–2 | 0–1 | 5–0 | 7–1 | 0–1 |
| الشباب | 0–3 | 2–2 | — | 0–1 | 0–0 | 2–0 | 9–2 | 2–0 |
| الاتحاد | 0–3 | 1–1 | 2–3 | — | 2–4 | 3–0 | 2–0 | 2–2 |
| الأهلي | 5–3 | 5–1 | 0–1 | 2–6 | — | 8–0 | 8–0 | 0–0 |
| شعلة الشرقية | 0–2 | 2–4 | 2–4 | 0–3 | 0–4 | — | 1–1 | 0–2 |
| الرياض | 0–6 | 0–4 | 1–10 | 2–13 | 0–4 | 1–6 | — | 0–2 |
| القادسية | 0–2 | 0–0 | 0–0 | 1–0 | 1–1 | 3–1 | 1–0 | — |
سيتم لعب المباراة الأولى في 13 October 2023. مصدر: SAFF
الألوان: الأزرق = فوز الفريق المضيف. الأصفر = التعادل؛ الأحمر = فوز الفريق الضيف.
إحصائيات الموسم > أفضل الهدافين

| رتبة | لاعب | نادي | الأهداف |
| --- | --- | --- | --- |
| 1 |  ابتسام الجريدي | الاهلي | 17 |
| 2 |  أوريانا ألتوفي  | الشباب | 14 |
| 3 |  لينا بوساحة | النصر | 12 |
| 4 |  شوخان صالحي | الهلال | 11 |
| 4 |  كلارا لوفانجا | النصر | 11 |
| 6 |  نعومي كاباكابا | الاهلي | 10 |
| 7 |  اشلي بلمبتر | الاتحاد | 8 |
| 8 |  مافيس أووسو | الهلال | 7 |
| 8 |  إينيكيا كاسونجا | شعلة الشرقية | 7 |
| 10 |  أليس كوسي | الاهلي | 6 |
| 10 |  إيلا كاباتشي  | الشباب | 6 |
| 12 |  نور مصطفى | الاتحاد | 5 |
| 12 |  زانيتا واين | القادسية | 5 |
إحصائيات الموسم > أفضل التمريرات الحاسمة

| رتبة | لاعب | نادي | يساعد |
| --- | --- | --- | --- |
| 1 |  كلارا لوفانجا | النصر | 7 |
| 2 |  البندري مبارك | الشباب | 6 |
| 3 |  إليزابيث أدو  | الهلال | 5 |
| 4 |  نعومي كاباكابا | الاهلي | 4 |
| 4 |  أليس كوسي | الاهلي | 4 |
| 4 |  شهناز جبرين | الاتحاد | 4 |
| 4 |  اشلي بلمبتر | الاتحاد | 4 |
| 4 |  سارة الحمد | النصر | 4 |
| 4 |  ملوك الهوساوي | الاهلي | 4 |
| 4 |  فاطمة منصور | الشباب | 4 |
| 4 |  أوريانا ألتوفي  | الشباب | 4 |
إحصائيات الموسم > شباك نظيفة

| رتبة | لاعب | نادي | ينظف     أوراق |
| --- | --- | --- | --- |
| 1 |  سارة خالد | النصر | 8 |
| 1 |  ليندسي هاريس | القادسية | 8 |
| 3 |  منى عبد الرحمن | الشباب | 6 |
| 4 |  رواند كساب | الاهلي | 5 |
| 5 |  ملاك شنك | الاتحاد | 3 |
| 5 |  حصة السديري | الاتحاد | 3 |
| 7 |  سينثيا كونلان | الهلال | 2 |
| 7 |  ريم البلوشي | النصر | 2 |
| 7 |  نوال الجلايش | الهلال | 2 |
| 7 |  غالية امام | الاهلي | 2 |
إحصائيات الموسم > هاتريك

| اللاعب | فريق | مقابل | النتيجة | التاريح | المرجع |
| --- | --- | --- | --- | --- | --- |
|  لينا بوساحة | النصر | الرياض | 6–0 (H) | 13 أكتوبر2023 |  |
|  أشلي بلمبتر | الاتحاد | شعلة الشرقية | 3–0 (A) | 14 أكتوبر2023 |  |
|  أشلي بلمبتر | الاتحاد | الأهلي | 6–2 (A) | 15 ديسمبر2023 |  |
|  إينيكيا كاسونجا | الشعلة | الرياض | 6–1 (A) | 20 أكتوبر2023 |  |
|  شوخان صالحي | الهلال | الرياض | 4–0 (A) | 4 نوفمبر2023 |  |
|  شوخان صالحي | الهلال | الرياض | 7–1 (H) | 4 فبراير2024 |  |
|  أوريانا ألتوفي | الشباب | الرياض | 9–2 (H) | 16 ديسمبر2023 |  |
|  أوريانا ألتوفي | الشباب | الرياض | 10–1 (A) | 19 أبريل2024 |  |
|  ابتسام الجريدي | الأهلي | الرياض | 4–0 (A) | 23 ديسمبر2023 |  |
|  ابتسام الجريدي | الأهلي | الاتحاد | 4–2 (A) | 19 أبريل2024 |  |
|  ابتسام الجريدي | الأهلي | الرياض | 8–0 (H) | 26 أبريل2024 |  |
|  نعومي كاباكابا | الأهلي | الشعلة | 8–0 (H) | 15 مارس2024 |  |
|  ليلي اسكندر | الاتحاد | الرياض | 13–2 (A) | 16 مارس2024 |  |
|  ايلا كاباتشي | الشباب | شعلة الشرقية | 4–2 (A) | 23 مارس2024 |  |
إحصائيات الموسم > تأديب

|  | معظم البطاقات الصفراء | المجموع | معظم البطاقات الحمراء | المجموع | المرجع |
| --- | --- | --- | --- | --- | --- |
| لاعب |  لانا فراس (الشباب)     جوري طارق (الاتحاد) | 5 |  الجوهرة سعود (الهلال) | 2 |  |
| نادي | الهلال | 21 | الشباب     الهلال     النصر | 1 |  |
الجوائز > الجوائز الشهرية

| الشهر | مدير فني الشهر> المدير | مدير فني الشهر> النادي | لاعب الشهر> اللاعب | لاعب الشهر> النادي | حارس مرمى الشهر> اللاعب | حارس مرمى الشهر> النادي | هدف الشهر> اللاعب | هدف الشهر> النادي | مرجع |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| نوفمبر |  كيلي ليندسي | الاتحاد |  أشلي بلمبتر | الاتحاد |  رواند كساب | الأهلي |  أشلي بلمبتر (ضد فريق شعلة الشرقية) | الاتحاد |  |
| ديسمبر |  داركز ستوياتوفيتش | الهلال |  سارة الحمد | النصر |  سارة خالد | النصر |  كلارا لوفانجا (ضد الاتحاد) | النصر |  |
| يناير |  منار فريج | الأهلي |  ابتسام الجريدي | الأهلي |  رواند كساب | الأهلي |  مافيس أووسو (ضد الأهلي) | الهلال |  |
| فبراير |  منار فريج | الأهلي |  ابتسام الجريدي | الأهلي |  رواند كساب | الأهلي |  مافيس أووسو (ضد الأهلي) | الهلال |  |
| مارس |  منار فريج | الأهلي |  نعومي كاباكابا | الأهلي |  نوال الجلايش | الهلال |  ليجان روب (ضد الأهلي) | الاتحاد |  |
| أبريل |  منار فريج | الأهلي |  نعومي كاباكابا | الأهلي |  نوال الجلايش | الهلال |  ليجان روب (ضد الأهلي) | الاتحاد |  |
فريق الموسم

| موضع | لاعب | نادي |
| --- | --- | --- |
| حراسة  المرمى |  ليندسي هاريس | القادسية |
| الدفاع |  رايان ماتشادو | القادسية |
| الدفاع |  اشلي بلمبتر | الاتحاد |
| الدفاع |  دانيا الشريف | القادسية |
| الدفاع |  تهاني الزهراني | الشباب |
| خط الوسط |  لينا بوساحة | النصر |
| خط الوسط |  إليزابيث أدو  | الهلال |
| خط الوسط |  أليس كوسي | الاهلي |
| خط الوسط |  شوخان صالحي | الهلال |
| الهجوم |  ابتسام الجريدي | الاهلي |
| الهجوم | أوريانا ألتوفي  | الشباب |
مراجع

↑  "رياضي / انطلاق النسخة الثانية من الدوري الممتاز للسيدات يوم 13 أكتوبر" [Sports / The second edition of the Women's Premier League will start on October 13]. spa.gov.sa. 17 أغسطس 2023. اطلع عليه بتاريخ 2023-08-27.
↑  "أكتوبر المقبل.. انطلاق النسخة الثانية من الدوري الممتاز للسيدات" [Next October .. the second edition of the Premier League kicks off]. al-hadath.com. 16 أغسطس 2023. اطلع عليه بتاريخ 2023-08-27.
↑  "المسحل: الدوري السعودي للسيدات "سينقل تلفزيونياً"". akhbaar24.com. 13 سبتمبر 2023.
↑  "سيدات الرياض يخطفن لقب دوري الدرجة الأولى للسيدات السعودي" [Al Riyadh Women's team steal Saudi Division 1 title]. aawsat.com. 9 فبراير 2023. اطلع عليه بتاريخ 2023-08-27.
↑  "رئيسة المتحد: سنكون الرقم الصعب في الدوري السعودي للسيدات" [Al Mutahed's President: We will be the difficult number in the Saudi League]. kooora.com. 15 أبريل 2023. اطلع عليه بتاريخ 2023-08-27.
1 2  alshababfcwomen. [Spanish Miguel Morales appointed Coach for Al-Shabab's women team] (تغريدة) https://x.com/alshababfcwomen/status/1752802480994316786. {{استشهاد ويب}}: |trans-title= بحاجة لـ |title= أو |script-title= (مساعدة) و|url= بحاجة لعنوان (مساعدة) Missing or empty |date= (help)
↑  "Al-Shabab is planning to appeal against the decision to deduct points for its women's team against Al-Nassr". alweeam.com.sa. 3 نوفمبر 2023. مؤرشف من الأصل في 2023-11-18. اطلع عليه بتاريخ 2023-11-04.
↑  SWLeagues. "لـيـنـا بوساحه صاحبة أول هاتريك في  #الدوري_الممتاز_للسيدات 24/23" (تغريدة). Missing or empty |date= (help)
↑  SWLeagues. "آشـلـي بالمتر هـاتريك في المشاركة الأولى في #الدوري_الممتاز_للسيدات 24/23" (تغريدة). Missing or empty |date= (help)
↑  SWLeagues. "إنكــيا كاسـونجـا - شعلة الشرقية صاحبـة السوبر هاترك الأول في الموسم" (تغريدة). Missing or empty |date= (help)
بوابة السعودية
بوابة المرأة
بوابة كرة القدم
↑  The result (3–0) was awarded in favor of Al-Nassr by the disciplinary committee due to Al-Shabab fielding an ineligible player, البندري مبارك, who had received a red card with her former club Al Yamamah in the previous season. The actual result of the match ended (2–0) in favor of Al-Shabab.
علم الحاسوب

علم الحاسوب
الحاسوب إينياك، الذي بدأ العمل به في عام 1946، أول جهاز حاسوب إلكتروني للأغراض العامة.
| 0 | 1 |
| --- | --- |
صنف فرعي من:  علوم شكلية
يمتهنه:  عالم حاسوب، مدرس تكنولوجيا معلومات
فروع:  علم الحاسوب النظري، نظرية الحوسبة، ذكاء اصطناعي، هندسة الحاسوب
الموضوع:  حاسوب، حوسبة
التاريخ:  تاريخ علم الحاسوب 
شخصيات مهمة:  آلان تورنغ، تشارلز بابيج، جون فون نيومان، آدا لوفلايس
تعديل - تعديل مصدري - تعديل ويكي بيانات
هذه المقالة عن علم الحاسوب (توضيح). لمعانٍ أخرى، طالع علم الحاسوب (توضيح).
| 0 | 1 |
| --- | --- |
تتعامل علوم الحاسوب مع النظريات الأساسية للمعلومات والحساب، والتقنيات العملية لتنفيذها وتطبيقها.
علم الحاسوب (بالإنجليزية: computer science)‏ وعلم المعلومات والأتمتة. الحاسوب هو ويمتد علم الحاسوب من التخصصات النظرية (مثل الخوارزميات ونظرية الحوسبة ونظرية المعلومات) إلى التخصصات التطبيقية (بما في ذلك تصميم وتنفيذ الأجهزة والبرمجيات).
تعتبر الخوارزميات وهياكل البيانات أساسية في علم الحاسوب. تتعلق نظرية الحوسبة بالنماذج المُجرّدة للحوسبة والأصناف العامة للمشاكل التي يمكن حلها باستخدامها. وتُعنى مجالات التشفير وأمن الحاسوب بدراسة وسائل الاتصال الآمن ومنع الثغرات الأمنية. تتناول الرسومات الحاسوبية والهندسة الحاسوبية عملية توليد الصور. وتدرس نظرية اللغات البرمجية الطرق المختلفة لوصف العمليات الحاسوبية، وتتعلق نظرية قواعد البيانات بإدارة قواعد البيانات. ويبحث التفاعل بين الإنسان والحاسوب في دراسة الواجهات التي يتفاعل من خلالها البشر والحواسيب، وتركز هندسة البرمجيات على التصميم والمبادئ الكامنة وراء تطوير البرمجيات. وتبحث مجالات مثل أنظمة التشغيل والشبكات والأنظمة المدمجة في الأسس والتصاميم الكامنة وراء الأنظمة المعقدة. كما تصف هندسة الحاسوب بناء مكونات الحاسوب والمعدات التي تعمل بالحاسوب. ويهدف الذكاء الاصطناعي وتعلم الآلة إلى تجميع العمليات الموجّهة مثل حل المشكلات واتخاذ القرارات والتكيف البيئي والتخطيط والتعلم الموجودة لدى البشر والحيوانات. وضمن الذكاء الاصطناعي، تهدف الرؤية الحاسوبية إلى فهم ومعالجة بيانات الصور والفيديو، بينما تهدف معالجة اللغة الطبيعية إلى فهم ومعالجة البيانات النصية واللغوية.
ينصب تركيز علوم الحاسوب على تحديد ما يمكن وما لا يمكن أتمتته. تعتبر جائزة تورينغ بشكل عام أعلى امتياز في علوم الحاسوب.
فلسفة علم الحاسوب

المقالة الرئيسة: فلسفة علم الحاسوب
فلسفة علم الحاسوب > نظرية المعرفة في علم الحاسوب

على الرغم من وجود كلمة علم في اسمه، هناك جدل حول ما إذا كان علم الحاسوب هو أحد فروع العلوم, أو الرياضيات, أو الهندسة أم لا. جادل ألن نيويل وهيربرت سيمون في عام 1975,
علم الحاسوب هو تخصص تجريبي. كنا سنسميه علمًا تجريبيًا، ولكن مثل علم الفلك والاقتصاد والجيولوجيا، فإن بعض أشكاله الفريدة من الملاحظة والتجربة لا تتناسب مع الصورة النمطية الضيقة للمنهج التجريبي. ومع ذلك، فهي تجارب. فكل آلة جديدة يتم بناؤها هي تجربة. إن بناء الآلة في الواقع يطرح سؤالاً على الطبيعة؛ ونحن نستمع إلى الإجابة من خلال مراقبة الآلة أثناء تشغيلها وتحليلها بكل وسائل التحليل والقياس المتاحة.
وقد قيل منذ ذلك الحين أنه يمكن تصنيف علم الحاسوب كعلم تجريبي لأنه يستخدم الاختبار التجريبي لتقييم صحة البرامج، ولكن تبقى مشكلة في تحديد قوانين ونظريات علم الحاسوب (إن وجدت) وتحديد طبيعة التجارب في علم الحاسوب. يجادل مؤيدو تصنيف علم الحاسوب كتخصص هندسي بأن موثوقية الأنظمة الحاسوبية يتم التحقيق فيها بنفس الطريقة التي يتم بها التحقيق في الجسور في الهندسة المدنية والطائرات في هندسة الطيران. ويقولون أيضًا أنه في حين أن العلوم التجريبية تلاحظ ما هو موجود حاليًا، فإن علم الحاسوب يلاحظ ما يمكن أن يوجد، وبينما يكتشف العلماء القوانين من الملاحظة، لم يتم العثور على قوانين مناسبة في علم الحاسوب وهو يهتم بدلًا من ذلك بخلق الظواهر.
يجادل مؤيدو تصنيف علم الحاسوب كتخصص رياضي بأن برامج الحاسوب هي تجسيدات مادية للكيانات والبرامج الرياضية التي يمكن استنباطها من خلال رياضيات الطرق الشكلية. ينظر عالما الحاسوب أيدسكر دايكسترا وتوني هور إلى تعليمات برامج الحاسوب على أنها جمل رياضية، ويفسران الدلالات الرسمية للغات البرمجة على أنها أنظمة بديهية رياضية.
فلسفة علم الحاسوب > نماذج علوم الحاسوب

جادل عدد من علماء الحاسوب بالتمييز بين ثلاثة نماذج منفصلة في علم الحاسوب. جادل بيتر ويجنر بأن هذه النماذج هي العلم والتكنولوجيا والرياضيات. وجادل فريق عمل بيتر دينينغ بأنها النظرية والتجريد (النمذجة) والتصميم. ووصفهم أمنون هـ. إيدن بأنهم ”النموذج العقلاني“ (الذي يتعامل مع علم الحاسوب كفرع من فروع الرياضيات، وهو السائد في علم الحاسوب النظري، ويستخدم بشكل أساسي الاستنباط)، و”النموذج التكنوقراطي“ (الذي قد يوجد في المناهج الهندسية، وأبرزها في هندسة البرمجيات)، و”النموذج العلمي“ (الذي يقارب المصنوعات المتعلقة بالحاسوب من المنظور التجريبي للعلوم الطبيعية، ويمكن تحديده في بعض فروع الذكاء الاصطناعي). يركّز علم الحاسوب على الأساليب المتبعة في تصميم أنظمة الحوسبة التي يصنعها الإنسان وتحديد مواصفاتها وبرمجتها والتحقق منها وتنفيذها واختبارها.
فروع

المقالة الرئيسة: مختصر موجز لعلم الحاسوب
كعلم، يمتد علوم الحاسوب إلى مجموعة من الموضوعات من الدراسات النظرية للخوارزميات وحدود الحساب إلى المسائل العملية لتنفيذ أنظمة الحوسبة في الأجهزة والبرامج. تحدد CSAB، التي كانت تُسمى سابقًا مجلس اعتماد علوم الحوسبة -والذي يتكون من ممثلين عن جمعية آلات الحوسبة (ACM)، وجمعية IEEE للكمبيوتر (IEEE CS)- أربعة مجالات تعتبرها حاسمة في مجال علوم الحاسوب: نظرية الحوسبة والخوارزميات وهياكل البيانات ومنهجية البرمجة واللغات وعناصر الحاسوب وبنى البيانات. بالإضافة إلى هذه المجالات الأربعة، يحدد CSAB أيضًا مجالات مثل هندسة البرمجيات والذكاء الاصطناعي وشبكات الحاسوب والاتصالات وأنظمة قواعد البيانات والحساب المتوازي والحساب الموزع والتفاعل بين الإنسان والحاسوب ورسوميات الحاسوب وأنظمة التشغيل والحساب الرقمي والرمزي مثل كونها مجالات مهمة في علوم الحاسوب.
فروع > علوم الحاسوب النظرية

طالع أيضًا: علم الحاسوب النظري
علوم الحاسوب النظرية هي رياضيات وتجريدية في الروح، ولكنها تستمد دوافعها من الحساب العملي واليومي. الهدف منه هو فهم طبيعة الحساب، ونتيجة لهذا الفهم، توفير منهجيات أكثر كفاءة. يمكن اعتبار جميع الدراسات المتعلقة بالمفاهيم والطرق الرياضية والمنطقية والرسمية بمثابة علوم الحاسوب النظرية، شريطة أن يكون الدافع مستمدًا بوضوح من مجال الحوسبة.
فروع > علوم الحاسوب النظرية > نظرية الحساب

طالع أيضًا: نظرية الحوسبة
وفقًا لبيتر دينينج، فإن السؤال الأساسي الذي يكمن وراء علوم الحاسوب هو «ما الذي يمكن أن يكون آلياً (بكفاءة)؟» تركز نظرية الحوسبة على الإجابة على الأسئلة الأساسية حول ما يمكن حسابه وما مقدار الموارد اللازمة لأداء تلك الحسابات. في محاولة للإجابة على السؤال الأول، تدرس نظرية الحوسبة المشكلات الحسابية التي يمكن حلها في النماذج النظرية المختلفة للحساب. يتم تناول السؤال الثاني من خلال نظرية التعقيد الحسابي، والتي تدرس تكاليف الوقت والمكان المرتبطة بمناهج مختلفة لحل العديد من المشكلات الحسابية.
فمسألة "P = NP" الشهيرة(مسألة كثير حدود وكثير حدود غير قطعي)، واحدة من مسائل جائزة الألفية، هي مسألة مفتوحة في نظرية الحساب.
| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
|  |  | P = NP؟ |  |  |
| نظرية التشغيل الذاتي | نظرية الحاسوبية | نظرية التعقيد الحسابي | علم التعمية | نظرية الحساب الكمومي |
فروع > علوم الحاسوب النظرية > نظرية المعلومات والترميز

طالع أيضًا: نظرية المعلومات نظرية الترميز
ترتبط نظرية المعلومات بكمية المعلومات. تم تطوير هذا بواسطة كلود شانون لإيجاد حدود أساسية لعمليات معالجة الإشارات مثل ضغط البيانات وتخزين البيانات ونقلها بشكل موثوق. نظرية الترميز هي دراسة خصائص الأكواد (أنظمة لتحويل المعلومات من نموذج إلى آخر) وملاءمتها لتطبيق معين. تُستخدم الرموز لضغط البيانات، والتشفير، واكتشاف الأخطاء وتصحيحها، وكذلك في الآونة الأخيرة أيضًا لترميز الشبكة. تتم دراسة الرموز لغرض تصميم طرق فعالة وموثوقة لنقل البيانات.
فروع > علوم الحاسوب النظرية > هياكل البيانات والخوارزميات

طالع أيضًا: الخوارزميات هياكل بيانات
هياكل البيانات والخوارزميات هي دراسة الطرق الحسابية الشائعة الاستخدام وكفاءتها الحسابية.
| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
O(n2): 
| تحليل الخوارزميات | الخوارزميات | بنية البيانات | استمثال توافقي | هندسة رياضية حاسوبية |
فروع > علوم الحاسوب النظرية > نظرية لغة البرمجة والطرق الشكلية

طالع أيضًا: نظرية لغات البرمجة طريقة شكلية
نظرية لغات البرمجة هي فرع من فروع علوم الحاسوب التي تتعامل مع تصميم لغات البرمجة وميزاتها الفردية وتنفيذها وتحليلها وتوصيفها وتصنيفها. يقع ضمن مجال علوم الحاسوب، اعتمادًا على الرياضيات وهندسة البرمجيات واللغويات والتأثير عليها. إنه مجال بحث نشط، مع العديد من المجلات الأكاديمية المخصصة.
الطرق الشكلية هي نوع معين من التقنيات القائمة على الرياضيات لتحديد مواصفات البرمجيات و الأجهزة وتطويرها والتحقق منها. الدافع وراء استخدام الطرق الشكلية لتصميم البرمجيات والأجهزة هو التوقع بأن إجراء التحليل الرياضي المناسب، كما هو الحال في التخصصات الهندسية الأخرى، يمكن أن يساهم في موثوقية ومتانة التصميم. وهي تشكل أساساً نظرياً مهماً لهندسة البرمجيات، خاصة عندما يتعلق الأمر بالسلامة أو الأمن.
تعتبر الطرق الشكلية عاملاً مساعداً مفيداً لاختبار البرمجيات لأنها تساعد على تجنب الأخطاء ويمكنها أيضاً توفير إطار عمل للاختبار. للاستخدام الصناعي، هناك حاجة إلى دعم الأدوات. ومع ذلك، فإن التكلفة العالية لاستخدام الطرق الشكلية تعني أنها لا تستخدم عادةً إلا في تطوير الأنظمة عالية التكامل والحرجة في الحياة، حيث تكون السلامة أو الأمن في غاية الأهمية. وأفضل وصف للطرق الشكلية هو تطبيق مجموعة واسعة إلى حد ما من أساسيات علوم الحاسوب النظرية، ولا سيما الحسابات المنطقية واللغات الشكلية ونظرية الأتمتة ودلالات البرامج، وكذلك أنظمة الأنواع وأنواع البيانات الجبرية على المشاكل في مواصفات البرمجيات والأجهزة والتحقق منها.
| 0 | 1 | 2 |
| --- | --- | --- |
 \Gamma \vdash x:{\text{Int}}: 
| نظرية النمط | محول برمجي | لغة برمجة |
فروع > علوم الحاسوب التطبيقية > رسوميات الحاسوب

طالع أيضًا: رسوميات حاسوبية
رسوميات الحاسوب هي دراسة المحتويات المرئية الرقمية وتتضمن تركيب ومعالجة بيانات الصورة. ترتبط الدراسة بالعديد من المجالات الأخرى في علوم الحاسوب، بما في ذلك رؤية حاسوبية، ومعالجة الصور، والهندسة الحاسوبية، ويتم تطبيقها بشدة في مجالات المؤثرات الخاصة وألعاب الفيديو.
فروع > علوم الحاسوب التطبيقية > معالجة الصور والصوت

طالع أيضًا: معالجة البيانات الإلكترونية
يمكن أن تتخذ المعلومات شكل صور أو صوت أو فيديو أو وسائط متعددة أخرى. ويمكن بث أجزاء من المعلومات عبر الإشارات. ومعالجتها هي المفهوم المركزي للمعلوماتية، وهي وجهة النظر الأوروبية حول الحوسبة، والتي تدرس خوارزميات معالجة المعلومات بشكل مستقل عن نوع حامل المعلومات - سواء كان كهربائيًا أو ميكانيكيًا أو بيولوجيًا. ويلعب هذا المجال دورًا مهمًا في نظرية المعلومات والاتصالات وهندسة المعلومات وله تطبيقات في حوسبة الصور الطبية وتوليف الكلام وغيرها. ما هو الحد الأدنى لتعقيد خوارزميات تحويل فورييه السريع؟ هي واحدة من المشاكل التي لم تُحل في علم الحاسوب النظري.
فروع > علوم الحاسوب التطبيقية > العلوم الحاسوبية والمالية والهندسة

طالع أيضًا: حوسبة علمية هندسة محوسبة
الحوسبة العلمية (أو العلوم الحاسوبية) هي مجال الدراسة المعني ببناء النماذج الرياضية وتقنيات التحليل الكمي واستخدام أجهزة الحاسوب لتحليل وحل المشكلات العلمية. في الاستخدام العملي، عادة ما يكون تطبيق محاكاة الحاسوب وأشكال الحساب الأخرى للمشاكل في مختلف التخصصات العلمية. بما في ذلك ديناميكيات الموائع الحسابية، والأنظمة والدوائر الفيزيائية والكهربائية والإلكترونية، بالإضافة إلى المجتمعات والأوضاع الاجتماعية (لا سيما الألعاب الحربية) إلى جانب بيئاتها، وغيرها الكثير. تتيح الحواسيب الحديثة تحسين التصاميم مثل الطائرات الكاملة. ومن البرامج البارزة في تصميم الدوائر الكهربائية والإلكترونية برنامج SPICE، بالإضافة إلى برمجيات التنفيذ المادي للتصاميم الجديدة (أو المعدلة). وتشمل هذه الأخيرة برامج التصميم الأساسية للدوائر المتكاملة.
| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
| تحليل عددي | فيزياء حاسوبية | كيمياء حاسوبية | معلوماتية حيوية |
فروع > علوم الحاسوب التطبيقية > الحوسبة الاجتماعية والتفاعل بين الإنسان والحاسوب

طالع أيضًا: تفاعل الإنسان مع الحاسوب حوسبة اجتماعية
الحوسبة الاجتماعية هي مجال يهتم بالتقاطع بين السلوك الاجتماعي والأنظمة الحاسوبية. وتطور بحوث التفاعل بين الإنسان والحاسوب النظريات والمبادئ والمبادئ التوجيهية لمصممي واجهة المستخدم، بحيث يمكنهم إنشاء تجارب مرضية للمستخدم مع أجهزة سطح المكتب والحاسوب المحمول والأجهزة المحمولة.
فروع > علوم الحاسوب التطبيقية > هندسة البرمجيات

طالع أيضًا: برمجة هندسة البرمجيات
هندسة البرمجيات هي دراسة تصميم البرمجيات وتنفيذها وتعديلها من أجل ضمان أن تكون ذات جودة عالية وبأسعار معقولة وقابلة للصيانة وسريعة البناء. وهي مقاربة منهجية لتصميم البرمجيات، تتضمن تطبيق الممارسات الهندسية على البرمجيات. تتعامل هندسة البرمجيات مع تنظيم وتحليل البرمجيات - فهي لا تتعامل فقط مع إنشاء أو تصنيع برمجيات جديدة، بل مع ترتيبها الداخلي وصيانتها. على سبيل المثال اختبار البرمجيات وهندسة النظم والديون التقنية وعمليات تطوير البرمجيات.