coinduction

名词 n.
中文释义

英文释义

名词 n.
  1. A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation countable,uncountable
  2. The simultaneous induction of two or more compounds into a cell line countable,uncountable

词形变化

coinductions plural

词源

Etymology tree
Proto-Indo-European *ḱe?
Proto-Indo-European *ḱóm
Proto-Italic *kom
Proto-Italic *kom-
Latin con-
Latin co-der.
English co-
English induction
English coinduction
From co- + induction.
0 次浏览 数据来源: Wiktionary