coinduction |
conduction |
As nouns the difference between coinduction and conduction
is that
coinduction is (logic) 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 while
conduction is (physics) the conveying of heat or electricity through material.
coinduction |
coinductive |
As a noun coinduction
is (logic) 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.
As an adjective coinductive is
of, pertaining to, or producing coinduction.