Subject: Re: Abramov - Obobshhenny`j algoritm otozhdestvleniya dlya.yazy`ka Refal (1979)(ru).djvu
From: Sergei M. Abramov (abram@botik.ru)
Date: Mon Aug 09 2004 - 13:47:17 MSD
Уважаемые коллеги!
> Вот еще один раритет из 1979 года! Описание
> "обобщенного алгоритма отождествления" для Рефала:
Огромная благодарность Сергею Анатольевичу за сделанное.
Я не сохранил у себя экземпляров своей курсовой и иметь djvu теперь --
особенно приятно.
> Этот документ представляет собой курсовую работу
> С.М.Абрамова, который тогда учился на 4 курсе ВМК МГУ.
Все точно. 1975/76 уч.год -- это мой 1-й курс, значит 1978/79 уч.год -- 4-й
курс и курсовая работа,
Научный руководитель моей куросовой был С.А.Романенко. Ему и принадлежат
основные идеи алгоритма (в том числе и именно от него я впервые услышал о
"неравенствах" -- рестрикции, как отрицания сужений), мое дело было все это
запрограммировать и, как помнится (сейчас скачаю и посмотрю) массу времени
ушло на обоснование метода -- доказательство корректности алгоритма (включая
терминируемость).
Славное было время.
Еще раз -- спасибо!
Удачи.
С.
PS. Не знаю кто по закону является правообладателем на данный текст (вдруг
ВМиК МГУ им. М.В.Ломоносова), но с моей стороны нет никаких возражений на
любое использование данных материалов/файлов,
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD