Program equivalence: история изменений

Перейти к навигации Перейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

17 июня 2011

  • текущ.пред. 13:2913:29, 17 июня 2011Glk обсуждение вклад 1982 байта +1982 Новая страница: «'''Program equivalence''' --- эквивалентность программ. When a program calculates some function (as is usually the case), there is a natural …»