Главная страница


ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Vovanius Uryvaeff                    2:5020/400     25 Apr 2002  15:24:23
 To : Constantin Stefanov
 Subject : Re: Эквивалентность формул.
 -------------------------------------------------------------------------------- 
 
 Thu Apr 18 2002 18:38, Constantin Stefanov wrote to Max Alekseyev:
 
  CS> Здравствуй, Max!
 
  CS> В Среда 17 Апреля 2002 г. 16:04, ты писал(а) мне:
 
  CS>>> Есть две формулы, представленные деревьями. Требуется определить,
  CS>>> являются ли эти два дерева представлениями одной и той же формулы
 
  [...]
 
  CS> ... т.к. речь идет об анализе
  CS> программ на Си, ...
 
 Warning!!!
 Хочу предупредить, что эквивалентность на си != эвивалентности математической
 
 например, сравни 3*5/4 и 3/4*5. первое даст 2, второе 0.
 
 ...сижу тут, никого не трогаю, примус починяю...
 
 --- ifmail v.2.15dev5
  * Origin: FidoNet Online - http://www.fido-online.com (2:5020/400)
 
 

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

 Тема:    Автор:    Дата:  
 Эквивалентность формул.   Constantin Stefanov   17 Apr 2002 12:01:00 
 Эквивалентность формул.   Max Alekseyev   17 Apr 2002 16:04:02 
 Re: Эквивалентность формул.   Constantin Stefanov   18 Apr 2002 18:38:52 
 Эквивалентность формул.   Max Alekseyev   18 Apr 2002 14:20:58 
 Re: Эквивалентность формул.   Vovanius Uryvaeff   25 Apr 2002 15:24:23 
 Re: Эквивалентность формул.   Constantin Stefanov   25 Apr 2002 18:20:26 
 Эквивалентность формул.   Max Alekseyev   25 Apr 2002 15:47:54 
Архивное /ru.algorithms/1667908e1e474.html, оценка 1 из 5, голосов 10
Яндекс.Метрика
Valid HTML 4.01 Transitional