Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Term Context

100%

Bancerek G.

Formalized Mathematics

2014

tom 22

nr 2

125-155

Two construction functors: simple term with a variable and compound term with an operation and argument terms and schemes of term induction are introduced. The degree of construction as a number of used operation symbols is defined. Next, the term context is investigated. An x-context is a term which includes a variable x once only. The compound term is x-context iff the argument terms include an x-context once only. The context induction is shown and used many times. As a key concept, the context substitution is introduced. Finally, the translations and endomorphisms are expressed by context substitution.

Ograniczanie wyników

1 Formalized Mathematics

1 Bancerek G.

1 2015

Wyniki wyszukiwania

Term Context