ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Viktor Karev 2:5080/1003 21 May 2003 14:14:12
To : Victor Mirfaiziev
Subject : Re: Проверить алгоритм на правильность
--------------------------------------------------------------------------------
Приветствую, Victor Mirfaiziev!
> Как в общем случае проверить алгоритм на правильность?
> Много умных слов приветствуется. :)
Копай в сторону преобразователя предикатов wp.
Литература - Грис, "Hаука программирования"; Дейкстра, "Дисциплина
программирования".
Виктор.
--- ifmail v.2.15dev5
* Origin: Fidolook Express 2.000 www.fidolook.da.ru (2:5080/1003@fidonet)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
