coinduction
Meaning
- noun 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
- noun The simultaneous induction of two or more compounds into a cell line
Similar words
induction natural deduction solomonoff induction mathematical induction transfinite induction inductive definition sequent calculus backward induction inference rule implicant
Often followed by
of
Save “coinduction” to learn later