Subject: Re: Abramov - Obobshhenny`j algoritm otozhdestvleniya dlya.yazy`ka Refal (1979)(ru).djvu
From: Sergei Romanenko (roman@integrum.ru)
Date: Mon Aug 09 2004 - 15:17:47 MSD
Добрый день!
----- Original Message -----
From: "Sergei M. Abramov" <abram@botik.ru>
> Научный руководитель моей куросовой был С.А.Романенко. Ему и
> принадлежат основные идеи алгоритма (в том числе и именно от него
> я впервые услышал о "неравенствах" -- рестрикции, как отрицания сужений),
> мое дело было все это запрограммировать и, как помнится (сейчас скачаю
> и посмотрю) массу времени ушло на обоснование метода -- доказательство
> корректности алгоритма (включая терминируемость).
Да, так дело и обстояло!
> с моей стороны нет никаких возражений на любое использование
> данных материалов/файлов
С моей, естественно, тоже... (Если под "любым использованием" не имеется в
виду плагиат. :-) )
Сергей Романенко
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD