Konvergence (logika) - Convergence (logic)

v matematika, počítačová věda a logika, konvergence je myšlenka, že různé sekvence transformací dospějí k závěru v konečném čase (transformace jsou ukončení ) a že dosažený závěr je nezávislý na cestě, kterou k němu bylo dosaženo (jsou soutok ).

Více formálně, a předobjednaný množina přepis termínu transformace se říká, že jsou konvergentní Pokud jsou soutok a ukončení.^[1]

Viz také

Reference

^ Franz Baader; Tobias Nipkow (1998). Přepisování termínů a tak dále. Cambridge University Press. ISBN 0-521-77920-0.

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

{ displaystyle Gamma vdash x: { text {Int}}}

Tento teorie programovacího jazyka nebo teorie typů související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Franz Baader; Tobias Nipkow (1998). Přepisování termínů a tak dále. Cambridge University Press. ISBN 0-521-77920-0.

[1]