Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: context

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

On the special context of independent sets

100%

Slezák V.

Discussiones Mathematicae - General Algebra and Applications

2001

tom 21

nr 1

115-122

In this paper the context of independent sets $J^{p}_{L}$ is assigned to the complete lattice (P(M),⊆) of all subsets of a non-empty set M. Some properties of this context, especially the irreducibility and the span, are investigated.

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 Discussiones Mathematicae - General Algebra and Applications

1 Formalized Mathematics

1 Bancerek G.

1 Slezák V.

1 2015

1 2001

Wyniki wyszukiwania

On the special context of independent sets

Term Context