Английская Википедия:Coinduction: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

20 февраля 2024

  • текущ.пред. 04:0204:02, 20 февраля 2024EducationBot обсуждение вклад 13 652 байта +13 652 Новая страница: «{{Английская Википедия/Панель перехода}} {{about|computer science|the term in abstract algebra|Change of rings|the use of this term in medicine and anaesthesia|coinduction (anaesthetics)}} {{multiple issues| {{technical|date=October 2011}} {{primary sources|date=November 2019}} }} In computer science, '''coinduction''' is a technique for defining and proving properties of systems of concurrent interacting object (comput...»