Нахум Дершовиц

Нахум Дершовиц — израильский ученый-компьютерщик, известный, например, благодаря упорядочиванию Дершовица-Манны и многомножествовому упорядочению путей , используемому для доказательства прекращения систем перезаписи терминов .

Он получил степень бакалавра наук. получил диплом с отличием в 1974 году по специальности «Информатика и прикладная математика» в Университете Бар-Илан и получил докторскую степень. в 1979 году окончил факультет прикладной математики Института науки Вейцмана . С 1978 года он работал на факультете компьютерных наук Иллинойского университета в Урбана-Шампейне , а в 1998 году был принят на работу в качестве профессора Тель -Авивского университета (школа компьютерных наук). Он был приглашенным научным сотрудником в Институте Вейцмана. , INRIA , ENS Cachan , Microsoft Research и университеты Стэнфорда , Парижа , Иерусалима , Чикаго и Пекина . ^[2] В 2011 году он получил премию Эрбрана за выдающийся вклад в автоматическое мышление.

Он является соавтором стандартного текста по календарным алгоритмам «Календарные вычисления » вместе с Эдвардом Рейнгольдом . ^{[3] [4] [5] [6]} Реализация алгоритма в Common Lisp находится в свободном доступе и также распространяется вместе с книгой.

Смотрите также

• Новолуние
• Лунно-солнечный календарь

Избранные публикации

• Нахум Дершовиц и Зохар Манна (1977). «Эволюция программ: система автоматической модификации программ» (PDF) . Учеб. ПОПЛ . стр. 144–154.
• Нахум Дершовиц и Зохар Манна (август 1979 г.). «Доказательство прекращения с помощью многомножествовых заказов» (PDF) . Коммуникации АКМ . 22 (8): 465–476. CiteSeerX  10.1.1.1013.432 . дои : 10.1145/359138.359142. S2CID  17906810.
• Н. Дершовиц (октябрь 1979 г.). «Заказы на системы переписывания терминов». Учеб. 20-й симпозиум по основам информатики (FOCS) . стр. 123–131.
• Н. Дершовиц (1981). «Прекращение систем линейной перезаписи: предварительная версия». В Шимон Эвене; Одед Карив (ред.). Учеб. ИКАЛП . ЛНКС . Том. 115. Спрингер. стр. 448–458.
• Н. Дершовиц (1982). «Заказы на системы переписывания терминов» (PDF) . Теория. Вычислить. наук. 17 (3): 279–301. дои : 10.1016/0304-3975(82)90026-3. S2CID  6070052.
• Дершовиц, Н. (1985). «Прекращение» (PDF) . В Жан-Пьере Жуанно (ред.). Техники и приложения переписывания, 1-й межд. конф., РТА-85 . ЛНКС. Том. 202. Спрингер. стр. 180–224.
• Бахмайр Л., Дершовиц Н. и Сян Дж. (июнь 1986 г.). «Порядок доказательств уравнений». Учеб. Симпозиум IEEE по логике в информатике (LICS) . Кембридж/Массачусетс. стр. 346–357.{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) CS1 maint: несколько имен: список авторов ( ссылка )
• Бахмайр Л. и Дершовиц Н. (1987). «Завершение переписывания по модулю сравнения». В Лесканне, Пьер (ред.). Техники и приложения переписывания, 2-й межд. конф., РТА-87 . ЛНКС. Том. 256. Спрингер. стр. 192–203.
• Нахум Дершовиц (1987). «Прекращение перезаписи» (PDF) . Дж. Символические вычисления. 3 (1–2): 69–116. дои : 10.1016/s0747-7171(87)80022-6 .
• Н. Дершовиц и М. Окада (1988). «Теоретико-доказательные методы теории переписывания терминов». Учеб. 3-й симпозиум IEEE. по логике в информатике (PDF) . стр. 104–111.
• Н. Дершовиц и Г. Сивакумар (1988). «Решение задач на эквациональных языках». Учеб. 1-й Межд. Семинар по системам переписывания условных терминов . ЛНКС. Том. 308. Спрингер. стр. 45–55.
• Дершовиц, Нахум, изд. (1989). Техники и приложения переписывания, 3-й Межд. конф., РТА-89 . ЛНКС. Том. 355. Спрингер.
• Н. Дершовиц и Ж.-П. Жуанно (1990). «Переписать системы». Ян ван Леувен (ред.). Формальные модели и семантика . Справочник по теоретической информатике. Том. Б. Эльзевир. стр. 243–320.
• Н. Дершовиц и Ж.-П. Жуанно (1990). «Нотации для переписывания». {{cite journal}}: Требуется цитировать журнал |journal=( помощь )
• Дершовиц Н. и Жуанно Ж.-П. и Ян Виллем Клоп (1991). «Открытые проблемы переписывания». В книге Рональда В. (ред.). Техники и приложения переписывания, 4-й Межд. конф., РТА-91 . ЛНКС. Том. 488. Спрингер. стр. 445–456.{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка )
• Дершовиц Н. и Жуанно Ж.-П. и Клоп, Дж.В. (1993). «Больше проблем с переписыванием». В Киршнер, Клод (ред.). Техники и приложения переписывания, 5-й Межд. конф., РТА-93 . ЛНКС. Том. 690. Спрингер. стр. 468–487.{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка )
• Нахум Дершовиц (апрель 1993 г.). «Деревья, порядковые номера и завершение». Учеб. CAAP/TAPSOFT (PDF) . ЛНКС. Том. 668. Спрингер. стр. 243–250.
• Дершовиц Н. и Хут К. (1993). «Темы в прекращении». В Киршнер, Клод (ред.). Техники и приложения переписывания, 5-й Межд. конф., РТА-93 . ЛНКС. Том. 690. Спрингер. стр. 198–212.
• Дершовиц, Н. (1997). «Безобидные комбинации совместного использования конструктора». В Комоне, Хьюберт (ред.). Техники и приложения переписывания, 8-й межд. конф., РТА-97 . ЛНКС. Том. 1232. Спрингер. стр. 202–216.
• Дершовиц, Нахум и Рейнгольд, Эдвард М. , Календарные вычисления , издательство Кембриджского университета, ISBN 0521702380 , 1997 г. 
• Дершовиц Н. и Трейнен Р. (1998). «Онлайн-база данных проблем». В Тобиасе Нипкове (ред.). Техники и приложения переписывания, 9-й Межд. конф., РТА-98 . ЛНКС. Том. 1379. Спрингер. стр. 332–342.
• Дершовиц Н. и Митра С. (1999). «Опасность». В Нарендране, Палиате и Русиновиче, Михаиле (ред.). Техники и приложения переписывания, 10-й Межд. конф., РТА-99 . ЛНКС. Том. 1631. Спрингер. стр. 16–29.
• Нахум Дершовиц и Дэвид А. Плейстед (2001). «Переписывание (глава 9)». У Алана Робинсона ; Андрей Воронков (ред.). Справочник по автоматизированному рассуждению . MIT Press + Elsevier. стр. 535–610.
• Дершовиц, Н. (2005). «Переписывание терминов и приложения». В Гизле, Дж. (ред.). Переписывание терминов и приложения, 16-й межд. конф., РТА-05 . ЛНКС. Том. 3467. Спрингер. стр. 376–393. ISBN 978-3-540-25596-3.
• Дершовиц Н. и Кастедо Эллерман Э. (2005). «Наименьшие квазиупорядочения». В Гизле, Дж. (ред.). Переписывание терминов и приложения, 16-й межд. конф., РТА-05 . ЛНКС. Том. 3467. Спрингер. стр. 32–45. ISBN 978-3-540-25596-3.
• Дершовиц, Нахум, 2005. Четыре сына Пенроуза , в материалах одиннадцатой конференции по логике для программирования, искусственного интеллекта и рассуждения (LPAR; Ямайка) , Г. Сатклифф и А. Воронков, ред., Конспекты лекций по информатике, том. 3835, Springer-Verlag, Берлин, стр. 125–138.

Рекомендации

1. Адрес премии Эрбрана
2. Вита в Academia Europaea
3. Эдвард М. Рейнгольд и Нахум Дершовиц. Календарные расчеты . Издательство Кембриджского университета ; 4-е издание (апрель 2018 г.). ISBN 978-1-107-05762-3 
4. Обзор календарных вычислений Э. Г. Ричардса (1998), Nature 391 : 33–34, doi : 10.1038/34083.
5. Обзор календарных вычислений Роберта Пула (1999), Британский журнал истории науки 32 (1): 116–118, JSTOR  4027975.
6. Обзор календарных вычислений Н. М. Свердлова (1998), IEEE Annals of the History of Computing 20 (3): 78, doi : 10.1109/MAHC.1998.707580.

Внешние ссылки

• Домашняя страница
• Видео «Тезис Черча-Тьюринга», Нахум Дершовиц на шестом дне теории CS в Израиле, 13 марта 2013 г.
• Нахум Дершовиц на библиографическом сервере DBLP
• Нахум Дершовиц в проекте «Математическая генеалогия»