ناحوم ديرشوفيتز

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

ناحوم ديرشوفيتز ( بالعبرية : נחום דרשוביץ ) هو عالم حاسوب إسرائيلي، معروف على سبيل المثال بترتيب ديرشوفيتز-مانا وترتيب المسار متعدد المجموعات المستخدم لإثبات إنهاء أنظمة إعادة كتابة المصطلحات .

التعليم والمسار الوظيفي

حصل على درجة البكالوريوس، بامتياز مع مرتبة الشرف الأولى ، عام 1974 في علوم الحاسوب والرياضيات التطبيقية من جامعة بار إيلان ، وعلى درجة الدكتوراه عام 1979 في الرياضيات التطبيقية من معهد وايزمان للعلوم . عمل منذ عام 1978 في قسم علوم الحاسوب بجامعة إلينوي في أوربانا-شامبين ، وعُيّن أستاذاً متفرغاً في جامعة تل أبيب (كلية علوم الحاسوب) عام 1998. عمل باحثاً زائراً في معهد وايزمان ، والمعهد الوطني للبحوث في علوم الحاسوب والتحكم الآلي ( INRIA ) ، والمدرسة العليا للأساتذة في كاشان ، ومايكروسوفت للأبحاث ، وجامعات ستانفورد ، وباريس ، والقدس ، وشيكاغو ، وبكين . [ 2 ] حصل على جائزة هيربراند للإسهامات المتميزة في مجال الاستدلال الآلي عام 2011.

شارك في تأليف النص القياسي حول خوارزميات التقويم، بعنوان "الحسابات التقويمية" ، مع إدوارد رينغولد . [ 3 ] [ 4 ] [ 5 ] [ 6 ] يتوفر تطبيق للخوارزمية بلغة Common Lisp في المجال العام، ويتم توزيعه أيضًا مع الكتاب.

انظر أيضاً

منشورات مختارة

  • ناحوم ديرشوفيتز وزوهار مانا (1977). "تطور البرامج: نظام لتعديل البرامج تلقائيًا" (ملف PDF) . وقائع مؤتمر POPL . الصفحات 144-154 . 
  • ناحوم ديرشوفيتز وزوهار مانا (أغسطس 1979). "إثبات الإنهاء باستخدام ترتيبات المجموعات المتعددة" (ملف PDF) . مجلة اتصالات رابطة مكائن ​​الحوسبة . 22 (8): 465-476 . CiteSeerX 10.1.1.1013.432 . doi : 10.1145/359138.359142 . S2CID 17906810 .  
  • ن. ديرشوفيتز (أكتوبر 1979). "ترتيبات لأنظمة إعادة كتابة المصطلحات". وقائع الندوة العشرين حول أسس علوم الحاسوب (FOCS) . الصفحات 123-131 . 
  • ن. ديرشوفيتز (1981). "إنهاء أنظمة إعادة الكتابة الخطية: نسخة أولية". في شيمون إيفن؛ عوديد كاريف (محرران). وقائع المؤتمر الدولي للبرمجة الخطية التطبيقية ( ICALP ) . سلسلة محاضرات في علوم الحاسوب (LNCS ). المجلد  115. سبرينغر. الصفحات 448-458 . 
  • ن. ديرشوفيتز (1982). "ترتيبات أنظمة إعادة كتابة المصطلحات" (ملف PDF) . مجلة علوم الحاسوب النظرية 17 (3): 279-301 . doi : 10.1016/0304-3975(82)90026-3 . S2CID 6070052 . 
  • ديرشوفيتز، ن. (1985). "الإنهاء" (ملف PDF) . في: جان بيير جوانو (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الأول، RTA-85 . سلسلة محاضرات في علوم الحاسوب. المجلد  202. سبرينغر. الصفحات 180-224 . 
  • باخماير، ل. وديرشوفيتز، ن. وهسيانغ، ج. (يونيو 1986). "ترتيبات البراهين المعادلة". وقائع ندوة IEEE حول المنطق في علوم الحاسوب (LICS) . كامبريدج/ماساتشوستس. ص 346-357 . {{cite book}}: صيانة CS1: موقع الناشر مفقود ( رابط ) صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  • باخماير، ل. وديرشوفيتز، ن. (1987). "إكمال إعادة الكتابة بنمط التطابق". في: ليسكان، بيير (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الثاني، RTA-87 . سلسلة محاضرات في علوم الحاسوب. المجلد  256. سبرينغر. الصفحات 192-203 . 
  • ناحوم ديرشوفيتز (1987). "إنهاء إعادة الكتابة" (ملف PDF) . مجلة الحوسبة الرمزية 3 ( 1-2 ): 69-116 . doi : 10.1016/s0747-7171(87)80022-6 .
  • ن. ديرشوفيتز وم. أوكادا (1988). "تقنيات نظرية البرهان لنظرية إعادة كتابة المصطلحات". وقائع الندوة الثالثة لمعهد مهندسي الكهرباء والإلكترونيات حول المنطق في علوم الحاسوب (ملف PDF) . الصفحات 104-111 . 
  • ن. ديرشوفيتز وج. سيفاكومار (1988). "حل الأهداف في اللغات المعادلة". وقائع ورشة العمل الدولية الأولى حول أنظمة إعادة كتابة المصطلحات الشرطية . سلسلة محاضرات في علوم الحاسوب. المجلد  308. سبرينغر. الصفحات 45-55 . 
  • ديرشوفيتز، ناحوم، محرر (1989). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الثالث، RTA-89 . سلسلة محاضرات في علوم الحاسوب. المجلد  355. سبرينغر.
  • ن. ديرشوفيتز وج.-ب. جوانو (1990). "أنظمة إعادة الكتابة". في جان فان ليوين (محرر). النماذج الرسمية والدلالات . دليل علوم الحاسوب النظرية. المجلد  ب. إلسيفير. الصفحات 243-320 . 
  • ن. ديرشوفيتز وج.-ب. جوانو (1991). "رموز إعادة الكتابة". نشرة الرابطة الأوروبية لعلوم الحاسوب النظرية . 43 : 162-172 .
  • ديرشوفيتز، ن. وجوانود، ج.-ب. ويان ويليم كلوب (1991). "مشكلات مفتوحة في إعادة الكتابة". في رونالد ف. بوك (محرر). تقنيات وتطبيقات إعادة الكتابة، المؤتمر الدولي الرابع، RTA-91 . سلسلة محاضرات في علوم الحاسوب. المجلد  488. سبرينغر. الصفحات 445-456 . {{cite book}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  • ديرشوفيتز، ن. وجوانود، ج.-ب. وكلوب، ج.و. (1993). "مزيد من المشاكل في إعادة الكتابة". في كيرشنر، كلود (محرر). تقنيات وتطبيقات إعادة الكتابة، المؤتمر الدولي الخامس، RTA-93 . سلسلة محاضرات في علوم الحاسوب. المجلد  690. سبرينغر. الصفحات 468-487 . {{cite book}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  • ناحوم ديرشوفيتز (أبريل 1993). "الأشجار، والأعداد الترتيبية، والإنهاء". وقائع مؤتمر CAAP/TAPSOFT (ملف PDF) . سلسلة محاضرات في علوم الحاسوب. المجلد  668. سبرينغر. الصفحات 243-250 . 
  • ديرشوفيتز، ن. وهوت، س. (1993). "مواضيع في الإنهاء". في كيرشنر، كلود (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الخامس، RTA-93 . سلسلة محاضرات في علوم الحاسوب. المجلد  690. سبرينغر. الصفحات 198-212 . 
  • ديرشوفيتز، ن. (1997). "تركيبات مشاركة المُنشئ غير الضارة". في: كومون، هوبرت (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي الثامن، RTA-97 . سلسلة محاضرات في علوم الحاسوب. المجلد  1232. سبرينغر. الصفحات 202-216 . 
  • ديرشوفيتز، ناحوم ورينغولد، إدوارد م. ، الحسابات التقويمية ، مطبعة جامعة كامبريدج، رقم ISBN 05217023801997
  • ديرشوفيتز، ن. وترينين، ر. (1998). "قاعدة بيانات للمسائل عبر الإنترنت". في توبياس نيبكو (محرر). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي التاسع، RTA-98 . سلسلة محاضرات في علوم الحاسوب. المجلد  1379. سبرينغر. الصفحات 332-342 . 
  • ديرشوفيتز، ن. وميترا، س. (1999). "جيباردي". في ناريندران، بالياث وروسينوفيتش، مايكل (محرران). تقنيات إعادة الكتابة وتطبيقاتها، المؤتمر الدولي العاشر، RTA-99 . سلسلة محاضرات في علوم الحاسوب. المجلد  1631. سبرينغر. الصفحات 16-29 . 
  • ناحوم ديرشوفيتز وديفيد أ. بلايستيد (2001). "إعادة الكتابة (الفصل 9)". في آلان روبنسون ؛ أندريه فورونكوف (محرران). دليل الاستدلال الآلي . مطبعة معهد ماساتشوستس للتكنولوجيا + إلسيفير. الصفحات 535-610 . 
  • ديرشوفيتز، ن. (2005). "إعادة كتابة المصطلحات وتطبيقاتها". في: جيسل، ج. (محرر). إعادة كتابة المصطلحات وتطبيقاتها، المؤتمر الدولي السادس عشر، RTA-05 . سلسلة محاضرات في علوم الحاسوب. المجلد 3467.  سبرينغر. الصفحات 376-393 . ISBN  978-3-540-25596-3.
  • ديرشوفيتز، ن. وكاستيدو إيلرمان، إ. (2005). "أبسط الترتيبات شبهية". في جيسل، ج. (محرر). إعادة كتابة المصطلحات وتطبيقاتها، المؤتمر الدولي السادس عشر، RTA-05 . سلسلة محاضرات في علوم الحاسوب. المجلد  3467. سبرينغر. الصفحات 32-45 . ISBN  978-3-540-25596-3.
  • ديرشوفيتز، ناحوم 2005. أبناء بنروز الأربعة ، في وقائع المؤتمر الحادي عشر حول المنطق للبرمجة والذكاء الاصطناعي والاستدلال (LPAR؛ جامايكا) ، جي. سوتكليف وأ. فورونكوف، محرران، سلسلة محاضرات في علوم الحاسوب، المجلد 3835، سبرينغر-فيرلاغ، برلين، الصفحات  125-138.

مراجع

  1. ↑ خطاب جائزة هيربراند
  2. ↑ فيتا في أكاديميا يوروبيا
  3. ↑ إدوارد م. رينغولد وناحوم ديرشوفيتز. الحسابات التقويمية . مطبعة جامعة كامبريدج ؛ الطبعة الرابعة (أبريل 2018). ISBN 978-1-107-05762-3
  4. ↑ مراجعة الحسابات التقويمية بواسطة إي جي ريتشاردز (1998)، الطبيعة 391 : 33-34، doi : 10.1038/34083 .
  5. ↑ مراجعة الحسابات التقويمية بقلم روبرت بول (1999)، المجلة البريطانية لتاريخ العلوم 32 (1): 116-118، JSTOR 4027975 . 
  6. ↑ مراجعة الحسابات التقويمية بواسطة NM Swerdlow (1998)، حوليات IEEE لتاريخ الحوسبة 20 (3): 78، doi : 10.1109/MAHC.1998.707580 .