ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Vitaly Lugovsky                      2:5080/1003    09 Apr 2003  03:53:02
 To : Boris Sivko
 Subject : Re: Доказательство правильности ПО
 -------------------------------------------------------------------------------- 
 

 Boris Sivko <Boris.Sivko@p14.f26.n452.z2.fidonet.org> wrote:
 
 > >>  В тематике данной эхи интересует:
 > >> - алгоритмизация уже существующего ПО для док-ва;
 > VL>  В смысле - написание спецификаций и/или аннотаций?
 > VL> Это эквипенисуально собственно самим алгоритмам.
 > 
 >  Я уже не в первый раз сталкиваюсь с задачей, когда есть прога, а автора нет и
 > нужно по поставленной задаче и условиям док-ва строить всё с нуля.
 
  А... Догадаться по реализации, какой была постановка задачи?
 Это, в общем случае, неразрешимая задача. Потому как реализация может быть
 много более общей, чем исходная постановка. Или, наоборот, реализация может
 быть неправильной и действовать лишь при введении дополнительных
 ограничений, которые так же не выведешь.
 
 --- ifmail v.2.15dev5
  * Origin: (http://news.cca.usart.ru/) USURT's FidoNET<-> (2:5080/1003@fidonet)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    Re: Доказательство правильности ПО   Vitaly Lugovsky   09 Apr 2003 03:53:02   Доказательство правильности ПО   Boris Sivko   09 Apr 2003 13:20:18