قائمة رواد علوم الحاسوب

📅 آخر تحديث: ٢٥ يوليو ٢٠٢٦
✍️ نُشر في: ٢٥ يوليو ٢٠٢٦
الموسوعة الحرة

هذه قائمة بالأشخاص الذين حققوا إنجازات تحويلية في ابتكار وتطوير وتصور ما يمكن أن تفعله أجهزة الكمبيوتر .

الرواد

تاريخ الإنجازشخصإنجاز
1977أدلمان، ليوناردشارك في ابتكار خوارزمية RSA مع رون ريفست وآدي شامير ، مما جعل التشفير بالمفتاح العام مفيدًا من الناحية العملية.
1944أيكن، هواردابتكرت وشاركت في تصميم سيارة هارفارد مارك 1 .
830~الخوارزميمصطلح "الخوارزمية" مشتق من " الخوارزمية" ، وهي تقنية لإجراء العمليات الحسابية باستخدام الأرقام الهندية العربية، والتي اشتهر بها الخوارزمي في كتابه " في الحساب بالأرقام الهندية" . [ 1 ] [ 2 ] [ 3 ]
1970، 1989ألين، فرانسيس إي.طورت تدوين متجه البت ومخططات تدفق التحكم في البرنامج ؛ أول زميلة في شركة IBM (1989)؛ أول امرأة تحصل على جائزة تورينج من ACM (2006).
1954، 1964، 1967أمدال، جينرائد الحوسبة المركزية ؛ صمم جهاز IBM 704 ؛ كبير مهندسي نظام IBM System/360 . [ 4 ] [ 5 ] صاغ قانون أمدال ؛ كما عمل على جهازي IBM 709 و IBM 7030 Stretch . [ 6 ]
1939أتاناسوف، جونقام ببناء أول حاسوب رقمي إلكتروني، وهو حاسوب أتاناسوف-بيري ، على الرغم من أنه لم يكن قابلاً للبرمجة ولا مكتملاً من حيث تورينج .
1822، 1837باباج، تشارلزابتكر مفهوم الكمبيوتر متعدد الأغراض القابل للبرمجة؛ وصمم المحرك التحليلي وبنى نموذجًا أوليًا لآلة حاسبة ميكانيكية أقل قوة ، وغالبًا ما يطلق عليه "أبو الكمبيوتر".
1973باخمان، تشارلزمساهمات بارزة في تكنولوجيا قواعد البيانات . [ 7 ]
1954، 1963باكوس، جونقاد الفريق الذي أنشأ FORTRAN ( Formula Tran slation)، وهي أول لغة برمجة عملية عالية المستوى، وصاغ شكل Backus–Naur الذي وصف بناء الجملة الرسمي للغة .
850~بني موسىثلاثة إخوة قاموا بتأليف كتاب الأجهزة المبتكرة ، يصفون فيه ما يبدو أنه أول آلة قابلة للبرمجة ، وهي عازف فلوت آلي . [ 8 ]
1960–1964باران، بولأحد المخترعين المستقلين لمفهوم تبديل الحزم الرقمية المستخدم في شبكات الحاسوب الحديثة ، بما في ذلك الإنترنت . [ 9 ] [ 10 ] نشر سلسلة من التقارير والأوراق البحثية حول تقسيم المعلومات إلى "كتل رسائل" وإرسالها عبر الشبكات الموزعة (1960-1964). [ 11 ] [ 12 ]
1874إميل بودومهندس تلغراف فرنسي ؛ حصل على براءة اختراع لرمز بودو ، أول وسيلة للاتصال الرقمي. [ 13 ] سُميت وحدة سرعة المودم بود نسبةً إليه.
الستينياتباور، فريدريش ل.اقترح مع إدسكار دبليو ديكسترا بنية المكدس لتقييم التعبيرات . كان له دورٌ بارزٌ في ترسيخ علم الحاسوب كفرعٍ مستقلٍ من فروع العلم؛ وهو من صاغ مصطلح هندسة البرمجيات . ساهم في التحليل العددي ، وأساسيات تفسير وترجمة لغات البرمجة، ومنهجية تطوير البرامج، وتحويل البرامج ، وعلم التشفير .
1953بيلمان، ريتشارد إي.عالم رياضيات تطبيقية أمريكي قام بتقديم البرمجة الديناميكية (1953)
2018الأماكن القريبة : هينتون, جيفري ; ليكون، يانالإنجازات المفاهيمية والهندسية التي جعلت الشبكات العصبية العميقة عنصرًا حاسمًا في الحوسبة [ 14 ]
1989، 1990تيم بيرنرز لياخترع شبكة الويب العالمية وأرسل أول اتصال HTTP بين العميل والخادم. [ 15 ]
1995بلوم، مانويلالمساهمات في أسس نظرية التعقيد الحسابي وتطبيقها على التشفير وفحص البرامج [ 16 ]
1981 و 1986بوهم، باريابتكر نموذج التكلفة البارامتري (الذي أطلق عليه اسم "نموذج التكلفة البنائي") للبرمجيات والأنظمة كثيفة البرمجيات ( COCOMO ). كما ابتكر الطريقة الحلزونية لتطوير البرمجيات ( النموذج الحلزوني ).
1847، 1854بول، جورجالجبر البولياني الرسمي ، وهو أساس المنطق الرقمي وعلوم الحاسوب.
1966بوم، كورادوتم وضع نظرية لمفهوم البرمجة الهيكلية .
1947بوث، كاثليناخترع أول لغة تجميع .
1969، 1978برينش هانسن، بيرطوّر نظام البرمجة المتعددة RC 4000 ، الذي قدّم مفهوم نواة نظام التشغيل وفصل السياسة عن الآلية ؛ وهو في الواقع أول بنية نواة مصغّرة . [ 17 ] شارك في تطوير نظام المراقبة مع توني هوار ، وأنشأ أول تطبيق له. [ 18 ] نفّذ أول شكل من أشكال استدعاء الإجراءات عن بُعد في RC 4000، [ 17 ] وكان أول من اقترح استدعاء الإجراءات عن بُعد كمفهوم هيكلي للحوسبة الموزعة . [ 19 ]
1959، 1995بروكس، فريدمدير مشاريع IBM System/360 و OS/360 ؛ مؤلف كتاب The Mythical Man-Month .
1908بروير، لويتزن إيغبيرتوس جانأسس المنطق الحدسي ، الذي أصبح فيما بعد شائع الاستخدام في برامج المساعدة على البرهان .
1954بوركس، آرثرتم اقتراح تدوين البولندي العكسي مع دون وارين وجيسي رايت في عام 1954، دون علم كونراد تسوز باستخدامه السابق لتدوين اللاحقة في Z3 الخاص به في عام 1941، ثم أعيد ابتكاره بشكل مستقل من قبل فريدريش إل. باور وإدسجر دبليو. ديجكسترا لاستخدامه مع المكدسات .
1930بوش، فانيفاررائد الحوسبة التناظرية؛ مبتكر مفهوم ميمكس ، الذي أدى إلى تطوير النص التشعبي
1951كامينر، ديفيدبالتعاون مع جون بينكرتون ، قام بتطوير حاسوب LEO ، وهو أول حاسوب تجاري، لصالح شركة جيه ليونز وشركاه.
1974كاتمول، إدوينرائد في مجال الصور المولدة بالحاسوب (CGI) والرسومات ثلاثية الأبعاد، قام بتطوير رسم الخرائط النسيجية ، وخوارزمية تقسيم سطح كاتمول-كلارك (مع جيم كلارك )، ومنحنى كاتمول-روم (مع رافائيل روم) . شغل سابقًا منصب نائب رئيس شركة إندستريال لايت آند ماجيك ، وهو المؤسس المشارك والرئيس السابق لشركة بيكسار.
1978سيرف، فينتقام مع بوب كان بتصميم بروتوكول التحكم في الإرسال وبروتوكول الإنترنت ( TCP/IP )، وهما بروتوكولا الاتصال الأساسيان للإنترنت وشبكات الكمبيوتر الأخرى .
1956تشومسكي، نعومقدم إسهامات في علوم الحاسوب من خلال عمله في علم اللغويات . طور التسلسل الهرمي لتشومسكي ، مما أثر بشكل مباشر على نظرية لغات البرمجة وفروع أخرى من علوم الحاسوب.
1936الكنيسة، ألونسوقدّم إسهامات جوهرية في علم الحاسوب النظري، وتحديداً في تطوير نظرية الحوسبة في شكل حساب لامدا . وبشكل مستقل عن آلان تورينج ، صاغ ما يُعرف الآن بأطروحة تشيرش-تورينج، وأثبت أن منطق الرتبة الأولى غير قابل للتقرير .
1962كلارك، ويسلي أ.صمم جهاز LINC ، وهو أول جهاز كمبيوتر عملي تم تصغير حجمه وتسعيره للمستخدمين الأفراد (1963). وتعتبر العديد من ميزاته نماذج أولية للعناصر الأساسية لأجهزة الكمبيوتر الشخصية.
1981كلارك، إدموند م.تطوير التحقق من النماذج والتحقق الرسمي من البرامج والأجهزة، مع إي. ألين إيمرسون .
1987كوك، جونمساهمات كبيرة في تصميم ونظرية المترجمات، وهندسة الأنظمة الكبيرة، وتطوير أجهزة الكمبيوتر ذات مجموعة التعليمات المختصرة (RISC).
1970كود، إدغار ف.اقترح النموذج العلائقي لإدارة البيانات ووضعه في شكله الرسمي، وهو الأساس النظري لقواعد البيانات العلائقية.
1971كونواي، لينبنية فائقة التوازي مع جدولة تعليمات ديناميكية متعددة الإصدارات خارج الترتيب
1967كوك، ستيفنقام بصياغة مفهوم اكتمال NP، مما ألهم الكثير من الأبحاث في نظرية التعقيد الحسابي.
1965كولي، جيمسبالتعاون مع جون دبليو توكي ، ابتكر تحويل فورييه السريع
1944كومبس، ألينقام بتصميم وبناء أجهزة الكمبيوتر Mark II Colossus ؛ حلت محل الإصدار Mark I (الذي كان أول جهاز حوسبة رقمي إلكتروني في العالم).
1989كورباتو، فرناندو ج.عمل رائد في تنظيم المفاهيم وقيادة تطوير أنظمة الحاسوب العامة واسعة النطاق التي تعتمد على مشاركة الوقت ومشاركة الموارد CTSS و Multics
1964–1996كراي، سيمورصمم سلسلة من أجهزة الكمبيوتر التي كانت الأسرع في العالم لعقود؛ وأسس شركة كراي للأبحاث، التي قامت ببناء العديد منها؛ ويُنسب إليه الفضل في إنشاء صناعة الحواسيب العملاقة
1978، 1993كاتلر، ديفيد ن.رائد بارز في تصميم أنظمة التشغيل من خلال عمله في شركة Digital Equipment Corporation وشركة Microsoft ، حيث كان كبير مهندسي نواة VMS ونواة Windows NT (على التوالي).
1962دال، أولي يوهانبالتعاون مع كريستين نيغارد ، ابتكرت لغة البرمجة الأولية الموجهة للكائنات SIMULA
1965ديفيز، دونالدأحد المخترعين المستقلين لمفهوم تبديل الحزم الرقمية المستخدم في شبكات الحاسوب الحديثة ، بما في ذلك الإنترنت . [ 9 ] [ 20 ] ابتكر هذا المفهوم وأطلق عليه اسمًا خاصًا لشبكات اتصالات البيانات (1965-1966). [ 21 ] [ 22 ] كانت العديد من شبكات تبديل الحزم واسعة النطاق في سبعينيات القرن العشرين، بما في ذلك شبكة أربانت ، مشابهة "في جميع الجوانب تقريبًا" لتصميمه الأصلي عام 1965. [ 23 ] [ 24 ]
1976ديفي، ويتفيلدإسهامات أساسية في علم التشفير الحديث. قدمت ورقة ديفي وهيلمان الرائدة عام 1976 بعنوان "اتجاهات جديدة في علم التشفير" [ 25 ] أفكار التشفير بالمفتاح العام والتوقيعات الرقمية، وهي أساس بروتوكولات الأمان المستخدمة على الإنترنت اليوم. [ 26 ]
1968ديجكسترا، إدسكار دبليو.رائد خوارزمية أقصر مسار ؛ صاغ مصطلح البرمجة الهيكلية ؛ اخترع الإشارة الثنائية ؛ واقترح بشكل شهير أن عبارة GOTO يجب اعتبارها ضارة
2006دودا، ياروسلافتم تقديم أول ترميز إنتروبي لأنظمة الأرقام غير المتماثلة
1918إيكلز، ويليام وجوردان ، فرانك ويلفريدحصل على براءة اختراع دائرة إيكلز-جوردان للتشغيل، [ 27 ] ما يسمى بـ " القلاب ثنائي الاستقرار "، وهو لبنة أساسية لجميع خلايا الذاكرة الرقمية . تم بناؤها من أنابيب مفرغة ، وكان مفهومها أساسيًا لنجاح حاسوب كولوسوس لفك الشفرات .
1943، 1951إيكرت، ج. بريسبربالتعاون مع جون موتشلي ، صمم وبنى إينياك ، أول حاسوب حديث (إلكتروني بالكامل، كامل تورينج)؛ ويونيفاك 1 ، أول حاسوب متاح تجاريًا
1981إيمرسون، إي. ألينقام بتطوير عملية التحقق من النماذج والتحقق الرسمي من البرمجيات والأجهزة، بالتعاون مع إدموند إم. كلارك.
1963إنجلبارت، دوغلاساشتهر باختراع فأرة الحاسوب ، بالاشتراك مع بيل إنجلش ؛ رائد التفاعل بين الإنسان والحاسوب، حيث طوّر فريقه "أوغمنت" النص التشعبي ، والحواسيب الشبكية ، ونماذج أولية لواجهات المستخدم الرسومية.
1971فاجين، فيديريكوصمم أول معالج دقيق تجاري، إنتل 4004
1994فيجنباوم، إدواردالريادة في تصميم وبناء أنظمة الذكاء الاصطناعي واسعة النطاق، مما يدل على الأهمية العملية والتأثير التجاري المحتمل لتكنولوجيا الذكاء الاصطناعي [ 28 ]
1974فينلر، إليزابيثقادت فريقًا قام بتحديد تنسيق ملف نصي بسيط لأسماء مضيفي الإنترنت، والذي أصبح فيما بعد نظام أسماء النطاقات (DNS )؛ وأصبحت مجموعتها الجهة المسؤولة عن تسمية نطاقات المستوى الأعلى .mil و .gov و .edu و .org و .com
1943زهور، توميصممتُ وبنيتُ حاسوب كولوسوس مارك 1 ، وهو أول جهاز حاسوب إلكتروني رقمي قابل للبرمجة في العالم
1978فلويد، روبرت دبليو.كان له تأثير واضح على منهجيات إنشاء برامج فعالة وموثوقة؛ وساعد في تأسيس هذه المجالات الفرعية المهمة في علوم الحاسوب : نظرية التحليل النحوي ، ودلالات لغات البرمجة، والتحقق التلقائي من البرامج ، وتوليف البرامج التلقائي ، وتحليل الخوارزميات [ 29 ].
1994فلويد، ساليأسس مجال إدارة قوائم الانتظار النشطة؛ وشارك في اختراع تقنية الكشف المبكر العشوائي ، المستخدمة في جميع أجهزة توجيه الإنترنت تقريبًا
1879فريجه، جوتلوبمنطق أرسطو الموسع مع حساب التفاضل والتكامل من الدرجة الأولى بشكل مستقل عن تشارلز ساندرز بيرس ، وهو مقدمة حاسمة في نظرية الحوسبة ؛ كما أنه ذو صلة بالأعمال المبكرة في مجال الذكاء الاصطناعي والبرمجة المنطقية.
1985فوربر، ستيفن ويلسون، صوفيقاد عملية إنشاء المعالج الدقيق ARM 32-bit RISC [ 30 ]
1958، 1961، 1967غينسبيرغ، سيمورأثبت أن تصغير الدوائر " غير المبالي " لا يؤدي بالضرورة إلى نتائج مثالية؛ وأثبت أن لغة برمجة ALGOL خالية من السياق (ربط نظرية اللغة الرسمية بمشكلة كتابة المترجمات )؛ وابتكر نظرية AFL
1931غودل، كورتأثبتوا أن حساب بيانو لا يمكن أن يكون متسقًا منطقيًا وكاملًا في حساب التفاضل والتكامل من الدرجة الأولى . وقد وضع كل من تشرش وكلين وتورينج أسس نظرية الحوسبة بناءً على نتائج أعمال غودل.
1989غولدواسير، شافيابتكرت براهين المعرفة الصفرية مع ميكالي وراكوف ؛ وحصلت هي وميكالي على جائزة تورينج (2012) لهذا العمل وأعمال أخرى.
2011غراهام، سوزان ل.حصل على ميدالية جون فون نيومان لعام 2009 من معهد مهندسي الكهرباء والإلكترونيات (IEEE) لـ "مساهماته في تصميم وتنفيذ لغات البرمجة ولخدمته المتميزة في مجال علوم الحاسوب".
1953غراي، فرانكقام الفيزيائي والباحث في مختبرات بيل بتطوير الشفرة الثنائية المنعكسة (RBC) أو شفرة غراي . [ 31 ] تُستخدم منهجيات غراي للكشف عن الأخطاء وتصحيحها في أنظمة الاتصالات الرقمية، مثل QAM في شبكات خط المشترك الرقمي .
1974، 2005غراي، جيممبتكر في أنظمة قواعد البيانات وتنفيذ معالجة المعاملات
1986، 1990غروز، باربراابتكر أول نموذج حاسوبي للخطاب ، مما أسس مجال البحث وأثر على تقنيات معالجة اللغة؛ وطور نموذج SharedPlans للتعاون في أنظمة متعددة الوكلاء
1988، 2015غوستافسون، جونأثبت جدوى الحوسبة المتوازية تجريبيًا ونظريًا؛ وصاغ قانون غوستافسون ؛ وطوّر صيغًا عالية الكفاءة لتمثيل الأعداد الحقيقية Unum و Posit
1971هاميلتون، مارغريتطوّر مفاهيم البرمجيات غير المتزامنة، وجدولة الأولويات، والاختبار الشامل، وقدرة اتخاذ القرار بمشاركة الإنسان، مثل شاشات عرض الأولويات التي أصبحت فيما بعد أساسًا لتصميم البرمجيات فائقة الموثوقية
1950هامينغ، ريتشاردأنشأ مجالات تصحيح الأخطاء ، ورمز هامينغ ، ومصفوفة هامينغ ، ونافذة هامينغ ، وأعداد هامينغ ، وتعبئة الكرة (أو حد هامينغ )، ومسافة هامينغ ؛ [ 32 ] [ 33 ] أسس مفهوم الرمز المثالي [ 34 ] [ 35 ]
1956، 1958، 1974البائع، فولفغانغعمل رائد في نظرية الأوتوماتا ، والحوسبة المتوازية ، والذكاء الاصطناعي ، وواجهات الإنسان والآلة ، ورسومات الحاسوب ؛ أحد كبار مهندسي الحاسوب العملاق TR 4 ؛ ابتكر مخططات هاندلر لتقليل الدوال المنطقية ؛ صمم نظام تصنيف إرلانجن (ECS) للحواسيب المتوازية
2019هانراهان، باتمساهمات أساسية في مجال رسومات الحاسوب ثلاثية الأبعاد، ذات تأثير ثوري على الصور المولدة بالحاسوب (CGI) في صناعة الأفلام والتطبيقات الأخرى
1993هارتمانيس، جوريسأسس مجال نظرية التعقيد الحسابي [ 36 ]
1981، 1995، 1999هيلسبرغ، أندرسمؤلف برنامج Turbo Pascal في شركة Borland ؛ كبير مهندسي لغة Delphi ؛ مصمم وكبير مهندسي لغة C# في شركة Microsoft
1976هيلمان، مارتنمساهمات أساسية في علم التشفير الحديث. قدمت ورقة ديفي وهيلمان الرائدة عام 1976 بعنوان "اتجاهات جديدة في علم التشفير" [ 25 ] أفكار التشفير بالمفتاح العام والتوقيعات الرقمية، وهي الأساس لبروتوكولات الأمان على الإنترنت اليوم [ 26 ].
2017هينيسي، جون ل.ابتكر نهجًا منهجيًا وكميًا لتصميم وتقييم بنى الحاسوب، وكان له تأثير دائم على صناعة المعالجات الدقيقة.
2008، 2012، 2018هينتون، جيفريلقد ساهم في نشر وتمكين استخدام الشبكات العصبية الاصطناعية والتعلم العميق ، من بين أنجح الأدوات في جهود الذكاء الاصطناعي الحديثة ؛ وحصل على جائزة تورينج (2018) للاختراقات المفاهيمية والهندسية التي جعلت الشبكات العصبية العميقة عنصرًا حاسمًا في الحوسبة [ 14 ].
1961، 1969، 1978، 1980هوار، كارقام بتطوير اللغة الرسمية " عمليات الاتصال التسلسلي " (CSP)، ومنطق هوار للتحقق من صحة البرنامج، وخوارزمية الفرز السريع ؛ وهي مساهمات أساسية في تعريف وتصميم لغات البرمجة.
1968هولبرتون، بيتيكتبت أول برنامج فرز ودمج على الحاسوب المركزي في يونيفاك
1889هوليريث، هيرمانيُعتبر على نطاق واسع أب معالجة البيانات الآلية الحديثة ، وقد مثّل اختراعه لآلة الجدولة بالبطاقات المثقبة بداية عصر أنظمة معالجة البيانات شبه الآلية.
1986هوبكروفت، جونإنجازات أساسية في تصميم وتحليل الخوارزميات وهياكل البيانات
1952هوبر، غريسرائدة في العمل على ضرورة لغات البرمجة عالية المستوى، والتي أطلقت عليها اسم البرمجة الآلية ؛ كتبت مترجم AO ، الذي أثر بشكل كبير على لغة COBOL
1997هسو فنغ هسيونغالعمل الذي أدى إلى ابتكار حاسوب الشطرنج " ديب ثوت "؛ المهندس المعماري والمصمم الرئيسي لحاسوب الشطرنج "ديب بلو" من شركة آي بي إم الذي هزم بطل العالم للشطرنج آنذاك ، غاري كاسباروف ، في عام 1997
1952هوفمان، ديفيدتم إنشاء ترميز هوفمان
1952هيرد، كوثبرتساعد شركة IBM في تطوير أول حاسوب متعدد الأغراض لها، وهو IBM 701
1945، 1953هاسكي، هاريالمساهمات في تصميم أجهزة الكمبيوتر المبكرة بما في ذلك ENIAC و EDVAC و Pilot ACE و EDVAC و SEAC و SWAC و Bendix G-15 (والذي يوصف بأنه أول جهاز كمبيوتر شخصي ، حيث يمكن تشغيله بواسطة شخص واحد).
1954، 1962إيفرسون، كينيثساهم في تأسيس وتدريس أول دورة دراسات عليا في علوم الحاسوب (في جامعة هارفارد )؛ وابتكر لغة البرمجة APL ؛ وله إسهامات في الحوسبة التفاعلية.
1801جاكارد، جوزيف ماريقمتُ ببناء وعرض نول جاكارد ، وهو نول ميكانيكي قابل للبرمجة يتم التحكم فيه بواسطة شريط مصنوع من بطاقات مثقبة.
1206الجزرياخترع آلات قابلة للبرمجة ، بما في ذلك الروبوتات البشرية القابلة للبرمجة ، [ 37 ] وساعة القلعة ، وهي ساعة فلكية تعتبر أول جهاز كمبيوتر تناظري قابل للبرمجة [ 38 ].
1976–1999جوي، بيلابتكر محرري النصوص ex و vi ، والإصدار الأول من توزيعة برمجيات بيركلي ، وواجهة سطر الأوامر C Shell ، وحزمة بروتوكولات TCP/IP عالية الأداء. ثم أسس شركة صن مايكروسيستمز، وشارك في ابتكار معمارية SPARC ونظام التشغيل سولاريس . إضافةً إلى ذلك، وضع المواصفات الأصلية للغة جافا البرمجية ، وقاد تطوير جيني، وهو إطار عمل مصمم لتمكين الأجهزة من الاتصال بالشبكة وتقديم خدماتها تلقائيًا. كما سُمّي قانون جوي تيمّنًا به .
1989كاهان، ويلياممساهمات أساسية في التحليل العددي ؛ خبير بارز في حسابات الفاصلة العائمة ؛ مكرس لـ "جعل العالم مكاناً آمناً للحسابات العددية"
1978كان، بوبقام بتصميم بروتوكول التحكم في الإرسال وبروتوكول الإنترنت ( TCP/IP )، وهما بروتوكولا الاتصال الأساسيان للإنترنت وشبكات الكمبيوتر الأخرى .
1952، 1953كارنو، موريسمبتكر خريطة كارنو ، وهي شكل معدل من مخطط فيتش لإدوارد فيتش ؛ إعادة اكتشاف المخطط المنطقي الذي وضعه آلان ماركواند في وقت سابق بكثير والذي استُخدم لتقليل الدوال المنطقية
1985كارب، ريتشارد م.إسهامات في نظرية الخوارزميات، بما في ذلك تطوير خوارزميات فعالة لتدفق الشبكة ومسائل التحسين التوافقي الأخرى؛ ربط قابلية الحساب في وقت متعدد الحدود بالمفهوم البديهي لكفاءة الخوارزميات؛ ساهم في نظرية اكتمال NP
1973كاربينسكي، جاكطوّر أول محلل تفاضلي باستخدام الترانزستورات؛ وطوّر إحدى أوائل خوارزميات التعلم الآلي للتعرف على الأحرف والصور؛ واخترع أحد أوائل الحواسيب الصغيرة، وهو K-202
1970~كاي، آلانكان رائدًا في العديد من الأفكار الأساسية للغات البرمجة كائنية التوجه؛ وقاد الفريق الذي طور لغة سمول توك ؛ وقدم مساهمات جوهرية في مجال الحوسبة الشخصية
1948–1990كيلبورن، تومعمل مع فريدي ويليامز على أنبوب ويليامز-كيلبورن، وطوّر أول حاسوب إلكتروني في العالم يعمل بنظام تخزين البرامج، وهو "مانشستر بيبي"، أثناء عمله في جامعة مانشستر. وقد ساهم عمله في وضع مانشستر وبريطانيا في طليعة مجال علوم الحاسوب الناشئ. كما عمل على تطوير "أطلس"، أحد أقوى الحواسيب العملاقة في ستينيات القرن العشرين.
1972–1994كيلدال، غاريقدّم نظرية تحليل تدفق البيانات في تحسين المترجمات (تحسين التعبيرات العامة، طريقة كيلدال ). عمل على محاكيات مجموعة التعليمات ( INTERP )، وابتكر طريقةً جديدةً لإعادة توجيه البرامج ( إعادة توجيه حدود الصفحة ) ، ووضع الأساس لمفاهيم إعادة الترجمة الثنائية ( XLT86 ). طوّر أول لغة برمجة عالية المستوى ومترجم للحواسيب الصغيرة ( PL/M )، وأول نظام تشغيل رئيسي لها ( CP/M ) . ابتكر مفهوم طبقة تجريد الأجهزة المسماة BIOS ، حيث وضع كلاهما الأساس النظري لجميع أنظمة تشغيل الأقراص على الحواسيب الشخصية . عمل على مخططات تخزين مسارات الأقراص المرنة ، وخوارزميات القراءة المسبقة ، ومحركات الأقراص الافتراضية ، وتخزين نظام الملفات مؤقتًا. طوّر أول واجهة حاسوب لأقراص الفيديو ، وكان رائدًا في أنظمة ملفات الأقراص المضغوطة (CD-ROM )، وقدّم أول موسوعة للحواسيب ( الموسوعة الإلكترونية ). ابتكر نظام اتصالات PBX معياري يدمج الخطوط الأرضية مع الهواتف المحمولة ( Intelliphone ) وللاتصال عن بعد بالأجهزة المنزلية .
1957كيرش، راسل غرايأثناء عمله في المكتب الوطني للمعايير (NBS)، استخدم كيرش ماسحًا ضوئيًا للصور تم تطويره حديثًا لمسح وتخزين أول صورة رقمية . [ 39 ] وقد اعتبرت مجلة لايف صورته الممسوحة ضوئيًا لابنه البالغ من العمر ثلاثة أشهر واحدة من "100 صورة غيرت العالم".
1961-1970كلاينروك، ليوناردكان رائدًا في تطبيق نظرية الطوابير لنمذجة التأخيرات في شبكات تبديل الرسائل في أطروحته للدكتوراه عامي 1961-1962، والتي نُشرت ككتاب عام 1964. [ 40 ] وفي سبعينيات القرن العشرين، طبّق نظرية الطوابير لنمذجة أداء شبكات تبديل الحزم . تناولت رؤاه الرياضية حساب أوقات الانتظار، وأطوال الطوابير، ومعدل نقل البيانات في شبكات الحزم، مما مكّن من نمذجة تدفق البيانات، والتأخيرات، والازدحام في شبكات الحاسوب. [ 41 ] [ 42 ] ولا يزال عمله النظري حول التوجيه الهرمي في أواخر سبعينيات القرن العشرين مع الطالب فاروق كمون بالغ الأهمية لتشغيل الإنترنت اليوم. [ 43 ] [ 44 ]
1936، 1951كلين، ستيفن كولطوّر مفهوم هيربراند-غودل للدوال التكرارية العامة ، وأثبت تكافؤها مع حساب لامدا لتشرش ، الذي ساهم في توسيعه، واضعًا بذلك أسسًا رئيسية لنظرية الحوسبة . [ 45 ] [ 46 ] رائد نظرية الأوتوماتا ؛ أدخل التعابير النمطية لوصف اللغات المنتظمة . [ 47 ] [ 48 ]
1968، 1989كنوث، دونالدألف كتاب "فن برمجة الحاسوب" وأنشأ TeX . صاغ مصطلح "تحليل الخوارزميات" وقدم مساهمات كبيرة في هذا المجال، بما في ذلك نشر ترميز Big O.
1990–1993لام، سيمون س.أُدرج اسم لام في قاعة مشاهير الإنترنت (2023) من قِبل جمعية الإنترنت لاختراعه تقنية المقابس الآمنة عام 1991 وتطبيقه أول طبقة مقابس آمنة، والتي سُميت SNP، عام 1993. [ 49 ] في عام 1990، ابتكر فكرة طبقة فرعية جديدة للأمان ضمن حزمة بروتوكولات الإنترنت. وبهذه الطريقة، لا يحتاج مبرمجو التطبيقات إلى معرفة الكثير عن تفاصيل التنفيذ المتعلقة بالأمان. كما أن الواجهة العليا للطبقة الفرعية تُمكّن من إجراء تغييرات على التنفيذ في المستقبل. كانت فكرة لام عن طبقة فرعية تُوفر "واجهة مقابس آمنة" للتطبيقات مبتكرة وثورية، وتُمثل خروجًا جذريًا عن أبحاث الأمان المعاصرة لتطبيقات الإنترنت (مثل Kerberos من معهد ماساتشوستس للتكنولوجيا، 1988-1992). صُممت SNP لتطبيقات الإنترنت بشكل عام. واتبعت طبقات المقابس الآمنة اللاحقة، SSL و TLS ، التي طُوّرت بعد سنوات للمتصفحات التجارية، نفس بنية SNP وأفكارها الرئيسية. اليوم، لا يتم استخدام TLS 1.3 فقط لجميع تطبيقات التجارة الإلكترونية (الخدمات المصرفية والتسوق وما إلى ذلك) على شبكة الويب العالمية، ولكن أيضًا للبريد الإلكتروني والعديد من تطبيقات الإنترنت الأخرى.
1974، 1978لامبورت، ليزليصاغ خوارزميات لحل العديد من المشكلات الأساسية في الأنظمة الموزعة (مثل خوارزمية المخبز ). طور مفهوم الساعة المنطقية ، مما يتيح التزامن بين الكيانات الموزعة بناءً على الأحداث التي تتواصل من خلالها. أنشأ لغة LaTeX .
1972لامبسون، بتلر دبليو.تطوير بيئات الحوسبة الشخصية الموزعة والتكنولوجيا اللازمة لتنفيذها: محطات العمل ، والشبكات ، وأنظمة التشغيل ، وأنظمة البرمجة، والشاشات ، والأمن ، ونشر المستندات .
1964–1966لاندين، بيتراستخدم حساب لامدا لتحديد دلالات لغات البرمجة بشكل رسمي، وقام بتطوير لغة برمجة وظيفية مبكرة تسمى ISWIM .
1951ليبيديف، سيرجي أليكسييفيتشقام بتصميم أول حاسوب إلكتروني في الاتحاد السوفيتي، وهو حاسوب MESM ، بشكل مستقل في كييف، أوكرانيا.
1670~لايبنتز، غوتفريدحقق تقدماً في المنطق الرمزي، مثل حساب التفاضل والتكامل الاستدلالي ، الذي كان له تأثير كبير على غوتلوب فريجه . وقد استبق التطورات اللاحقة في حساب التفاضل والتكامل من الدرجة الأولى ، والتي كانت حاسمة للأسس النظرية لعلوم الحاسوب.
1960ليكليدر، مجلس الطلاببدأ البحث في التفاعل بين الإنسان والحاسوب، مما أدى إلى العديد من التطورات في واجهات الحاسوب، وكذلك في علم التحكم الآلي والذكاء الاصطناعي . يُعدّ من الشخصيات الرئيسية في قائمة رواد الإنترنت . ويمكن القول إنه صاحب فكرة شبكة أربانت (ARPANET) والإنترنت ، ومن ثمّ، صاحب الفكرة المحورية في نشأتها .
1987ليسكوف، باربراقام بتطوير مبدأ استبدال ليسكوف ، الذي يضمن قابلية التشغيل البيني الدلالي لأنواع البيانات في التسلسل الهرمي.
1300~لول، رامونقام بتصميم العديد من آلات التمثيل الرمزي، وكان رائداً في مفاهيم التمثيل الرمزي والتلاعب لإنتاج المعرفة - وكلاهما كان له تأثير كبير على لايبنتز .
1852لوفليس، آداعالمة رياضيات وكاتبة إنجليزية، اشتهرت بعملها على مشروع تشارلز باباج للحاسوب الميكانيكي متعدد الأغراض، المعروف باسم المحرك التحليلي . كانت أول من أدرك أن لهذا الجهاز تطبيقات تتجاوز مجرد الحساب، وابتكرت أول خوارزمية مصممة خصيصًا لتنفيذها بواسطة هذا الجهاز. ونتيجة لذلك، يُنظر إليها غالبًا على أنها أول من أدرك الإمكانات الكاملة لـ"آلة الحوسبة" وأول مبرمجة حاسوب.
1909لودجيت، بيرسيقام تشارلز باباج في عام 1843 وبيرسي لودجيت في عام 1909 بتصميم أول محركين تحليليين في التاريخ. استخدم محرك لودجيت الضرب كأساس له (باستخدام اللوغاريتمات الأيرلندية المنفصلة الخاصة به )، وكان أول محرك يحتوي على مضاعف-مجمع (MAC)، وكان أول من استغل مضاعف-مجمع لإجراء القسمة، وخزن الأرقام على شكل إزاحات قضبان في مكوك، وكان يحتوي على العديد من الميزات الجديدة الأخرى، بما في ذلك التحكم في البرنامج.
1971مارتن لوف، بيرنشر مسودة مبكرة حول نظرية الأنواع التي يعتمد عليها العديد من مساعدي البرهان .
1943، 1951موتشلي، جونبالتعاون مع ج. بريسبر إيكرت ، صمم وبنى جهاز إينياك ، أول حاسوب حديث (إلكتروني بالكامل، مكتمل تورينج)، وجهاز يونيفاك 1 ، أول حاسوب متاح تجاريًا. كما عمل أيضًا على أجهزة بيناك (1949)، وإدفاك (1949)، ويونيفاك (1951) مع غريس هوبر وجين بارتيك ، لتطوير حواسيب البرامج المخزنة المبكرة .
1958مكارثي، جونابتكر لغة البرمجة الوظيفية LISP .
1956، 2012ماكلوسكي، إدوارد ج.المساهمات الأساسية التي شكلت تصميم واختبار الأنظمة الرقمية، بما في ذلك أول خوارزمية لتوليف المنطق الرقمي، وهي طريقة كوين-مكلوسكي لتقليل المنطق.
1986ماير، برتراندتم تطوير التصميم بموجب عقد باستخدام لغة برمجة إيفل .
2012ميكالي، سيلفيولعمله التحويلي الذي وضع الأسس النظرية المعقدة لعلم التشفير، وفي هذه العملية ابتكر أساليب جديدة للتحقق الفعال من البراهين الرياضية في نظرية التعقيد.
1991ميلنر، روبن1) LCF ، وهي ميكنة منطق سكوت للدوال القابلة للحساب، وربما تكون أول أداة عملية قائمة على أسس نظرية لبناء البراهين بمساعدة الآلة ؛ 2) ML ، وهي أول لغة تتضمن استنتاج الأنواع متعددة الأشكال إلى جانب آلية آمنة لمعالجة الاستثناءات ؛ 3) CCS ، وهي نظرية عامة للتزامن . بالإضافة إلى ذلك، صاغ وطوّر بقوة مفهوم التجريد الكامل ، وهو دراسة العلاقة بين الدلالات التشغيلية والدلالات الوصفية . [ 50 ]
1963مينسكي، مارفنالمؤسس المشارك لمختبر الذكاء الاصطناعي في معهد ماساتشوستس للتكنولوجيا ، ومؤلف العديد من النصوص حول الذكاء الاصطناعي والفلسفة. ناقد لنظرية البيرسيبترون .
1968مور، تشارلز هـ.مخترع لغة البرمجة فورث .
2008ناكاموتو، ساتوشيالمُنشئ أو المُنشئون المجهولون لعملة البيتكوين ، أول عملة رقمية لا مركزية . قدّم ناكاموتو في ورقته البيضاء عام 2008 مفهوم سلسلة الكتل (البلوك تشين) ، وهي بنية قاعدة بيانات تسمح بالثقة الكاملة في سجل المعاملات العامة اللامركزية والموزعة للعملة المشفرة. [ 51 ]
1934، 1938ناكاشيما أكيراقام مهندس شركة NEC بتقديم نظرية الدوائر التبديلية في أوراق بحثية من عام 1934 إلى عام 1936، مما وضع الأسس لتصميم الدوائر الرقمية ، في أجهزة الكمبيوتر الرقمية وغيرها من مجالات التكنولوجيا الحديثة.
1960نور، بيترتم تعديل التقرير المنقح ALGOL 60 ، مع إدخال نموذج باكوس-ناور.
1945نيومان، جون فونقام بصياغة بنية فون نيومان التي تستند إليها معظم أجهزة الكمبيوتر الحديثة.
1956نيويل، ألينبالتعاون مع جي سي شو [ 52 ] وهربرت سيمون، قام الثلاثة بكتابة برنامج Logic Theorist، وهو أول برنامج ذكاء اصطناعي حقيقي، في أول لغة لمعالجة القوائم، والتي أثرت على لغة LISP.
1943نيومان، ماكسبادر إلى إنتاج حواسيب كولوسوس في بليتشلي بارك . بعد الحرب العالمية الثانية، أنشأ مختبر آلات الحوسبة في جامعة مانشستر حيث ابتكر المشروع الذي بنى أول حاسوب في العالم ببرنامج مخزن ، وهو مانشستر بيبي .
1962نيغارد، كريستينبالتعاون مع أولي يوهان دال ، ابتكر لغة البرمجة الأولية الموجهة للكائنات SIMULA .
1642باسكال، بليزاخترع الآلة الحاسبة الميكانيكية .
القرن الخامس قبل الميلادبانينيابتكر أول قواعد نحوية رسمية . كما قدم أشكالاً مبكرة من صيغة باكوس-نور [ 53 ]
2017باترسون، ديفيدلريادته في اتباع نهج منهجي وكمي لتصميم وتقييم بنى الحاسوب ذات التأثير الدائم على صناعة المعالجات الدقيقة.
1991باولاك، زدزيسلافقام بتقديم ونشر أعمال أساسية في نظرية المجموعات التقريبية
2011بيرل، يهودامساهمات أساسية في مجال الذكاء الاصطناعي من خلال تطوير حساب التفاضل والتكامل للاستدلال الاحتمالي والسببي. [ 54 ]
1952بيرليس، آلانفي مشروع ويرل ويند ، كان عضوًا في الفريق الذي طور لغة البرمجة ALGOL ، وأول من حصل على جائزة تورينج.
1985بيرلمان، رادياابتكرت بروتوكول الشجرة الممتدة (STP)، وهو بروتوكول أساسي لتشغيل جسور الشبكات ، أثناء عملها في شركة ديجيتال إكويبمنت . أجرت أبحاثًا واسعة النطاق ومبتكرة، لا سيما في مجال التشفير والشبكات. حصلت على جائزة الإنجاز مدى الحياة من USENIX عام 2007، بالإضافة إلى العديد من الجوائز الأخرى.
1964بيروتو، بيير جورجيومصمم حاسوب لشركة أوليفيتي ، صمم أحد أوائل الآلات الحاسبة الإلكترونية القابلة للبرمجة ، وهي Programma 101 [ 55 ] [ 56 ] [ 57 ]
1932بيتر، روزانشر سلسلة من الأوراق البحثية التي تؤسس نظرية الاستدعاء الذاتي كمجال منفصل للبحث الرياضي، مما وضع الأساس لعلم الحاسوب النظري.
1995بيكارد، روزاليندأسس شركة الحوسبة العاطفية ، ووضع الأسس اللازمة لمنح أجهزة الكمبيوتر مهارات الذكاء العاطفي.
1996بينويلي، أميرإدخال المنطق الزمني في علوم الحاسوب، وللمساهمات المتميزة في التحقق من البرامج والأنظمة . [ 58 ]
1936بوست، إميل ل.قام بتطوير آلة بوست كنموذج للحوسبة، بشكل مستقل عن تورينج. كما اشتهر بتطوير جداول الحقيقة ، ومسألة تطابق بوست المستخدمة في نظرية الاستدعاء الذاتي، بالإضافة إلى إثبات ما يُعرف بنظرية بوست .
1976رابين، مايكل أو.قدمت الورقة البحثية المشتركة بعنوان "الآلات المحدودة ومشاكل اتخاذ القرار الخاصة بها" [ 59 ] فكرة الآلات غير الحتمية ، والتي أثبتت أنها مفهوم بالغ الأهمية. وقد شكلت ورقتهم البحثية الكلاسيكية (سكوت ورابين) مصدر إلهام مستمر للأعمال اللاحقة في هذا المجال. [ 60 ] [ 61 ]
1994ريدي، راجالريادة في تصميم وبناء أنظمة الذكاء الاصطناعي واسعة النطاق، مما يدل على الأهمية العملية والتأثير التجاري المحتمل لتكنولوجيا الذكاء الاصطناعي. [ 28 ]
1967–2011ريتشي، دينيسبالتعاون مع كين تومسون ، قاما بتطوير لغة البرمجة C ونظام تشغيل الكمبيوتر Unix في مختبرات بيل.
1977ريفست، رونشارك في ابتكار خوارزمية RSA مع آدي شامير وليونارد أدلمان ، مما جعل التشفير بالمفتاح العام مفيدًا من الناحية العملية.
1958–1960روزن، شاولقام بتصميم برنامج أول حاسوب يعمل بالترانزستور. كما أثر في لغة البرمجة ALGOL.
1975، 1985روبين، فيليبقام بتطوير أنظمة رائدة في مجال توليف الكلام الحاسوبي لاستخدامها في الدراسة التجريبية لإدراك الكلام وإنتاجه، بما في ذلك توليف الكلام النطقي وتوليف الموجات الجيبية . كما صمم نظام معالجة الإشارات HADES ، وهو نظام سابق لبرنامج MATLAB .
1910راسل، برتراندقدّم إسهاماتٍ جليلةً في علوم الحاسوب من خلال عمله في المنطق الرياضي (مثال: دالة الصدق ). كما قدّم مفهوم نظرية الأنواع . وقدّم أيضاً نظام الأنواع (بالاشتراك مع ألفريد نورث وايتهيد ) في كتابه " مبادئ الرياضيات" .
1975سالتون، جيراردرائد في مجال استرجاع المعلومات الآلي ، والذي اقترح نموذج الفضاء المتجهي والفهرس المعكوس .
1962ساميت، جان إي.قامت بتطوير لغة البرمجة FORMAC . كما كانت أول من كتب بشكل موسع عن تاريخ وتصنيف لغات البرمجة في عام 1969، وأصبحت أول رئيسة لجمعية آلات الحوسبة في عام 1974.
1880، 1898ساندرز بيرس، تشارلزأثبت اكتمال وظيفة بوابة NOR . اقترح تنفيذ المنطق عبر الدوائر الكهربائية، قبل عقود من كلود شانون . وسّع المنطق الأرسطي باستخدام حساب التفاضل والتكامل من الدرجة الأولى ، بشكل مستقل عن غوتلوب فريجه ، وهو رائد أساسي في نظرية الحوسبة . كما أن له صلة بالأعمال المبكرة في مجال الذكاء الاصطناعي ، وتحديدًا البرمجة المنطقية .
1976سكوت، داناقدمت الورقة البحثية المشتركة بعنوان "الآلات المحدودة ومشاكل اتخاذ القرار الخاصة بها" [ 59 ] فكرة الآلات غير الحتمية ، والتي أثبتت أنها مفهوم بالغ الأهمية. وقد شكلت ورقتهم البحثية الكلاسيكية (سكوت ورابين) مصدر إلهام مستمر للأعمال اللاحقة في هذا المجال. [ 60 ] [ 61 ]
1977شامير، عديشارك في ابتكار خوارزمية RSA مع رون ريفست وليونارد أدلمان ، مما جعل التشفير بالمفتاح العام مفيدًا من الناحية العملية.
1937، 1948شانون، كلودأسس نظرية المعلومات ، ووضع الأسس لتصميم الدوائر الرقمية العملية.
1971شيما ماساتوشيصمم معالج Intel 4004 ، وهو أول معالج دقيق تجاري ، [ 62 ] [ 63 ] بالإضافة إلى معالجات Intel 8080 و Zilog Z80 و Zilog Z8000 ، ورقائق Intel 8259 و 8255 و 8253 و 8257 و 8251 . [ 64 ]
من عام 1997 إلى عام 1999سيجل، نيليُعدّ أول من ابتكر، وفقًا للوثائق، نظامًا متكاملًا وفعّالًا لتكييف الإنترنت مع التشغيل اللاسلكي الموجّه بالكامل، بالإضافة إلى العديد من التقنيات المهمة/المرتبطة بها والتي تُستخدم على نطاق واسع اليوم في هذه الأجهزة اللاسلكية .
2007سيفاكيس، جوزيفتطوير التحقق من النماذج ليصبح تقنية تحقق فعالة للغاية، يتم اعتمادها على نطاق واسع في صناعات الأجهزة والبرامج. [ 65 ]
1956، 1957سيمون، هربرت أ.عالم سياسي واقتصادي رائد في مجال الذكاء الاصطناعي . شارك في ابتكار برنامجي " آلة نظرية المنطق" و" حل المشكلات العامة" .
1953سبارك جونز، كارينأحد رواد استرجاع المعلومات ومعالجة اللغة الطبيعية .
1972ستالمان، ريتشاردأطلق ستالمان مشروع جنو في سبتمبر 1983 لإنشاء نظام تشغيل حاسوبي شبيه بنظام يونكس، يتألف بالكامل من برمجيات حرة. وبهذا، أطلق أيضاً حركة البرمجيات الحرة .
1993ستيرنز، ريتشارد إي.أسس مجال نظرية التعقيد الحسابي . [ 36 ]
1981ستيبانوف، ألكسندريُعد ستيبانوف أحد الرواد في مجال البرمجة العامة ، وهو أيضًا المصمم والمنفذ الرئيسي لمكتبة القوالب القياسية للغة C++ .
1937، 1941ستيبتز، جورج ر.أبو الحوسبة الرقمية الحديثة وإدخال الوظائف عن بُعد . هو من صاغ مصطلح "الرقمي". اكتشف الشفرة الثنائية المنعكسة المعروفة باسم شفرة غراي . كما سُميت شفرة إكسيس-3 باسمه ( شفرة ستيبتز ).
1982ستونبريكر، مايكلأحدث ثورة في مجال أنظمة إدارة قواعد البيانات (DBMS) وأسس العديد من شركات قواعد البيانات الناجحة
1979ستروستروب، بيارنابتكر لغة البرمجة C++ في مختبرات بيل
1963ساذرلاند، إيفانمؤلف برنامج Sketchpad ، وهو سلف برامج الرسم بمساعدة الكمبيوتر الحديثة (CAD) وأحد الأمثلة المبكرة للبرمجة الموجهة للكائنات .
1986تارجان، روبرتإنجازات أساسية في تصميم وتحليل الخوارزميات وهياكل البيانات.
1973ثاكر، تشارلز ب.التصميم الرائد وتحقيق جهاز Xerox Alto ، أول جهاز كمبيوتر شخصي حديث، بالإضافة إلى مساهماته في تقنية Ethernet وجهاز الكمبيوتر اللوحي.
1972، 1973ثي وأندريه ترونج ترونج وفرانسوا جيرنيلاختراع جهاز Micral N ، وهو أول جهاز كمبيوتر شخصي تجاري غير قائم على مجموعة أدوات يعتمد على معالج دقيق .
1967تومسون، كينابتكر نظام التشغيل يونكس ، ولغة البرمجة بي ، ونظام التشغيل بلان 9 ، وأول جهاز يحقق تصنيف ماستر في الشطرنج، وتشفير UTF-8 في مختبرات بيل ولغة البرمجة جو في جوجل.
1993توه، تشاي كيونغأنشأ شبكات مخصصة متنقلة؛ ونفذ أول شبكة لاسلكية مخصصة عاملة لأجهزة الكمبيوتر المحمولة في عام 1998 باستخدام نظام التشغيل Linux وأجهزة راديو Lucent WaveLan 802.11 وبروتوكول توجيه موزع جديد شفاف لبروتوكولات TCP/UDP/IP.
1912، 1914توريس كيفيدو، ليوناردوفي عام ١٩١٢، بنى ليوناردو توريس كيفيدو آلة "إل أجدريسيستا" ( لاعب الشطرنج )، وهي من أوائل الآلات ذاتية التشغيل القادرة على لعب الشطرنج. وعلى عكس آلتَي "التركي" و "العجيب" اللتين يُشغّلهما الإنسان ، كانت "إل أجدريسيستا" آلةً حقيقيةً مصممةً للعب الشطرنج دون توجيه بشري. لعبت نهاية اللعبة بثلاث قطع شطرنج، حيث حرّكت تلقائيًا ملكًا أبيض ورخًا لإماتة الملك الأسود الذي حرّكه الخصم البشري. في كتابه " مقالات في الأتمتة" ، الذي نُشر عام ١٩١٤، صاغ توريس كيفيدو ما سيصبح فرعًا جديدًا من فروع الهندسة: الأتمتة ، وصمّم نسخةً كهروميكانيكيةً من محرك باباج التحليلي الذي أدخل الحساب ذي الفاصلة العائمة .
1991تورفالدز، لينوسقام بإنشاء الإصدار الأول من نواة لينكس ونظام التحكم في الإصدارات الموزع Git .
1965توكي، جون دبليو.ابتكر مع جيمس كولي تحويل فورييه السريع . كما ابتكر مصطلح "بت". [ 66 ]
1936تورينج، آلانقدّم إسهاماتٍ جوهرية عديدة في علوم الحاسوب النظرية، من بينها نموذج تورينج الحسابي ، ومفهوم البرنامج المخزّن، وتصميم جهاز ACE عالي السرعة . وبشكلٍ مستقل عن ألونزو تشيرش ، صاغ أطروحة تشيرش-تورينج ، وأثبت أن منطق الرتبة الأولى غير قابل للتقرير . كما استكشف القضايا الفلسفية المتعلقة بالذكاء الاصطناعي ، مقترحًا ما يُعرف الآن باختبار تورينج .
2010شجاعة يا ليزليمساهمات تحويلية في نظرية الحوسبة ، بما في ذلك نظرية التعلم الصحيح تقريبًا ( PAC )، وتعقيد التعداد والحساب الجبري، ونظرية الحوسبة المتوازية والموزعة.
1875، 1875فيريا، رامونصممت وحصلت على براءة اختراع لمضاعف فيريا المباشر ، وهو أول مضاعف مباشر ميكانيكي.
1950~وانغ آنقدم مساهمات رئيسية في تطوير ذاكرة النواة المغناطيسية .
1955، ستينيات القرن العشرين، 1974وير، ويليسشارك في تصميم برنامج JOHNNIAC . ترأس اللجنة التي وضعت مدونة قواعد الممارسة العادلة للمعلومات وأدت إلى قانون الخصوصية لعام 1974. نائب رئيس لجنة دراسة حماية الخصوصية.
1964، 1966وايزنباوم، جوزيفأحد آباء الذكاء الاصطناعي الحديث . مبتكر برنامج إليزا الذي يستخدم معالجة اللغة الطبيعية لمحاكاة المحادثات مع طبيب نفسي .
1968وينغاردن، أدريان فانمطور قواعد اللغة W التي استخدمت لأول مرة في تعريف ALGOL 68
1949ويلكس، موريسقام ببناء أول حاسوب عملي ذي برنامج مخزن ( EDSAC ) يتم إكماله، ويُنسب إليه الفضل في أفكار العديد من بنيات لغات البرمجة عالية المستوى.
1970ويلكنسون، جيمس هـ.أجرى أبحاثاً في التحليل العددي لتسهيل استخدام الحاسوب الرقمي عالي السرعة، وحصل على تقدير خاص لعمله في الحسابات في الجبر الخطي وتحليل الخطأ "الرجعي". [ 67 ]
1970، 1978ويرث، نيكلاوسصممت لغات البرمجة باسكال ، ومودولا-2 ، وأوبرون .
2000ياو، أندروالمساهمات الأساسية في نظرية الحوسبة ، بما في ذلك النظرية القائمة على التعقيد لتوليد الأرقام العشوائية الزائفة ، والتشفير ، وتعقيد الاتصالات .
1955–1958زيمانيك، هاينزقام بتطوير حاسوب مبكر يعمل بالكامل بالترانزستورات، وهو Mailüfterl . وكان له دور حاسم في وضع التعريف الرسمي للغة البرمجة PL/I .
1938، 1945زوس، كونرادقام ببناء أول حاسوب رقمي قابل للبرمجة بحرية، وهو Z1 . بنى أول حاسوب وظيفي يتم التحكم فيه بواسطة برنامج، وهو Z3 في عام 1941. [ 68 ] استخدم Z3 بالفعل ما أصبح يُعرف لاحقًا باسم تدوين اللغة البولندية العكسية ، وقد ثبت أنه كامل تورينج في عام 1998. أنتج أول حاسوب تجاري في العالم، وهو Z4 . صمم أول لغة برمجة عالية المستوى، وهي Plankalkül .

~ العناصر المميزة بعلامة التلدة (~) تعود إلى تواريخ تقريبية.

انظر أيضاً

مراجع

  1. ↑ ماريو توكورو، محرر. (2010). "9". هـ: من فهم المبادئ إلى حل المشكلات . دار نشر IOS. ص 223-224 . ISBN  978-1-60750-468-9.
  2. ↑ كريستوفر مور؛ ستيفان ميرتنز (2011). طبيعة الحوسبة . مطبعة جامعة أكسفورد. ص 36. ISBN  978-0-19-162080-5.
  3. ↑ أ.ب. إرشوف، دونالد إرفين كنوث، محرران (1981). الخوارزميات في الرياضيات الحديثة وعلوم الحاسوب: وقائع المؤتمر، أورغنش، جمهورية أوزبكستان الاشتراكية السوفيتية، 16-22 سبتمبر 1979. سبرينغر. ISBN 978-3-540-11157-3.
  4. ↑ "وفاة الدكتور جين أمدال، خريج جامعة واشنطن ورائد الحوسبة المركزية، عن عمر يناهز 92 عامًا" . قسم الفيزياء . 12 نوفمبر 2015. تاريخ الاطلاع: 20 سبتمبر 2024 .
  5. ↑ "نظام IBM/360 | IBM" . www.ibm.com . تاريخ الاسترجاع: 2024-09-20 .
  6. ↑ "جين م. أمدال 1922–2015" . موقع الأكاديمية الوطنية للهندسة . تم الاطلاع عليه بتاريخ 20 سبتمبر 2024 .
  7. ↑ باخمان، سي دبليو (1973). "المبرمج كملاح" . اتصالات رابطة آلات الحوسبة . 16 (11): 653-658 . doi : 10.1145/355611.362534 .
  8. ↑ كوتسير، تون (2001). "حول تاريخ ما قبل الآلات القابلة للبرمجة: الآلات الموسيقية الآلية، والأنوال، والآلات الحاسبة". نظرية الآليات والآلات . 36 (5): 589-603 . doi : 10.1016/S0094-114X(01)00005-2 .
  9. 1 2 "القصة الحقيقية لكيفية تحول الإنترنت إلى هذا الحد من الهشاشة" . صحيفة واشنطن بوست . 30 مايو 2015. مؤرشف من الأصل في 30 مايو 2015. تم الاطلاع عليه في 18 فبراير 2020. يُنسب المؤرخون الفضل في هذه الرؤى الرائدة إلى العالم الويلزي دونالد دبليو ديفيز والمهندس الأمريكي بول باران.
  10. ↑ "تفاصيل المُكرَّم - بول باران" . قاعة مشاهير المخترعين الوطنيين. مؤرشف من الأصل بتاريخ 2017-09-06 . تم الاطلاع عليه بتاريخ 2017-09-06 .
  11. ↑ باران، بول (2002). "بدايات تحويل الحزم: بعض المفاهيم الأساسية" (ملف PDF) . مجلة IEEE للاتصالات . 40 (7): 42-48 . Bibcode : 2002IComM..40g..42B . doi : 10.1109/MCOM.2002.1018006 . ISSN 0163-6804 . تم تحديد جميع الأعمال تقريبًا بحلول عام 1961، وتم تطويرها ووضعها في شكل كتابي رسمي في عام 1962. تعود فكرة توجيه "البطاطا الساخنة" إلى أواخر عام 1960. 
  12. ↑ مونيكا، 1776 شارع مين، سانتا، كاليفورنيا 90401-3208. "بول باران وأصول الإنترنت" . www.rand.org . تاريخ الاسترجاع: 15 فبراير 2020 .{{cite web}}: صيانة CS1: الأسماء الرقمية: قائمة المؤلفين ( رابط )
  13. ^ "جان موريس-إميل بودو. نظام التلغراف السريع، يونيو 1874. بريفيه 103898؛ المصدر: معهد المحفوظات الوطني للملكية الصناعية (INPI)" . مؤرشفة من الأصلي بتاريخ 2017-12-16 . تم الاسترجاع 2019-07-21 .
  14. 1 2 آباء ثورة التعلم العميق يحصلون على جائزة تورينج من جمعية آلات الحوسبة
  15. ↑ ماكفرسون، ستيفاني سامارتينو (1 سبتمبر 2009). تيم بيرنرز لي: مخترع شبكة الويب العالمية . كتب القرن الحادي والعشرين. ISBN 978-0-8225-7273-2.
  16. ↑ "مانويل بلوم، الحائز على جائزة تورينج" . amturing.acm.org . تاريخ الاسترجاع: 4 نوفمبر 2018 .
  17. 1 2 "بير برينش هانسن • جمعية IEEE للكمبيوتر" . Computer.org . 2008-11-12 . تم الاسترجاع 2015/12/15 .
  18. ↑ برينش هانسن، بير (أبريل 1993). "المراقبون وباسكال المتزامن: تاريخ شخصي" (ملف PDF) . المؤتمر الثاني لجمعية الحوسبة الآلية حول تاريخ لغات البرمجة .
  19. ↑ برينش هانسن، بير (نوفمبر 1978). "العمليات الموزعة: مفهوم البرمجة المتزامنة" (ملف PDF) . مجلة اتصالات رابطة مكائن ​​الحوسبة . 21 (11): 934-941 . CiteSeerX 10.1.1.107.3108 . doi : 10.1145/359642.359651 . S2CID 11610744 .  
  20. ↑ "تفاصيل المُكرَّم - دونالد واتس ديفيز" . قاعة مشاهير المخترعين الوطنيين. مؤرشف من الأصل بتاريخ 2017-09-06 . تم الاطلاع عليه بتاريخ 2017-09-06 .
  21. ↑ روبرتس، د. لورانس ج. (نوفمبر 1978). "تطور تبديل الحزم" . مؤرشف من الأصل في 24 مارس 2016. تم الاطلاع عليه في 5 سبتمبر 2017. بعد اجتماع عام 1965 مباشرةً تقريبًا، وضع دونالد ديفيز تصورًا لتفاصيل نظام تبديل الحزم القائم على التخزين وإعادة التوجيه .روبرتس ، د. لورانس ج. (مايو 1995). "شبكة أربانت وشبكات الحاسوب" . مؤرشف من الأصل في 24 مارس 2016. تم الاطلاع عليه في 13 أبريل 2016. ثم في يونيو 1966 ، كتب ديفيز ورقة داخلية ثانية بعنوان "مقترح لشبكة اتصالات رقمية"، صاغ فيها مصطلح "الحزمة" - وهو جزء صغير من الرسالة التي يرغب المستخدم في إرسالها، كما قدم مفهوم "حاسوب الواجهة" الذي يعمل كوسيط بين جهاز المستخدم وشبكة الحزم.
  22. ↑ هيمبستيد، سي.؛ وورثينجتون، دبليو.، محرران. (2005). موسوعة تكنولوجيا القرن العشرين . المجلد 1، أ- ل. روتليدج. ص 574. ISBN   9781135455514لقد كان اجتماعًا محوريًا حيث أوضح اقتراح المختبر الفيزيائي الوطني كيف يمكن تحقيق الاتصالات لشبكة حاسوبية لمشاركة الموارد.
  23. ↑ روبرتس، د. لورانس ج. (نوفمبر 1978). "تطور تبديل الحزم" (ملف PDF) . ورقة بحثية مدعوة من معهد مهندسي الكهرباء والإلكترونيات . 66 (11): 1307. رمز Bibcode : 1978IEEEP..66.1307R . doi : 10.1109/PROC.1978.11141 . مؤرشف من الأصل (ملف PDF) بتاريخ 31 ديسمبر 2018. تم الاطلاع عليه بتاريخ 17 سبتمبر 2017. في جميع الجوانب تقريبًا، كان اقتراح ديفيز الأصلي، الذي طُوّر في أواخر عام 1965، مشابهًا للشبكات الفعلية التي تُبنى اليوم.
  24. ↑ أبّاتي، جين (2000). اختراع الإنترنت . مطبعة معهد ماساتشوستس للتكنولوجيا. الصفحات 37-38 ، 58-59 . ISBN  978-0262261333أثرت مجموعة مختبر الفيزياء النووية (NPL ) على عدد من علماء الحاسوب الأمريكيين لصالح التقنية الجديدة، واعتمدوا مصطلح ديفيز "تبديل الحزم" للإشارة إلى هذا النوع من الشبكات. كما اعتمد روبرتس بعض الجوانب المحددة من تصميم مختبر الفيزياء النووية.
  25. 1 2 ديفي، دبليو؛ هيلمان، إم. (1976). "اتجاهات جديدة في علم التشفير" (ملف PDF) . معاملات IEEE في نظرية المعلومات . 22 (6): 644-654 . Bibcode : 1976ITIT...22..644D . CiteSeerX 10.1.1.37.9720 . doi : 10.1109/TIT.1976.1055638 . 
  26. 1 2 "رواد علم التشفير يحصلون على جائزة تورينج لعام 2015 من جمعية آلات الحوسبة" . ACM.
  27. ↑ ويليام هنري إيكلز وفرانك ويلفريد جوردان، "تحسينات في المرحلات الأيونية"، براءة اختراع بريطانية رقم: GB 148582 (تاريخ الإيداع: 21 يونيو 1918؛ تاريخ النشر: 5 أغسطس 1920). متاح على الإنترنت على الرابط التالي: http://v3.espacenet.com/origdoc?DB=EPODOC&IDX=GB148582&F=0&QPN=GB148582
  28. 1 2 ريدي، ر. (1996). "أن تحلم بالحلم الممكن" . اتصالات رابطة آلات الحوسبة . 39 (5): 105-112 . doi : 10.1145/229459.233436 .
  29. ↑ فلويد، ر. و. (1979). "نماذج البرمجة" . اتصالات رابطة آلات الحوسبة . 22 (8): 455-460 . doi : 10.1145/359138.359140 .
  30. ↑ "متحف تاريخ الحاسوب | جوائز الزمالة - ستيف فوربر" . مؤرشف من الأصل بتاريخ 2013-04-02.
  31. ↑ غراي، فرانك (17-03-1953). "اتصال رمز النبض" (ملف PDF) .براءة الاختراع الأمريكية رقم 2,632,058
  32. ↑ مورغان 1998 ، ص 973-975.
  33. ↑ هامينغ 1950 ، ص 147-160.
  34. ↑ لينغ وشينغ 2004 ، ص 82-88.
  35. ↑ بليس 1982 ، ص 21-24.
  36. 1 2 ستيرنز، ر. إي. (1994). "محاضرة جائزة تورينج: حان الوقت لإعادة النظر في مفهوم الزمن" . اتصالات رابطة آلات الحوسبة . 37 (11): 95-99 . doi : 10.1145/188280.188379 .
  37. ↑ "articles58" . Shef.ac.uk. 29-06-2007. مؤرشف من الأصل في 29-06-2007 . تم الاطلاع عليه في 25-10-2017 .
  38. ↑ "اكتشافات قديمة، الحلقة 11: الروبوتات القديمة" . قناة التاريخ . تم الاطلاع عليه بتاريخ 2008-09-06 .
  39. ↑ كيرش، راسل أ.، "أقدم معالجة للصور" ، متحف المعهد الوطني للمعايير والتكنولوجيا؛ مركز تحليل البيانات المكانية وبداية معالجة الصور في المكتب الوطني للمعايير ، المعهد الوطني للمعايير والتكنولوجيا ، مؤرشف من الأصل بتاريخ 19 يوليو 2014
  40. ↑ كلاينروك، ليونارد (ديسمبر 1962). تأخير الرسائل في شبكات الاتصال المزودة بوحدات تخزين (ملف PDF) (أطروحة). كامبريدج: معهد ماساتشوستس للتكنولوجيا.
  41. ↑ ديفيز، دونالد واتس (1979). شبكات الحاسوب وبروتوكولاتها . أرشيف الإنترنت. وايلي. الصفحات. انظر مراجع الصفحات المظللة في الرابط. رقم ISBN  978-0-471-99750-4في النمذجة الرياضية، تُستخدم نظريات عمليات الانتظار وتدفقات الشبكات، لوصف أداء الشبكة بمجموعة من المعادلات. ... وقد استُخدمت الطريقة التحليلية بنجاح من قِبل كلاينروك وآخرين، ولكن بشرط وضع افتراضات تبسيطية هامة. ... ومن المشجع في عمل كلاينروك رؤية التطابق الجيد بين نتائج الطرق التحليلية ونتائج المحاكاة .
  42. ↑ كلارك، بيتر (1982). شبكات البيانات ذات التبديل الحزمي والدائري (ملف PDF) (أطروحة دكتوراه). قسم الهندسة الكهربائية، كلية إمبريال للعلوم والتكنولوجيا، جامعة لندن. مؤرشف من الأصل (ملف PDF) بتاريخ 3 أغسطس 2022. تم الاطلاع عليه بتاريخ 21 يناير 2024 .كانت العديد من الدراسات النظرية لأداء وتصميم شبكة ARPA تطويرًا لأعمال سابقة لكلاينروك... ورغم أن هذه الأعمال تناولت شبكات تبديل الرسائل، إلا أنها شكلت أساسًا للعديد من الدراسات حول شبكة ARPA... وكان هدف عمل كلاينروك [عام 1961] تحليل أداء شبكات التخزين والتوجيه، باستخدام متوسط ​​تأخير الرسائل كمقياس أساسي للأداء... وفي عام 1970، وسّع كلاينروك المناهج النظرية [لعمله عام 1961] لتشمل شبكة ARPA في مراحلها الأولى.
  43. ↑ ديفيز، دونالد واتس (1979). شبكات الحاسوب وبروتوكولاتها . أرشيف الإنترنت. وايلي. ص 110-111 . ISBN  978-0-471-99750-4اقترح فولتز أنظمة عنونة هرمية لتوجيه الشبكات، وقدم ماكويلان شرحًا أكثر تفصيلًا لها. ويمكن الاطلاع على تحليل شامل وحديث في كتاب كلاينروك وكامون .
  44. ↑ فيلدمان، أنيا؛ سيتاديني، لوكا؛ مولباور، وولفغانغ؛ بوش، راندي؛ مانيل، أولاف (2009). "HAIR: بنية هرمية لتوجيه الإنترنت" (ملف PDF) . وقائع ورشة عمل 2009 حول إعادة هندسة الإنترنت . ReArch '09. نيويورك، نيويورك، الولايات المتحدة الأمريكية: رابطة آلات الحوسبة. الصفحات 43-48 . doi : 10.1145/1658978.1658990 . ISBN  978-1-60558-749-3S2CID 2930578. يستند النهج الهرمي إلى نتائج نظرية (مثل [16]) تُظهر أنه من خلال وضع الفواصل على النحو الأمثل، أي العناصر التي تربط المستويات في التسلسل الهرمي، يمكن تحقيق مكاسب هائلة من حيث حجم جدول التوجيه ومعدل تحديث الرسائل. ... [16] كلاينروك، ل.، وكامون، ف. التوجيه الهرمي للشبكات الكبيرة: تقييم الأداء والتحسين. شبكات الحاسوب (1977). 
  45. ↑ تشرش، ألونسو (1936). "مسألة غير قابلة للحل في نظرية الأعداد الأولية" . المجلة الأمريكية للرياضيات . 58 (2): 345-363 . doi : 10.2307/2371045 . ISSN 0002-9327 . JSTOR 2371045. يُعزى مفهوم قابلية تعريف λ بشكل مشترك إلى المؤلف الحالي و إس سي كلين... ويعود الفضل في إثبات تكافؤ المفهومين بشكل رئيسي إلى كلين .  
  46. ↑ تورينج، أ.م. (1937). "قابلية الحساب وقابلية التعريف λ" . مجلة المنطق الرمزي . 2 (4): 153-163 . doi : 10.2307/2268280 . ISSN 0022-4812 . JSTOR 2268280. يهدف هذا البحث إلى إثبات أن الدوال القابلة للحساب التي قدمها المؤلف تتطابق مع الدوال القابلة للتعريف λ لتشرش، والدوال التكرارية العامة التي وضعها هيربراند وغودل وطورها كلين .  
  47. ↑ بين، جان إريك (24 مارس 2025). "الأسس الرياضية لنظرية الأوتوماتا" (ملف PDF) . معهد البحوث في المعلوماتية الأساسية . تم الاطلاع عليه بتاريخ 7 أكتوبر 2025. تُعتبر نظرية كلين عادةً نقطة انطلاق نظرية الأوتوماتا.
  48. ↑ كاهرز، ستيفان؛ رونسيمان، كولين (2022-03-01). "تبسيط التعابير النمطية بشكل أكبر" . مجلة الحوسبة الرمزية . 109 : 124-143 . doi : 10.1016/j.jsc.2021.08.003 . ISSN 0747-7171 . قدم كلين التعابير النمطية (المشار إليها فيما يلي بـ "التعابير") منذ حوالي سبعين عامًا (كلين، 1951) كمواصفات موجزة للغات النمطية. 
  49. ↑ سيمون س. لام، عضو قاعة مشاهير الإنترنت لعام 2023
  50. ↑ ميلنر، ر. (1993). "عناصر التفاعل: محاضرة جائزة تورينج" . اتصالات رابطة آلات الحوسبة . 36 : 78-89 . doi : 10.1145/151233.151240 .
  51. ^ ناكاموتو ، ساتوشي (2009-05-24). ""بيتكوين: نظام نقدي إلكتروني من نظير إلى نظير" (ملف PDF) . bitcoin.org .
  52. ↑ فريد جوزيف غرونبرغر، تاريخ جونياك ، مذكرة راند رقم 5654
  53. ↑ كاك، سوبهاش سي. (يناير 1987). "النهج البانيني لمعالجة اللغة الطبيعية" . المجلة الدولية للاستدلال التقريبي . 1 (1): 117-130 . doi : 10.1016/0888-613X(87)90007-7 .
  54. ↑ "لؤلؤة يهودا" . ACM.
  55. ↑ "آلة حاسبة إلكترونية من طراز أوليفيتي بروجراما 101" . متحف الآلات الحاسبة القديمة على الإنترنت . من الناحية الفنية، كانت الآلة آلة حاسبة قابلة للبرمجة، وليست جهاز كمبيوتر.
  56. ↑ "2008/107/1 حاسوب، برنامج 101، ووثائق (3)، مكونات بلاستيكية/معدنية/ورقية/إلكترونية، تصميم المهندس المعماري بيير جورجيو بيروتو، تصميم ماريو بيليني، صنع أوليفيتي، إيطاليا، 1965-1971" . www.powerhousemuseum.com . تاريخ الاسترجاع: 20 مارس 2016 .
  57. ↑ "آلة حاسبة إلكترونية من طراز أوليفيتي بروجراما 101" . متحف الآلات الحاسبة القديمة على الإنترنت . يبدو أن آلة حاسبة ماثاترونيكس ماثاترون قد سبقت بروجراما 101 في السوق.
  58. ↑ "حائز جائزة تورينج من الجمعية الأمريكية للحاسبات - أمير بنويلي" . amturing.acm.org . تم الاطلاع عليه بتاريخ 4 نوفمبر 2018 .
  59. 1 2 رابين، م.و.؛ سكوت، د. (1959). "الأتمتة المحدودة ومسائل اتخاذ القرار الخاصة بها". مجلة آي بي إم للبحوث والتطوير . 3 (2): 114. doi : 10.1147/rd.32.0114 . S2CID 3160330 . 
  60. 1 2 رابين، م.و. (1977). "تعقيد الحسابات" . اتصالات رابطة آلات الحوسبة . 20 (9): 625-633 . doi : 10.1145/359810.359816 .
  61. 1 2 سكوت، دي إس (1977). "المنطق ولغات البرمجة" . اتصالات رابطة آلات الحوسبة . 20 (9): 634-641 . doi : 10.1145/359810.359826 .
  62. ↑ نايجل توت. "آلة حاسبة Busicom 141-PF ومعالج Intel 4004 الدقيق" . تم الاطلاع عليه بتاريخ 15 نوفمبر 2009 .
  63. ↑ فيديريكو فاجين ، صناعة أول معالج دقيق ، مجلة دوائر الحالة الصلبة التابعة لمعهد مهندسي الكهرباء والإلكترونيات ، شتاء 2009، IEEE Xplore
  64. ↑ جمعية معالجة المعلومات في اليابان. "متحف شيما ماساتوشي للحاسوب" . museum.ipsj.or.jp . تاريخ الاسترجاع: 25 أكتوبر 2017 .
  65. ↑ الإعلان عن الفائزين بجائزة تورينج لعام 2007
  66. ↑ كلود شانون (1948). "المجلة التقنية لنظام بيل". المجلة التقنية لنظام بيل .
  67. ↑ ويلكنسون، جيه إتش (1971). "بعض التعليقات من محلل عددي" . مجلة ACM . 18 (2): 137-147 . doi : 10.1145/321637.321638 . S2CID 37748083 . 
  68. ↑ كوبلاند، ب. جاك (25-10-2017). زالتا، إدوارد ن. (محرر). موسوعة ستانفورد للفلسفة . مختبر أبحاث الميتافيزيقا، جامعة ستانفورد . تم الاطلاع عليه بتاريخ 25-10-2017 – عبر موسوعة ستانفورد للفلسفة.

مصادر